TreeView 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 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	子類頭骨 and 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	例 Object and Vertebrate 例 Object and 頭部分 Object and Object 例 Collection and 頭骨 attribute Object and Healthy 會員 Object and Collection 部分 Object and Object 部分 Object and Object
(=> (instance ?S Skull) (memberType ?S Bone))	Mid-level-ontology.kif 11510-11512	例 Collection and 頭骨 Bone 是 Collection 的 member 類別

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