TreeView Knowledge Base Browser - Hair

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

If an entity is an instance of hair,
then there exist another entity and a time position such that the other entity is an instance of mammal and the entity is a part of the other entity holds during the time position

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11346-11350	If a process is an instance of hair removal and an object is a resource for the process, then the object is an instance of hair
No TPTP formula. May not be expressible in strict first order.	naics.kif 11934-11946	If barber shops is an attribute of an object, then the object has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of hair and the entity is a part of the other entity and the other entity is an instance of human and the third entity is an instance of cutting and the entity is a patient of the third entity and the third entity is located at 2 and the fourth entity is an agent of the third entity and the object employs the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24835-24843	If a physical is an instance of hair dryer, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of hair and the other entity is an instance of drying and the entity is a patient of the other entity and the physical is an instrument for the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5188-5198	If a physical is an instance of veil, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of face and the physical meets the entity or the other entity is an instance of hair and the physical meets the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5120-5129	If an entity is an instance of wool, then there exist a process, an object and another object such that the process is an instance of making and the entity is a result of the process and the object is a resource for the process and the object is a part of the other object and the object is an instance of hair and the other object is an instance of sheep

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