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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FacialHair
FacialHair

appearance as argument number 1
-------------------------


(documentation FacialHair EnglishLanguage "Hair that grows on the Face. This class covers beards, mustaches, sideburns, midnight shadow, etc.") Mid-level-ontology.kif 12013-12014
(externalImage FacialHair "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 10/ Wheeler.jpg/ 250px-Wheeler.jpg") pictureList.kif 1110-1110
(subclass FacialHair Hair) Mid-level-ontology.kif 12012-12012

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage FacialHair "胡子") domainEnglishFormat.kif 23131-23131
(termFormat ChineseTraditionalLanguage FacialHair "鬍子") domainEnglishFormat.kif 23130-23130
(termFormat EnglishLanguage FacialHair "facial hair") domainEnglishFormat.kif 23129-23129

antecedent
-------------------------


(=>
    (instance ?H FacialHair)
    (exists (?F)
        (and
            (instance ?F Face)
            (part ?H ?F))))
Mid-level-ontology.kif 12016-12021


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 is open source software produced by Articulate Software and its partners