Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1Re2In3Ra4Ra5In6Re7ReFn

 Sigma KEE - Skull
Skull(skull)
skull

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


(subclass Skull CollectionOfObjects) Mid-level-ontology.kif 12980-12980 Skull is a subclass of collection
(documentation Skull EnglishLanguage "The CollectionOfObjects of Bones that are found in the Heads of Vertebrates.") Mid-level-ontology.kif 12981-12981 Skull is a subclass of collection
(externalImage Skull "http://articulatesoftware.com/SUMOpictures/signs_symbol/ assorted/ assorted_3/ skull_6.png") pictureList.kif 733-733 Skull is a subclass of collection

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


(termFormat EnglishLanguage Skull "skull") domainEnglishFormat.kif 53337-53337
(termFormat ChineseTraditionalLanguage Skull "頭骨") domainEnglishFormat.kif 53338-53338
(termFormat ChineseLanguage Skull "头骨") domainEnglishFormat.kif 53339-53339

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


(=>
    (instance ?S Skull)
    (memberType ?S Bone))		 Mid-level-ontology.kif 12983-12985 If X is an instance of skull, then bone is a member type of X
(=>
    (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 12999-13008 If All of the following hold: (1) X is an instance of vertebrate (2) Y is an instance of head (3) Y is a part of X (4) Z is an instance of skull (5) healthy is an attribute of X (6) W is a member of Z (7) W is a part of X, then W is a part of Y

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 12987-12997 If X is an instance of vertebrate, Y is an instance of head, Y is a part of X, and healthy is an attribute of X, then there exist Z, W such that Z is an instance of skull, W is a member of Z, and W is a part of Y
(=>
    (instance ?E Eyesocket)
    (exists (?S)
        (and
            (instance ?S Skull)
            (equal ?S
                (HoleHostFn ?E)))))		 Mid-level-ontology.kif 13701-13707 If X is an instance of eye socket, then there exists Y such that Y is an instance of skull, equal Y, and the host of the hole X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners