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

Formal Language: 


KB Term:  Term intersection
English Word: 

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
-------------------------


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

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


(subclass FacialHair Hair) Mid-level-ontology.kif 13125-13125 Facial hair is a subclass of hair
(termFormat ChineseLanguage Hair "头发") domainEnglishFormat.kif 27215-27215 Facial hair is a subclass of hair
(termFormat ChineseTraditionalLanguage Hair "頭髮") domainEnglishFormat.kif 27214-27214 Facial hair is a subclass of hair
(termFormat EnglishLanguage Hair "hair") domainEnglishFormat.kif 27213-27213 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 13117-13123

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


(=>
    (and
        (instance ?C DomesticCat)
        (sheddingBodyPart ?C ?H))
    (instance ?H Hair))
Geography.kif 6594-6598
(=>
    (and
        (instance ?E Eyebrow)
        (attribute ?H Healthy)
        (part ?E ?H)
        (member ?C ?E))
    (exists (?HAIR)
        (and
            (instance ?HAIR Hair)
            (part ?HAIR ?E))))
Anatomy.kif 1493-1502
(=>
    (and
        (instance ?REMOVE HairRemoval)
        (resource ?REMOVE ?HAIR))
    (instance ?HAIR Hair))
Mid-level-ontology.kif 13141-13145
(=>
    (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
(=>
    (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 27050-27058
(=>
    (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 6410-6420
(=>
    (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 6342-6351


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