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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hair

Sigma KEE - Hair
Hair(hair)
Afro, Afro_hairdo, bang, beard, beehive, bob, body_hair, bouffant, braid, bristle, brush_cut, bush, chignon, coat, coif, coiffure, cowlick, crew_cut, crimp, crotch_hair, curl, down, dreadlock, encolure, finger_wave, flattop, fleece, forelock, fringe, fur, guard_hair, hair, hair_style, haircut, hairdo, hairstyle, head_of_hair, horsehair, ingrown_hair, kiss_curl, lanugo, lock, mane, marcel, minge, mohawk, mohawk_haircut, pageboy, pelage, pigtail...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11318-11319
No TPTP formula. May not be expressible in strict first order. pictureList.kif 107-107
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11320-11320 Every hair is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11317-11317 Hair is a subclass of animal anatomical structure

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11330-11330 Facial hair is a subclass of hair
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27195-27195
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27194-27194
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27193-27193

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11322-11328

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11346-11350
No TPTP formula. May not be expressible in strict first order. naics.kif 11934-11946
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24835-24843
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5188-5198
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5120-5129


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

Show without tree


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