Pressurized - Sigma Knowledge base Browser

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

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

(=> (and (instance ?F FourStrokeCompression) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?F ?C)) (holdsDuring (EndFn (WhenFn ?F)) (attribute ?I Pressurized)))	Cars.kif 191-200
(=> (instance ?S Supercharger) (hasPurpose ?S (exists (?T ?IV ?A) (and (instance ?T GasMotion) (origin ?T ?S) (instance ?IV IntakeValve) (destination ?T ?IV) (instance ?A Air) (objectTransferred ?T ?A) (holdsDuring (WhenFn ?T) (attribute ?A Pressurized))))))	Cars.kif 5252-5264