No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31453-31453	roomTempState 氮 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31626-31626	roomTempState NitrogenDioxide and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31546-31546	roomTempState 氮芥子氣 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31454-31454	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 31643-31643	roomTempState 沙林 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31655-31655	roomTempState SulphurDioxide and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31545-31545	roomTempState 硫芥子氣 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31665-31665	roomTempState V系列神經毒劑 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31666-31666	roomTempState VX and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31500-31500	roomTempState 氙 and 加油站
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2736-2736	子類 溫室氣體 and 加油站
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