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 12714-12715
(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 12712-12712 Head is a subclass of animal anatomical structure
(subclass Head BodyPart) Mid-level-ontology.kif 12713-12713 Head is a subclass of body part

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


(termFormat ChineseLanguage Head "头") domainEnglishFormat.kif 27674-27674
(termFormat ChineseTraditionalLanguage Head "頭") domainEnglishFormat.kif 27673-27673
(termFormat EnglishLanguage Head "head") domainEnglishFormat.kif 27672-27672

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


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

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


(=>
    (and
        (instance ?NOD Nodding)
        (patient ?NOD ?HEAD))
    (instance ?HEAD Head))
Mid-level-ontology.kif 12910-12914
(=>
    (and
        (wears ?PERSON ?HAT)
        (instance ?HAT Hat))
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?HEAD ?PERSON)
            (meetsSpatially ?HAT ?HEAD))))
Mid-level-ontology.kif 5110-5118
(=>
    (instance ?E Headache)
    (exists (?H)
        (and
            (instance ?H Head)
            (located ?E ?H))))
Mid-level-ontology.kif 19118-19123
(=>
    (instance ?EAR Ear)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EAR ?HEAD))))
Mid-level-ontology.kif 11994-11999
(=>
    (instance ?EYE Eye)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EYE ?HEAD))))
Mid-level-ontology.kif 11960-11965
(=>
    (instance ?FACE Face)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?FACE ?HEAD))))
Mid-level-ontology.kif 12734-12739
(=>
    (instance ?NECK Neck)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (connected ?NECK ?HEAD))))
Mid-level-ontology.kif 12722-12727
(=>
    (instance ?S Skull)
    (exists (?V ?H)
        (and
            (instance ?V Vertebrate)
            (instance ?H Head)
            (part ?H ?V)
            (part ?S ?H))))
Mid-level-ontology.kif 11347-11354

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


(subclass Hat
    (CoveringFn Head))
Mid-level-ontology.kif 5108-5108 Hat is a subclass of a covering for head
(subclass Headache
    (PainFn Head))
Mid-level-ontology.kif 19114-19114 Headache is a subclass of pain in the head
(subclass Helmet
    (CoveringFn Head))
Cars.kif 4360-4360 Helmet is a subclass of a covering for 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