No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31457-31457	roomTempState 氮 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31630-31630	roomTempState 二氧化氮 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31550-31550	roomTempState 氮芥子气 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31458-31458	roomTempState 氧 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31634-31634	roomTempState 光气 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31647-31647	roomTempState 沙林 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31659-31659	roomTempState 二氧化硫 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31549-31549	roomTempState 硫芥子气 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31669-31669	roomTempState V系列神经毒剂 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31670-31670	roomTempState VX and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31504-31504	roomTempState 氙 and 加油站
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2736-2736	温室气体 是 加油站 的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25508-25508
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25507-25507
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25506-25506

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