VacuumHose
|
|
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 4245-4246 | |
(subclass VacuumHose Hose) | Cars.kif 4243-4243 | Vacuum hose is a subclass of hose |
appearance as argument number 2 |
(termFormat EnglishLanguage VacuumHose "vacuum hose") | Cars.kif 4244-4244 |
antecedent |
(=> (instance ?VH VacuumHose) (hasPurpose ?VH (exists (?H) (and (instance ?H HoleRegion) (equal ?VH (HoleHostFn ?H)) (attribute ?H PartialVacuum))))) |
Cars.kif 4248-4255 |
|