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 4306-4307
(subclass VacuumHose Hose)	Cars.kif 4304-4304	Vacuum hose is a subclass of hose

appearance as argument number 2

(termFormat EnglishLanguage VacuumHose "vacuum hose")

Cars.kif 4305-4305

antecedent

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

Cars.kif 4309-4316