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 9952-9953
(externalImage Hair "http://upload.wikimedia.org/wikipedia/commons/0/08/ Hair.jpg") pictureList.kif 107-107
(initialPart Hair Animal) Mid-level-ontology.kif 9954-9954 initialPart Hair and Animal
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 9951-9951 subclass Hair and AnimalAnatomicalStructure

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


(subclass FacialHair Hair) Mid-level-ontology.kif 9964-9964 subclass FacialHair and Hair
(termFormat ChineseLanguage Hair "头发") domainEnglishFormat.kif 27136-27136
(termFormat ChineseTraditionalLanguage Hair "頭髮") domainEnglishFormat.kif 27135-27135
(termFormat EnglishLanguage Hair "hair") domainEnglishFormat.kif 27134-27134

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


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

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


(=>
    (and
        (instance ?REMOVE HairRemoval)
        (resource ?REMOVE ?HAIR))
    (instance ?HAIR Hair))
Mid-level-ontology.kif 9979-9983
(=>
    (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 23320-23328
(=>
    (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 5721-5731
(=>
    (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 5656-5665


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