Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| VacuumHose(vacuum hose) |
| appearance as argument number 1 |
|
| (subclass VacuumHose Hose) | Cars.kif 4150-4150 | Vacuum hose is a subclass of hose |
| (documentation VacuumHose EnglishLanguage "A Hose, typically found in modern Automobiles that link one area of PartialVacuum to another.") | Cars.kif 4152-4153 | Vacuum hose is a subclass of hose |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage VacuumHose "vacuum hose") | Cars.kif 4151-4151 |
| antecedent |
|
|
| (=> (instance ?VH VacuumHose) (hasPurpose ?VH (exists (?H) (and (instance ?H HoleRegion) (equal ?VH (HoleHostFn ?H)) (attribute ?H PartialVacuum))))) |
Cars.kif 4155-4162 | If X is an instance of vacuum hose, then X has the purpose there exists Y such that Y is an instance of hole, equal X, the host of the hole Y, and partial vacuum is an attribute of Y |
|