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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Head
Head(头)

appearance as argument number 1
-------------------------


(documentation Head EnglishLanguage "The part of the body containing the sense organs and the brain.") Mid-level-ontology.kif 12867-12868
(externalImage Head "http://articulatesoftware.com/SUMOpictures/people/bodypart/ head/ head14.png") pictureList.kif 493-493
(externalImage Head "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Egypte_louvre_284.jpg") pictureList.kif 111-111
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 12865-12865 动物解剖结构subclass
(subclass Head BodyPart) Mid-level-ontology.kif 12866-12866 身体部位subclass

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


(initialPart Eyebrow Head) Anatomy.kif 1438-1438 %每个 Eyebrowinitially part
(initialPart Forehead Head) Anatomy.kif 1487-1487 %每个 Foreheadinitially part
(initialPart HeadBone Head) Anatomy.kif 55-55 %每个 HeadBoneinitially part
(termFormat ChineseLanguage Head "头") domainEnglishFormat.kif 27684-27684
(termFormat ChineseTraditionalLanguage Head "頭") domainEnglishFormat.kif 27683-27683
(termFormat EnglishLanguage Head "head") domainEnglishFormat.kif 27682-27682

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


(=>
    (and
        (instance ?EARPHONE Earphone)
        (wears ?PERSON ?EARPHONE)
        (instance ?HEAD Head)
        (part ?HEAD ?PERSON))
    (located ?EARPHONE ?HEAD))
ComputerInput.kif 510-516
(=>
    (and
        (instance ?V Vertebrate)
        (instance ?H Head)
        (part ?H ?V)
        (attribute ?V Healthy))
    (exists (?S ?B)
        (and
            (instance ?S Skull)
            (member ?B ?S)
            (part ?B ?H))))
Mid-level-ontology.kif 11487-11497
(=>
    (and
        (instance ?V Vertebrate)
        (instance ?H Head)
        (part ?H ?V)
        (instance ?S Skull)
        (attribute ?V Healthy)
        (member ?B ?S)
        (part ?B ?V))
    (part ?B ?H))
Mid-level-ontology.kif 11499-11508

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


(=>
    (and
        (instance ?NOD Nodding)
        (patient ?NOD ?HEAD))
    (instance ?HEAD Head))
Mid-level-ontology.kif 13063-13067
(=>
    (and
        (wears ?PERSON ?HAT)
        (instance ?HAT Hat))
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?HEAD ?PERSON)
            (meetsSpatially ?HAT ?HEAD))))
Mid-level-ontology.kif 5150-5158
(=>
    (instance ?E Headache)
    (exists (?H)
        (and
            (instance ?H Head)
            (located ?E ?H))))
Mid-level-ontology.kif 19337-19342
(=>
    (instance ?EAR Ear)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EAR ?HEAD))))
Mid-level-ontology.kif 12148-12153
(=>
    (instance ?EYE Eye)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EYE ?HEAD))))
Mid-level-ontology.kif 12114-12119
(=>
    (instance ?FACE Face)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?FACE ?HEAD))))
Mid-level-ontology.kif 12887-12892
(=>
    (instance ?NECK Neck)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (connected ?NECK ?HEAD))))
Mid-level-ontology.kif 12875-12880

statement
-------------------------


(subclass Hat
    (CoveringFn Head))
Mid-level-ontology.kif 5148-5148 帽子 是 对于 coveringsubclass
(subclass Headache
    (PainFn Head))
Mid-level-ontology.kif 19333-19333 头痛PainFn subclass
(subclass Helmet
    (CoveringFn Head))
Cars.kif 4360-4360 Helmet 是 对于 coveringsubclass


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