TreeView Knowledge Base Browser

appearance as argument number 1

(instance Pressurized RelationalAttribute)	Cars.kif 351-351	Pressurized is an instance of relational attribute
(documentation Pressurized EnglishLanguage "An area of space which is at a higher pressure than surrounding regions.")	Cars.kif 353-354	Pressurized is an instance of relational attribute

appearance as argument number 2

(termFormat EnglishLanguage Pressurized "pressurized")

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))))

If pressurized is an attribute of X, then there exist Y, Z,, , W,, , V and U such that Y is an instance of self connected object and Z is an instance of region and equal Z and X and X is connected to Y and Z is connected to Y and the measure of Z is W U(s) and the measure of X is V U(s) and U is an instance of unit of atmospheric pressure and V is greater than W

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 144-153	If X is an instance of four stroke compression, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then pressurized is an attribute of Z holds during the end of the time of existence of X
(=> (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 5084-5096	If X is an instance of supercharger, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of gas motion (3) Y originates at X (4) Z is an instance of intake valve (5) Y ends up at Z (6) W is an instance of air (7) the object transferred in Y is W (8) pressurized is an attribute of W holds during the time of existence of Y