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 9955-9956
(externalImage Hair "http://upload.wikimedia.org/wikipedia/commons/0/08/ Hair.jpg") pictureList.kif 107-107 "http://upload.wikimedia.org/wikipedia/commons/0/08/ Hair.jpg" is a URL depicting hair
(initialPart Hair Animal) Mid-level-ontology.kif 9957-9957 Every hair is initially part of a animal
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 9954-9954 Hair is a subclass of animal anatomical structure

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


(subclass FacialHair Hair) Mid-level-ontology.kif 9967-9967 Facial hair is a subclass of hair
(termFormat ChineseLanguage Hair "头发") domainEnglishFormat.kif 27133-27133 "头发" is the printable form of hair in ChineseLanguage
(termFormat ChineseTraditionalLanguage Hair "頭髮") domainEnglishFormat.kif 27132-27132 "頭髮" is the printable form of hair in ChineseTraditionalLanguage
(termFormat EnglishLanguage Hair "hair") domainEnglishFormat.kif 27131-27131 "hair" is the printable form of hair in english language

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


(=>
    (instance ?HAIR Hair)
    (exists (?MAMMAL ?TIME)
        (and
            (instance ?MAMMAL Mammal)
            (holdsDuring ?TIME
                (part ?HAIR ?MAMMAL)))))
Mid-level-ontology.kif 9959-9965

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


(=>
    (and
        (instance ?REMOVE HairRemoval)
        (resource ?REMOVE ?HAIR))
    (instance ?HAIR Hair))
Mid-level-ontology.kif 9982-9986
(=>
    (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 11857-11869
(=>
    (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 23277-23285
(=>
    (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 5715-5725
(=>
    (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 5650-5659


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners