Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Merge.kif 11013-11013 Motion is a subclass of process
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3004-3004 Trip is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17133-17133 Stretching is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17441-17441 Rotating is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17513-17513 Reversing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17607-17607 Pulling is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17613-17613 Pushing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21519-21519 Opening is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21526-21526 Closing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11059-11059 Motion upward is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11065-11065 Motion downward is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11094-11094 Body motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11189-11189 Geological process is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11197-11197 Weather process is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11220-11220 Liquid motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11244-11244 Gas motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11274-11274 Direction change is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11549-11549 Translocation is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 13645-13645 Radiating is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Geography.kif 5706-5706 Irrigating is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Geography.kif 6795-6795 Swarming is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 80-80 Engine cycle is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 166-166 Four stroke intake is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 186-186 Four stroke compression is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 202-202 Four stroke combustion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 219-219 Four stroke exhaust is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 457-457 Two stroke intake is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 485-485 Two stroke compression is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 502-502 Two stroke transfer is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 1982-1982 Compressing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 2208-2208 Engine cranking is a subclass of motion


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners