search

NRCan / geoconnex

0 stars 0 forks source link

Reasoning #22

Open jvanulde opened 5 years ago

jvanulde commented 5 years ago

The reasoning we need to handle is primarily subsumption (subclass transitivity) and transitivity (if x>y and y>z then x=z).

denevers commented 5 years ago

then x > z