roomTempState |
appearance as argument number 1 |
![]() |
(domain roomTempState 2 PhysicalState) | Mid-level-ontology.kif 31591-31591 | Le nombre 2 argument de roomTempState est une instance de �tat physique |
(domainSubclass roomTempState 1 Substance) | Mid-level-ontology.kif 31592-31592 | Le nombre 1 argument de roomTempState est une sous-classe de substance |
(instance roomTempState BinaryPredicate) | Mid-level-ontology.kif 31593-31593 | roomTempState est une instance de pr�dicat binaire |
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 31595-31606 |
|
appearance as argument number 0 |
![]() |
![]() |
![]() |