roomTempState |
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 Beverage 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 Boulder 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 |