roomTempState |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31670-31670 | O argumento numero 2 de roomTempState e' uma instancia de Estado Fisico |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31671-31671 | O argumento numero 1 de roomTempState e' uma sub-classe de Substancia |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31672-31672 | roomTempState e' uma instancia de Predicado Binario |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31674-31685 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31553-31553 | roomTempState AbrinToxin and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31436-31436 | roomTempState Absolut and Liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31535-31535 | roomTempState Actinium and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31554-31554 | roomTempState Alcohol and Liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31417-31417 | roomTempState AlcoholicBeverage and Liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31555-31555 | roomTempState Aldosterone and Liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31556-31556 | roomTempState Alkaloid and Liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31557-31557 | roomTempState Alumina and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31459-31459 | roomTempState Aluminum and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31424-31424 | roomTempState Amaretto and Liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31541-31541 | roomTempState Americium and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31558-31558 | roomTempState AminoAcid and Liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31559-31559 | roomTempState Amphetamine and Solid |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2872-2872 | roomTempState AnimalFat and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31497-31497 | roomTempState Antimony and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31421-31421 | roomTempState Aperitif and Liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31464-31464 | roomTempState Argon and Gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31479-31479 | roomTempState Arsenic and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31552-31552 | roomTempState Arsine and Gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31560-31560 | roomTempState Asbestos and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31531-31531 | roomTempState Astatine and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31561-31561 | roomTempState Atropine and Liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31567-31567 | roomTempState BZGas and Gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31432-31432 | roomTempState Bacardi and Liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31562-31562 | roomTempState Bacitracin and Liquid |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |