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 11782-11783
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 11784-11784 Every hair is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11781-11781 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 11794-11794 Facial hair is a subclass of hair
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27204-27204
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27203-27203
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27202-27202

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


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

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6461-6465
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1458-1467
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11810-11814
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 25386-25394
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5473-5483
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5405-5414


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