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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hair

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 11263-11264
(externalImage Hair "http://upload.wikimedia.org/wikipedia/commons/0/08/ Hair.jpg") pictureList.kif 107-107
(initialPart Hair Animal) Mid-level-ontology.kif 11265-11265
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 11262-11262

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


(subclass FacialHair Hair) Mid-level-ontology.kif 11275-11275
(termFormat ChineseLanguage Hair "头发") domainEnglishFormat.kif 27195-27195
(termFormat ChineseTraditionalLanguage Hair "頭髮") domainEnglishFormat.kif 27194-27194
(termFormat EnglishLanguage Hair "hair") domainEnglishFormat.kif 27193-27193

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


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

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


(=>
    (and
        (instance ?REMOVE HairRemoval)
        (resource ?REMOVE ?HAIR))
    (instance ?HAIR Hair))
Mid-level-ontology.kif 11291-11295
(=>
    (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 24718-24726
(=>
    (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 5165-5175
(=>
    (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 5097-5106


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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