roomTempState |
appearance as argument number 1 |
(domain roomTempState 2 PhysicalState) | Mid-level-ontology.kif 31674-31674 | O argumento numero 2 de roomTempState e' uma instancia de Estado Fisico |
(domainSubclass roomTempState 1 Substance) | Mid-level-ontology.kif 31675-31675 | O argumento numero 1 de roomTempState e' uma sub-classe de Substancia |
(instance roomTempState BinaryPredicate) | Mid-level-ontology.kif 31676-31676 | roomTempState e' uma instancia de Predicado Binario |
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 |