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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hair
Hair

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
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 11999-11999

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


(subclass FacialHair Hair) Mid-level-ontology.kif 12012-12012
(termFormat ChineseLanguage Hair "头发") domainEnglishFormat.kif 27233-27233
(termFormat ChineseTraditionalLanguage Hair "頭髮") domainEnglishFormat.kif 27232-27232
(termFormat EnglishLanguage Hair "hair") domainEnglishFormat.kif 27231-27231

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


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

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


(=>
    (and
        (instance ?C DomesticCat)
        (sheddingBodyPart ?C ?H))
    (instance ?H Hair))
Geography.kif 6461-6465
(=>
    (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
(=>
    (and
        (instance ?REMOVE HairRemoval)
        (resource ?REMOVE ?HAIR))
    (instance ?HAIR Hair))
Mid-level-ontology.kif 12028-12032
(=>
    (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 25674-25682
(=>
    (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
(=>
    (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


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