roomTempState |
appearance as argument number 1 |
(domain roomTempState 2 PhysicalState) | Mid-level-ontology.kif 31674-31674 | |
(domainSubclass roomTempState 1 Substance) | Mid-level-ontology.kif 31675-31675 | |
(instance roomTempState BinaryPredicate) | Mid-level-ontology.kif 31676-31676 |
antecedent |
(=> (and (roomTempState ?C ?PS) (instance ?S ?C) (holdsDuring ?T (roomTempState ?C Liquid)) (measure ?S (MeasureFn 101 (KiloFn Pascal)))) (holdsDuring ?T (measure ?S (MeasureFn 68 FahrenheitDegree)))) |
Mid-level-ontology.kif 31678-31689 |
appearance as argument number 0 |
(roomTempState AbrinToxin Solid) | Mid-level-ontology.kif 31557-31557 | |
(roomTempState Absolut Liquid) | Mid-level-ontology.kif 31440-31440 | |
(roomTempState Actinium Solid) | Mid-level-ontology.kif 31539-31539 | |
(roomTempState Alcohol Liquid) | Mid-level-ontology.kif 31558-31558 | |
(roomTempState AlcoholicBeverage Liquid) | Mid-level-ontology.kif 31421-31421 | |
(roomTempState Aldosterone Liquid) | Mid-level-ontology.kif 31559-31559 | |
(roomTempState Alkaloid Liquid) | Mid-level-ontology.kif 31560-31560 | |
(roomTempState Alumina Solid) | Mid-level-ontology.kif 31561-31561 | |
(roomTempState Aluminum Solid) | Mid-level-ontology.kif 31463-31463 | |
(roomTempState Amaretto Liquid) | Mid-level-ontology.kif 31428-31428 | |
(roomTempState Americium Solid) | Mid-level-ontology.kif 31545-31545 | |
(roomTempState AminoAcid Liquid) | Mid-level-ontology.kif 31562-31562 | |
(roomTempState Amphetamine Solid) | Mid-level-ontology.kif 31563-31563 | |
(roomTempState AnimalFat Solid) | Food.kif 2872-2872 | |
(roomTempState Antimony Solid) | Mid-level-ontology.kif 31501-31501 | |
(roomTempState Aperitif Liquid) | Mid-level-ontology.kif 31425-31425 | |
(roomTempState Argon Gas) | Mid-level-ontology.kif 31468-31468 | |
(roomTempState Arsenic Solid) | Mid-level-ontology.kif 31483-31483 | |
(roomTempState Arsine Gas) | Mid-level-ontology.kif 31556-31556 | |
(roomTempState Asbestos Solid) | Mid-level-ontology.kif 31564-31564 | |
(roomTempState Astatine Solid) | Mid-level-ontology.kif 31535-31535 | |
(roomTempState Atropine Liquid) | Mid-level-ontology.kif 31565-31565 | |
(roomTempState BZGas Gas) | Mid-level-ontology.kif 31571-31571 | |
(roomTempState Bacardi Liquid) | Mid-level-ontology.kif 31436-31436 | |
(roomTempState Bacitracin Liquid) | Mid-level-ontology.kif 31566-31566 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |