|
|
   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 and Hose |
| 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 |
|
|
|