![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FacialHair(facial hair) | Attilio, beard, beaver, burnside, face_fungus, facial_hair, fuzz, goatee, handle-bars, imperial, imperial_beard, moustache, moustachio, mustache, mustachio, mutton_chop, side-whiskers, sideburn, soul_patch, soup-strainer, stubble, toothbrush, vandyke, vandyke_beard, walrus_moustache, walrus_mustache, whiskers |
| appearance as argument number 1 |
|
|
| (subclass FacialHair Hair) | Mid-level-ontology.kif 13294-13294 | Facial hair is a subclass of hair |
| (documentation FacialHair EnglishLanguage "Hair that grows on the Face. This class covers beards, mustaches, sideburns, midnight shadow, etc.") | Mid-level-ontology.kif 13295-13296 | Facial hair is a subclass of hair |
| (externalImage FacialHair "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 10/ Wheeler.jpg/ 250px_Wheeler.jpg") | pictureList.kif 1110-1110 | Facial hair is a subclass of hair |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?H FacialHair) (exists (?F) (and (instance ?F Face) (part ?H ?F)))) |
Mid-level-ontology.kif 13298-13303 | If X is an instance of facial hair, then there exists Y such that Y is an instance of face and X is a part of Y |