TreeView 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	PartialVacuum は関係属性の instance では %n

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	工程は TwoStrokeIntake の instance では %n オブジェクトは Crankcase の instance では %n eventPartlyLocated 工程 and オブジェクト PartialVacuum はオブジェクトの attribute では %n は工程の during holds %n{ない}
(=> (instance ?VH VacuumHose) (hasPurpose ?VH (exists (?H) (and (instance ?H HoleRegion) (equal ?VH (HoleHostFn ?H)) (attribute ?H PartialVacuum)))))	Cars.kif 4248-4255	物理は VacuumHose の instance では %n 物理はエンティティーエンティティーは HoleRegion の instance では %n 物理はホールエンティティーの host と equal では %n PartialVacuum はエンティティーの attribute では %n の目的 %n{ない}