No TPTP formula. May not be expressible in strict first order.	Cars.kif 1376-1376	MechanicalJoint 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2192-2192	Radiator 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 779-779	转子 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 771-771	轴 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 789-789	定子 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1784-1784	开关设备 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order.	Communications.kif 381-381	电视接收器 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 912-912	阀 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1512-1512	翼装置 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3622-3622	电线 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3617-3617	钢丝弹簧 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1061-1061
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1333-1333
No TPTP formula. May not be expressible in strict first order.	french_format.kif 739-739
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 270-270
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 273-273
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2423-2423
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 691-691
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 309-309
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 760-760
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 274-274

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