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 |