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	Partial vacuum is an instance of relational attribute

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	If a process is an instance of two stroke intake and an object is an instance of crankcase and the process is partly located at the object, then partial vacuum is an attribute of the object holds during the process
(=> (instance ?VH VacuumHose) (hasPurpose ?VH (exists (?H) (and (instance ?H HoleRegion) (equal ?VH (HoleHostFn ?H)) (attribute ?H PartialVacuum)))))	Cars.kif 4233-4240	If a physical is an instance of vacuum hose, then the physical has the purpose there exists an entity such that the entity is an instance of hole and the physical is equal to the host of the hole the entity and partial vacuum is an attribute of the entity