PartialVacuum - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PartialVacuum EnglishLanguage "An area of space which is at a lower pressure than surrounding regions.")	Cars.kif 380-381
(instance PartialVacuum RelationalAttribute)	Cars.kif 378-378

appearance as argument number 2

(termFormat EnglishLanguage PartialVacuum "partial vacuum")

Cars.kif 379-379

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

Cars.kif 383-396

consequent

(=> (and (instance ?TSI TwoStrokeIntake) (instance ?C Crankcase) (eventPartlyLocated ?TSI ?C)) (holdsDuring ?TSI (attribute ?C PartialVacuum)))	Cars.kif 477-483
(=> (instance ?VH VacuumHose) (hasPurpose ?VH (exists (?H) (and (instance ?H HoleRegion) (equal ?VH (HoleHostFn ?H)) (attribute ?H PartialVacuum)))))	Cars.kif 4233-4240