| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31553-31553 |
roomTempState abrin毒素 and 固体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31436-31436 |
roomTempState Absolut and 液体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31535-31535 |
roomTempState 锕 and 固体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31554-31554 |
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 31555-31555 |
roomTempState Aldosterone and 液体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31556-31556 |
roomTempState 生物碱 and 液体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31557-31557 |
roomTempState 矾土 and 固体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31459-31459 |
roomTempState 铝 and 固体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31424-31424 |
roomTempState Amaretto and 液体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31541-31541 |
roomTempState 銤 and 固体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31558-31558 |
roomTempState 氨基酸 and 液体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31559-31559 |
roomTempState Amphetamine and 固体 |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 2872-2872 |
roomTempState AnimalFat and 固体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31497-31497 |
roomTempState 锑 and 固体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31421-31421 |
roomTempState Aperitif and 液体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31464-31464 |
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 31552-31552 |
roomTempState 胂 and 加油站 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31560-31560 |
roomTempState 石棉 and 固体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31531-31531 |
roomTempState 砹 and 固体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31561-31561 |
roomTempState 阿托品 and 液体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31567-31567 |
roomTempState BZ气体 and 加油站 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31432-31432 |
roomTempState Bacardi and 液体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31562-31562 |
roomTempState 杆菌肽 and 液体 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
roomTempState