Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
BrushOrComb(brush or comb)
|  | brush, comb, fine-tooth_comb, fine-toothed_comb, hatchel, heckle, pocket_comb, pocketcomb |
| appearance as argument number 1 |
|
|
| (subclass BrushOrComb Device) | Mid-level-ontology.kif 2495-2495 | Brush or comb is a subclass of device |
| (documentation BrushOrComb EnglishLanguage "A Device which consists of a handle and bristles and whose purpose is to remove particles from something or to smooth something out.") | Mid-level-ontology.kif 2496-2497 | Brush or comb is a subclass of device |
| (externalImage BrushOrComb "http://upload.wikimedia.org/wikipedia/commons/ 8/ 89/ Hairbrush.jpg") | pictureList.kif 54-54 | Brush or comb is a subclass of device |
| (externalImage BrushOrComb "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Comb.png") | pictureList.kif 73-73 | Brush or comb is a subclass of device |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?B BrushOrComb) (hasPurpose ?B (exists (?S) (and (or (instance ?S Removing) (instance ?S SurfaceChange)) (instrument ?S ?B))))) |
Mid-level-ontology.kif 2499-2507 | If X is an instance of brush or comb, then X has the purpose there exists Y such that Y is an instance of removing or Y is an instance of surface change and X is an instrument for Y |
|