No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 557-557	子類 翻筋斗 and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19922-19922	子類 站起來 and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 482-482	子類 步進 and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6587-6587	子類 Swallowing and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11168-11168	子類 Swimming and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17079-17079	子類 投擲 and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19980-19980	子類 發抖 and BodyMotion
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