TreeView Knowledge Base Browser

appearance as argument number 1

(instance PartialVacuum RelationalAttribute)	Cars.kif 331-331	Partial vacuum is an instance of relational attribute
(documentation PartialVacuum EnglishLanguage "An area of space which is at a lower pressure than surrounding regions.")	Cars.kif 333-334	Partial vacuum is an instance of relational attribute

appearance as argument number 2

(termFormat EnglishLanguage PartialVacuum "partial vacuum")

antecedent

(=>
    (attribute ?X PartialVacuum)
    (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 ?P1 ?P2))))

If partial vacuum 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 W is greater than V

consequent

(=> (and (instance ?TSI TwoStrokeIntake) (instance ?C Crankcase) (eventPartlyLocated ?TSI ?C)) (holdsDuring ?TSI (attribute ?C PartialVacuum)))	Cars.kif 430-436	If X is an instance of two stroke intake, Y is an instance of crankcase, and X is partly located at Y, then partial vacuum is an attribute of Y holds during X
(=> (instance ?VH VacuumHose) (hasPurpose ?VH (exists (?H) (and (instance ?H HoleRegion) (equal ?VH (HoleHostFn ?H)) (attribute ?H PartialVacuum)))))	Cars.kif 4155-4162	If X is an instance of vacuum hose, then X has the purpose there exists Y such that Y is an instance of hole, equal X, the host of the hole Y, and partial vacuum is an attribute of Y