No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31429-31429	roomTempState Baileys and 液体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31567-31567	roomTempState 重晶石 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31506-31506	roomTempState 钡 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31568-31568	roomTempState batrachotoxin 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 31445-31445	roomTempState 啤酒 and 液体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31547-31547	roomTempState 锫 and 固体
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 31417-31417	roomTempState 饮料 and 液体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31533-31533	roomTempState 铋 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31553-31553	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 31570-31570	roomTempState 肉毒杆菌毒素 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31416-31416	roomTempState 巨石 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31444-31444	roomTempState 白兰地 and 液体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31485-31485	roomTempState 溴 and 液体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31400-31400	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 31590-31590	roomTempState CS气 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31498-31498	roomTempState 镉 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31505-31505	roomTempState 铯 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31572-31572	roomTempState Caffeine and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31470-31470	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