Solid(固体) |
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 固体 |
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 31455-31455 | roomTempState 碳 and 固体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31508-31508 | roomTempState 铈 and 固体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31401-31401 | roomTempState Charcoal 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 31583-31583 | roomTempState 铬铁矿 and 固体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31474-31474 | roomTempState 铬 and 固体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31584-31584 | roomTempState 环丙沙星 and 固体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31399-31399 | roomTempState 煤 and 固体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31477-31477 | roomTempState 钴 and 固体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31415-31415 | roomTempState 大卵石 and 固体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31585-31585 | roomTempState 可卡因 and 固体 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2489-2489 | roomTempState 可可脂 and 固体 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2442-2442 | roomTempState CocoaLiquor and 固体 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2481-2481 | roomTempState 可可粉 and 固体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31587-31587 | roomTempState 芋螺毒素 and 固体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31479-31479 | roomTempState 铜 and 固体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31588-31588 | roomTempState 铜矿 and 固体 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3140-3140 | roomTempState Curd 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 31456-31456 | roomTempState 钻石 and 固体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31593-31593 | roomTempState 二巯基丙醇 and 固体 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |