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 是 关联属性 的 instance |
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 |