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 è un' istanza di AttributoRelazionale |
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 |