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 12866-12867
(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 12864-12864 Head e' uma sub-classe de AnimalAnatomicalStructure
(subclass Head BodyPart) Mid-level-ontology.kif 12865-12865 Head e' uma sub-classe de Parte do Corpo

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


(initialPart Eyebrow Head) Anatomy.kif 1438-1438 initialPart Eyebrow and Head
(initialPart Forehead Head) Anatomy.kif 1487-1487 initialPart Forehead and Head
(initialPart HeadBone Head) Anatomy.kif 55-55 initialPart HeadBone and Head
(termFormat ChineseLanguage Head "头") domainEnglishFormat.kif 27684-27684
(termFormat ChineseTraditionalLanguage Head "頭") domainEnglishFormat.kif 27683-27683
(termFormat EnglishLanguage Head "head") domainEnglishFormat.kif 27682-27682

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 11486-11496
(=>
    (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 11498-11507

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


(=>
    (and
        (instance ?NOD Nodding)
        (patient ?NOD ?HEAD))
    (instance ?HEAD Head))
Mid-level-ontology.kif 13062-13066
(=>
    (and
        (wears ?PERSON ?HAT)
        (instance ?HAT Hat))
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?HEAD ?PERSON)
            (meetsSpatially ?HAT ?HEAD))))
Mid-level-ontology.kif 5149-5157
(=>
    (instance ?E Headache)
    (exists (?H)
        (and
            (instance ?H Head)
            (located ?E ?H))))
Mid-level-ontology.kif 19336-19341
(=>
    (instance ?EAR Ear)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EAR ?HEAD))))
Mid-level-ontology.kif 12147-12152
(=>
    (instance ?EYE Eye)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EYE ?HEAD))))
Mid-level-ontology.kif 12113-12118
(=>
    (instance ?FACE Face)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?FACE ?HEAD))))
Mid-level-ontology.kif 12886-12891
(=>
    (instance ?NECK Neck)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (connected ?NECK ?HEAD))))
Mid-level-ontology.kif 12874-12879

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


(subclass Hat
    (CoveringFn Head))
Mid-level-ontology.kif 5147-5147 Hat e' uma sub-classe de CoveringFn Head
(subclass Headache
    (PainFn Head))
Mid-level-ontology.kif 19332-19332 Headache e' uma sub-classe de PainFn Head
(subclass Helmet
    (CoveringFn Head))
Cars.kif 4368-4368 Helmet e' uma sub-classe de CoveringFn Head


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