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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Skull

Sigma KEE - Skull
Skull

appearance as argument number 1
-------------------------


(documentation Skull EnglishLanguage "The Collection of Bones that are found in the Heads of Vertebrates.") Mid-level-ontology.kif 11508-11508
(externalImage Skull "http://articulatesoftware.com/SUMOpictures/signs_symbol/ assorted/ assorted_3/ skull_6.png") pictureList.kif 733-733
(subclass Skull Collection) Mid-level-ontology.kif 11507-11507 Skull est une sous-classe de collection

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


(termFormat ChineseLanguage Skull "头骨") domainEnglishFormat.kif 53344-53344
(termFormat ChineseTraditionalLanguage Skull "頭骨") domainEnglishFormat.kif 53343-53343
(termFormat EnglishLanguage Skull "skull") domainEnglishFormat.kif 53342-53342

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


(=>
    (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 11526-11535
(=>
    (instance ?S Skull)
    (memberType ?S Bone))
Mid-level-ontology.kif 11510-11512

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


(=>
    (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 11514-11524


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