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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Head

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 12199-12200
(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 12197-12197
(subclass Head BodyPart) Mid-level-ontology.kif 12198-12198

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


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

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 12395-12399
(=>
    (and
        (wears ?PERSON ?HAT)
        (instance ?HAT Hat))
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?HEAD ?PERSON)
            (meetsSpatially ?HAT ?HEAD))))
Mid-level-ontology.kif 4849-4857
(=>
    (instance ?E Headache)
    (exists (?H)
        (and
            (instance ?H Head)
            (located ?E ?H))))
Mid-level-ontology.kif 18543-18548
(=>
    (instance ?EAR Ear)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EAR ?HEAD))))
Mid-level-ontology.kif 11498-11503
(=>
    (instance ?EYE Eye)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EYE ?HEAD))))
Mid-level-ontology.kif 11464-11469
(=>
    (instance ?FACE Face)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?FACE ?HEAD))))
Mid-level-ontology.kif 12219-12224
(=>
    (instance ?NECK Neck)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (connected ?NECK ?HEAD))))
Mid-level-ontology.kif 12207-12212
(=>
    (instance ?S Skull)
    (exists (?V ?H)
        (and
            (instance ?V Vertebrate)
            (instance ?H Head)
            (part ?H ?V)
            (part ?S ?H))))
Mid-level-ontology.kif 10854-10861

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


(subclass Hat
    (CoveringFn Head))
Mid-level-ontology.kif 4847-4847
(subclass Headache
    (PainFn Head))
Mid-level-ontology.kif 18539-18539
(subclass Helmet
    (CoveringFn Head))
Cars.kif 4363-4363


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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