![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
BrushOrComb
|
|
|
| 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 |