Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - FacialHair
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
-------------------------


(termFormat EnglishLanguage FacialHair "facial hair") domainEnglishFormat.kif 23110-23110
(termFormat ChineseTraditionalLanguage FacialHair "鬍子") domainEnglishFormat.kif 23111-23111
(termFormat ChineseLanguage FacialHair "胡子") domainEnglishFormat.kif 23112-23112

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners