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 12377-12377
(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 12376-12376	Skull is a subclass of collection

appearance as argument number 2

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

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 12395-12404	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 12379-12381	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 12383-12393