No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31422-31422	roomTempState Campari and 液体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31569-31569	roomTempState 麻 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31451-31451	roomTempState 碳 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31570-31570	roomTempState CarbonDioxide 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.	Mid-level-ontology.kif 31426-31426	roomTempState Chambord and 液体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31419-31419	roomTempState Champagne and 液体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31397-31397	roomTempState Charcoal and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31571-31571	roomTempState 化学酸 and 液体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31572-31572	roomTempState 化学基地 and 液体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31573-31573	roomTempState 盐 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31463-31463	roomTempState 氯 and 液体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31574-31574	roomTempState 氯气 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31575-31575	roomTempState Chlorofluorocarbon and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31576-31576	roomTempState 氯化苦 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31577-31577	roomTempState 窒息剂 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31578-31578	roomTempState 胆固醇 and 液体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31579-31579	roomTempState 铬铁矿 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31470-31470	roomTempState 铬 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31580-31580	roomTempState 环丙沙星 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31395-31395	roomTempState 煤 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31473-31473	roomTempState 钴 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31411-31411	roomTempState 大卵石 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31444-31444	roomTempState CocaCola and 液体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31581-31581	roomTempState 可卡因 and 固体
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