Pressurized
|
|
appearance as argument number 1 |
(documentation Pressurized EnglishLanguage "An area of space which is at a higher pressure than surrounding regions.") | Cars.kif 400-401 | |
(instance Pressurized RelationalAttribute) | Cars.kif 398-398 | Pressurized e' uma instancia de Atributo Relacional |
appearance as argument number 2 |
(termFormat EnglishLanguage Pressurized "pressurized") | Cars.kif 399-399 |
antecedent |
(=> (attribute ?X Pressurized) (exists (?O ?G ?P1 ?P2 ?PM) (and (instance ?O SelfConnectedObject) (instance ?G Region) (not (equal ?G ?X)) (connected ?X ?O) (connected ?G ?O) (measure ?G (MeasureFn ?P1 ?PM)) (measure ?X (MeasureFn ?P2 ?PM)) (instance ?PM UnitOfAtmosphericPressure) (greaterThan ?P2 ?P1)))) |
Cars.kif 403-416 |
|
consequent |