Hair - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Hair EnglishLanguage "A filament that covers part of the body of many Mammals.")	Mid-level-ontology.kif 12000-12001
(externalImage Hair "http://upload.wikimedia.org/wikipedia/commons/0/08/ Hair.jpg")	pictureList.kif 107-107
(initialPart Hair Animal)	Mid-level-ontology.kif 12002-12002	Every hair is initially part of a animal
(subclass Hair AnimalAnatomicalStructure)	Mid-level-ontology.kif 11999-11999	Hair is a subclass of animal anatomical structure

appearance as argument number 2

(subclass FacialHair Hair)	Mid-level-ontology.kif 12012-12012	Facial hair is a subclass of hair
(termFormat ChineseLanguage Hair "头发")	domainEnglishFormat.kif 27238-27238	Facial hair is a subclass of hair
(termFormat ChineseTraditionalLanguage Hair "頭髮")	domainEnglishFormat.kif 27237-27237	Facial hair is a subclass of hair
(termFormat EnglishLanguage Hair "hair")	domainEnglishFormat.kif 27236-27236	Facial hair is a subclass of hair

antecedent

(=>
    (instance ?HAIR Hair)
    (exists (?MAMMAL ?TIME)
        (and
            (instance ?MAMMAL Mammal)
            (holdsDuring ?TIME
                (part ?HAIR ?MAMMAL)))))

Mid-level-ontology.kif 12004-12010

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

(=> (and (instance ?C DomesticCat) (sheddingBodyPart ?C ?H)) (instance ?H Hair))	Geography.kif 6461-6465	If an organism is an instance of domestic cat and the organism is Removing a body part from its body, then the body part is an instance of hair
(=> (and (instance ?E Eyebrow) (attribute ?H Healthy) (part ?E ?H) (member ?C ?E)) (exists (?HAIR) (and (instance ?HAIR Hair) (part ?HAIR ?E))))	Anatomy.kif 1458-1467	If a collection is an instance of eyebrow and healthy is an attribute of an object and the collection is a part of the object and a physical is a member of the collection, then there exists the objectAIR such that the objectAIR is an instance of hair and the objectAIR is a part of the collection
(=> (and (instance ?REMOVE HairRemoval) (resource ?REMOVE ?HAIR)) (instance ?HAIR Hair))	Mid-level-ontology.kif 12028-12032	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
(=> (attribute ?X BarberShops) (hasPurpose ?X (exists (?HAIR ?HUMAN ?CUT ?STYLIST) (and (instance ?HAIR Hair) (part ?HAIR ?HUMAN) (instance ?HUMAN Human) (instance ?CUT Cutting) (patient ?CUT ?HAIR) (eventLocated ?CUT ?X) (agent ?CUT ?STYLIST) (employs ?X ?STYLIST)))))	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 the object and the fourth entity is an agent of the third entity and the object employs the fourth entity
(=> (instance ?HD HairDryer) (hasPurpose ?HD (exists (?HAIR ?DRYING) (and (instance ?HAIR Hair) (instance ?DRYING Drying) (patient ?DRYING ?HAIR) (instrument ?DRYING ?HD)))))	Mid-level-ontology.kif 25674-25682	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
(=> (instance ?V Veil) (hasPurpose ?V (exists (?F ?H) (or (and (instance ?F Face) (meetsSpatially ?V ?F)) (and (instance ?H Hair) (meetsSpatially ?V ?H))))))	Mid-level-ontology.kif 5467-5477	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
(=> (instance ?W Wool) (exists (?M ?H ?S) (and (instance ?M Making) (result ?M ?W) (resource ?M ?H) (part ?H ?S) (instance ?H Hair) (instance ?S Sheep))))	Mid-level-ontology.kif 5399-5408	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 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

KB Term:			Term intersection

English Word: