No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15651-15651	人行道 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7006-7006	体育设施 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15673-15673	运动场 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15063-15063	楼梯 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7909-7909	尖顶 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15087-15087	脚步 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4722-4722	游泳池 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6842-6842	墓 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2910-2910	中转站 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1631-1631	隧道 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6797-6797	投票调查 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 626-626	大规模杀伤性武器生产设施 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 637-637	WMD武器研究设施 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15308-15308	壁 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6854-6854	作坊 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1050-1050
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1311-1311
No TPTP formula. May not be expressible in strict first order.	french_format.kif 728-728
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 259-259
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 262-262
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2412-2412
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 680-680
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 298-298
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 749-749
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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