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 4253-4254 | |
(subclass VacuumHose Hose) | Cars.kif 4251-4251 | VacuumHose は Hose の subclass では %n |
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 |
|