roomTempState |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31674-31674 | The number 2 argument of roomTempState is an instance of physical state |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31675-31675 | The number 1 argument of roomTempState is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31676-31676 | roomTempState is an instance of binary predicate |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31678-31689 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31557-31557 | roomTempState abrin toxin and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31440-31440 | roomTempState Absolut and liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31539-31539 | roomTempState actinium and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31558-31558 | roomTempState alcohol and liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31421-31421 | roomTempState alcoholic beverage and liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31559-31559 | roomTempState aldosterone and liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31560-31560 | roomTempState alkaloid and liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31561-31561 | roomTempState alumina and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31463-31463 | roomTempState aluminum and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31428-31428 | roomTempState amaretto and liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31545-31545 | roomTempState americium and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31562-31562 | roomTempState amino acid and liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31563-31563 | roomTempState amphetamine and solid |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2872-2872 | roomTempState animal fat and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31501-31501 | roomTempState antimony and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31425-31425 | roomTempState aperitif and liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31468-31468 | roomTempState argon and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31483-31483 | roomTempState arsenic and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31556-31556 | roomTempState arsine and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31564-31564 | roomTempState asbestos and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31535-31535 | roomTempState astatine and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31565-31565 | roomTempState atropine and liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31571-31571 | roomTempState BZ gas and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31436-31436 | roomTempState Bacardi and liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31566-31566 | roomTempState bacitracin and liquid |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |