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 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 %每个 头发动物initially part
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 11262-11262 头发动物解剖结构subclass

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


(subclass FacialHair Hair) Mid-level-ontology.kif 11275-11275 胡子头发subclass
(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 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