VacuumHose - Sigma Knowledge base Browser

appearance as argument number 1

(documentation VacuumHose EnglishLanguage "A Hose, typically found in modern Automobiles that link one area of PartialVacuum to another.")	Cars.kif 4253-4254
(subclass VacuumHose Hose)	Cars.kif 4251-4251	Vacuum hose is a subclass of hose

appearance as argument number 2

(termFormat EnglishLanguage VacuumHose "vacuum hose")

Cars.kif 4252-4252

antecedent

(=>
    (instance ?VH VacuumHose)
    (hasPurpose ?VH
        (exists (?H)
            (and
                (instance ?H HoleRegion)
                (equal ?VH
                    (HoleHostFn ?H))
                (attribute ?H PartialVacuum)))))

Cars.kif 4256-4263