| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31557-31557 |
roomTempState abrin毒素 and 固体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31440-31440 |
roomTempState Absolut and 液体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31539-31539 |
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 31421-31421 |
roomTempState 酒精饮料 and 液体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31559-31559 |
roomTempState Aldosterone 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 31561-31561 |
roomTempState 矾土 and 固体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31463-31463 |
roomTempState 铝 and 固体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31428-31428 |
roomTempState Amaretto and 液体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31545-31545 |
roomTempState 銤 and 固体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31562-31562 |
roomTempState 氨基酸 and 液体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31563-31563 |
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 31501-31501 |
roomTempState 锑 and 固体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31425-31425 |
roomTempState Aperitif and 液体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31468-31468 |
roomTempState 氩 and 加油站 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31483-31483 |
roomTempState 砷 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 31564-31564 |
roomTempState 石棉 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 31565-31565 |
roomTempState 阿托品 and 液体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31571-31571 |
roomTempState BZ气体 and 加油站 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31436-31436 |
roomTempState Bacardi and 液体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31566-31566 |
roomTempState 杆菌肽 and 液体 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
roomTempState