No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 557-557	翻筋斗 是 身体运动 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19921-19921	站起来 是 身体运动 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 482-482	步进 是 身体运动 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6586-6586	Swallowing 是 身体运动 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11190-11190	游泳 是 身体运动 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17078-17078	投掷 是 身体运动 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19979-19979	发抖 是 身体运动 的 subclass
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