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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Head
Head(head)
caput, 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 10494-10495
(externalImage Head "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Egypte_louvre_284.jpg") pictureList.kif 111-111
(externalImage Head "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ bodypart/ head/ head14.png") pictureList.kif 493-493
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 10492-10492 Head is a subclass of animal anatomical structure
(subclass Head BodyPart) Mid-level-ontology.kif 10493-10493 Head is a subclass of body part

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


(termFormat ChineseLanguage Head "头") domainEnglishFormat.kif 27607-27607
(termFormat ChineseTraditionalLanguage Head "頭") domainEnglishFormat.kif 27606-27606
(termFormat EnglishLanguage Head "head") domainEnglishFormat.kif 27605-27605

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


(=>
    (and
        (instance ?EARPHONE Earphone)
        (wears ?PERSON ?EARPHONE)
        (instance ?HEAD Head)
        (part ?HEAD ?PERSON))
    (located ?EARPHONE ?HEAD))
ComputerInput.kif 536-542

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


(=>
    (and
        (instance ?NOD Nodding)
        (patient ?NOD ?HEAD))
    (instance ?HEAD Head))
Mid-level-ontology.kif 10672-10676
(=>
    (and
        (wears ?PERSON ?HAT)
        (instance ?HAT Hat))
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?HEAD ?PERSON)
            (meetsSpatially ?HAT ?HEAD))))
Mid-level-ontology.kif 5433-5441
(=>
    (attribute ?E Headache)
    (exists (?H)
        (and
            (instance ?H Head)
            (part ?H ?E)
            (attribute ?H Pain))))
Mid-level-ontology.kif 17118-17124
(=>
    (instance ?EAR Ear)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EAR ?HEAD))))
Mid-level-ontology.kif 10076-10081
(=>
    (instance ?EYE Eye)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EYE ?HEAD))))
Mid-level-ontology.kif 10061-10066
(=>
    (instance ?FACE Face)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?FACE ?HEAD))))
Mid-level-ontology.kif 10514-10519
(=>
    (instance ?NECK Neck)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (connected ?NECK ?HEAD))))
Mid-level-ontology.kif 10502-10507
(=>
    (instance ?S Skull)
    (exists (?V ?H)
        (and
            (instance ?V Vertebrate)
            (instance ?H Head)
            (part ?H ?V)
            (part ?S ?H))))
Mid-level-ontology.kif 9725-9732