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 4230-4231
(subclass VacuumHose Hose)	Cars.kif 4228-4228	Vacuum hose is a subclass of hose

appearance as argument number 2

(termFormat EnglishLanguage VacuumHose "vacuum hose")

Cars.kif 4229-4229

antecedent

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

Cars.kif 4233-4240