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 est une instance de attribut relationnel |
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 |