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 4248-4249
(subclass VacuumHose Hose)	Cars.kif 4246-4246	VacuumHose 是 Hose 的 subclass

appearance as argument number 2

(termFormat EnglishLanguage VacuumHose "vacuum hose")

Cars.kif 4247-4247

antecedent

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

Cars.kif 4251-4258