No TPTP formula. May not be expressible in strict first order.	Cars.kif 1376-1376	子類 MechanicalJoint and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2198-2198	子類 Radiator and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 779-779	子類 轉子 and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 771-771	子類 軸 and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 789-789	子類 定子 and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1784-1784	子類 開關設備 and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Communications.kif 381-381	子類 電視接收器 and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 912-912	子類 閥 and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1512-1512	子類 翼裝置 and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3622-3622	子類 電線 and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3617-3617	子類 鋼絲彈簧 and EngineeringComponent
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