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 13691-13692
(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 13689-13689 动物解剖结构subclass
(subclass Head BodyPart) Mid-level-ontology.kif 13690-13690 身体部位subclass

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


(initialPart Eyebrow Head) Anatomy.kif 1437-1437 %每个 Eyebrowinitially part
(initialPart Forehead Head) Anatomy.kif 1486-1486 %每个 Foreheadinitially part
(initialPart HeadBone Head) Anatomy.kif 54-54 %每个 HeadBoneinitially part
(termFormat ChineseLanguage Head "头") domainEnglishFormat.kif 27712-27712 %每个 HeadBoneinitially part
(termFormat ChineseTraditionalLanguage Head "頭") domainEnglishFormat.kif 27711-27711 %每个 HeadBoneinitially part
(termFormat EnglishLanguage Head "head") domainEnglishFormat.kif 27710-27710 %每个 HeadBoneinitially part

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 12311-12321
(=>
    (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 12323-12332

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


(=>
    (and
        (instance ?NOD Nodding)
        (patient ?NOD ?HEAD))
    (instance ?HEAD Head))
Mid-level-ontology.kif 13887-13891
(=>
    (and
        (wears ?PERSON ?HAT)
        (instance ?HAT Hat))
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?HEAD ?PERSON)
            (meetsSpatially ?HAT ?HEAD))))
Mid-level-ontology.kif 5626-5634
(=>
    (instance ?E Headache)
    (exists (?H)
        (and
            (instance ?H Head)
            (located ?E ?H))))
Mid-level-ontology.kif 20255-20260
(=>
    (instance ?EAR Ear)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EAR ?HEAD))))
Mid-level-ontology.kif 12972-12977
(=>
    (instance ?EYE Eye)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EYE ?HEAD))))
Mid-level-ontology.kif 12938-12943
(=>
    (instance ?FACE Face)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?FACE ?HEAD))))
Mid-level-ontology.kif 13711-13716
(=>
    (instance ?NECK Neck)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (connected ?NECK ?HEAD))))
Mid-level-ontology.kif 13699-13704

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


(subclass Hat
    (CoveringFn Head))
Mid-level-ontology.kif 5624-5624 帽子 是 对于 coveringsubclass
(subclass Headache
    (PainFn Head))
Mid-level-ontology.kif 20251-20251 头痛PainFn subclass
(subclass Helmet
    (CoveringFn Head))
Cars.kif 4421-4421 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