No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31425-31425	roomTempState Baileys and 液体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31563-31563	roomTempState 重晶石 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31502-31502	roomTempState 钡 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31564-31564	roomTempState batrachotoxin and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31565-31565	roomTempState 矾土 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31441-31441	roomTempState 啤酒 and 液体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31543-31543	roomTempState 锫 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31449-31449	roomTempState 铍 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31413-31413	roomTempState 饮料 and 液体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31529-31529	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 31450-31450	roomTempState 硼 and 液体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31566-31566	roomTempState 肉毒杆菌毒素 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31412-31412	roomTempState 巨石 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31440-31440	roomTempState 白兰地 and 液体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31481-31481	roomTempState 溴 and 液体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31396-31396	roomTempState 褐煤 and 固体
No TPTP formula. May not be expressible in strict first order.	Food.kif 3098-3098	roomTempState 黄油 and 固体
No TPTP formula. May not be expressible in strict first order.	Food.kif 2931-2931	roomTempState ButterFat and 固体
No TPTP formula. May not be expressible in strict first order.	Food.kif 3170-3170	roomTempState Buttermilk and 液体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31586-31586	roomTempState CS气 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31494-31494	roomTempState 镉 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31501-31501	roomTempState 铯 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31568-31568	roomTempState Caffeine and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31466-31466	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