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 14198-14199
(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 14196-14196 Head est une sous-classe de AnimalAnatomicalStructure
(subclass Head BodyPart) Mid-level-ontology.kif 14197-14197 Head est une sous-classe de partie du corps

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


(initialPart Eyebrow Head) Anatomy.kif 1473-1473 initialPart Eyebrow and Head
(initialPart Forehead Head) Anatomy.kif 1522-1522 initialPart Forehead and Head
(initialPart HeadBone Head) Anatomy.kif 55-55 initialPart HeadBone and Head
(termFormat ChineseLanguage Head "头") domainEnglishFormat.kif 27695-27695 initialPart HeadBone and Head
(termFormat ChineseTraditionalLanguage Head "頭") domainEnglishFormat.kif 27694-27694 initialPart HeadBone and Head
(termFormat EnglishLanguage Head "head") domainEnglishFormat.kif 27693-27693 initialPart HeadBone and Head

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 12818-12828
(=>
    (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 12830-12839

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


(=>
    (and
        (instance ?NOD Nodding)
        (patient ?NOD ?HEAD))
    (instance ?HEAD Head))
Mid-level-ontology.kif 14394-14398
(=>
    (and
        (wears ?PERSON ?HAT)
        (instance ?HAT Hat))
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?HEAD ?PERSON)
            (meetsSpatially ?HAT ?HEAD))))
Mid-level-ontology.kif 6087-6095
(=>
    (instance ?E Headache)
    (exists (?H)
        (and
            (instance ?H Head)
            (located ?E ?H))))
Mid-level-ontology.kif 20908-20913
(=>
    (instance ?EAR Ear)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EAR ?HEAD))))
Mid-level-ontology.kif 13479-13484
(=>
    (instance ?EYE Eye)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EYE ?HEAD))))
Mid-level-ontology.kif 13445-13450
(=>
    (instance ?FACE Face)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?FACE ?HEAD))))
Mid-level-ontology.kif 14218-14223
(=>
    (instance ?NECK Neck)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (connected ?NECK ?HEAD))))
Mid-level-ontology.kif 14206-14211

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


(subclass Hat
    (CoveringFn Head))
Mid-level-ontology.kif 6085-6085 Hat est une sous-classe de CoveringFn Head
(subclass Headache
    (PainFn Head))
Mid-level-ontology.kif 20904-20904 Headache est une sous-classe de PainFn Head
(subclass Helmet
    (CoveringFn Head))
Cars.kif 4421-4421 Helmet est une sous-classe de CoveringFn Head


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