No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 557-557	Somersaulting is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19922-19922	Standing up is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 482-482	Stepping is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6587-6587	Swallowing is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11168-11168	Swimming is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17079-17079	Throwing is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19980-19980	Trembling is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1114-1114
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1445-1445
No TPTP formula. May not be expressible in strict first order.	french_format.kif 792-792
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 324-324
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 327-327
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2476-2476
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 744-744
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 363-363
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 813-813
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 328-328

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