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 10519-10520
(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 10517-10517
(subclass Head BodyPart) Mid-level-ontology.kif 10518-10518

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 10697-10701
(=>
    (and
        (wears ?PERSON ?HAT)
        (instance ?HAT Hat))
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?HEAD ?PERSON)
            (meetsSpatially ?HAT ?HEAD))))		 Mid-level-ontology.kif 5439-5447
(=>
    (attribute ?E Headache)
    (exists (?H)
        (and
            (instance ?H Head)
            (part ?H ?E)
            (attribute ?H Pain))))		 Mid-level-ontology.kif 17143-17149
(=>
    (instance ?EAR Ear)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EAR ?HEAD))))		 Mid-level-ontology.kif 10070-10075
(=>
    (instance ?EYE Eye)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EYE ?HEAD))))		 Mid-level-ontology.kif 10055-10060
(=>
    (instance ?FACE Face)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?FACE ?HEAD))))		 Mid-level-ontology.kif 10539-10544
(=>
    (instance ?NECK Neck)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (connected ?NECK ?HEAD))))		 Mid-level-ontology.kif 10527-10532
(=>
    (instance ?S Skull)
    (exists (?V ?H)
        (and
            (instance ?V Vertebrate)
            (instance ?H Head)
            (part ?H ?V)
            (part ?S ?H))))		 Mid-level-ontology.kif 9719-9726