Skull - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Skull EnglishLanguage "The Collection of Bones that are found in the Heads of Vertebrates.")	Mid-level-ontology.kif 11699-11699
(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 11698-11698	Skull is a subclass of collection

appearance as argument number 2

(termFormat ChineseLanguage Skull "头骨")	domainEnglishFormat.kif 53377-53377
(termFormat ChineseTraditionalLanguage Skull "頭骨")	domainEnglishFormat.kif 53376-53376
(termFormat EnglishLanguage Skull "skull")	domainEnglishFormat.kif 53375-53375

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 11717-11726	If an object is an instance of vertebrate and another object is an instance of head and the other object is a part of the object and a collection is an instance of skull and healthy is an attribute of the object and a third object is a member of the collection and the third object is a part of the object, then the third object is a part of the other object
(=> (instance ?S Skull) (memberType ?S Bone))	Mid-level-ontology.kif 11701-11703	If a collection is an instance of skull, then bone is a member type of the collection

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 11705-11715