Motion(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. Transportation.kif 3004-3004 Trip 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 457-457 Two stroke intake 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. Merge.kif 11197-11197 Weather process is a subclass of motion
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1113-1113
No TPTP formula. May not be expressible in strict first order. english_format.kif 1443-1443
No TPTP formula. May not be expressible in strict first order. french_format.kif 791-791
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 323-323
No TPTP formula. May not be expressible in strict first order. terms-it.txt 326-326
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2475-2475
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 743-743
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 362-362
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 812-812
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 327-327


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