TreeView Knowledge Base Browser

appearance as argument number 1

(subclass AnimalShell AnimalAnatomicalStructure)	Mid-level-ontology.kif 13025-13025	Animal shell is a subclass of animal anatomical structure
(subclass AnimalShell BodyPart)	Mid-level-ontology.kif 13026-13026	Animal shell is a subclass of body part
(documentation AnimalShell EnglishLanguage "A hard shell of calcium that serves as a supporting structure for some Invertebrates.")	Mid-level-ontology.kif 13027-13028	Animal shell is a subclass of body part
(initialPart AnimalShell Animal)	Mid-level-ontology.kif 13029-13029	Every animal shell is initially part of a animal
(externalImage AnimalShell "http://upload.wikimedia.org/wikipedia/commons/ thumb/ e/ ed/ Shells_of_marine_Mollusc1.jpg/ 300px_Shells_of_marine_Mollusc1.jpg")	pictureList.kif 1030-1030	Every animal shell is initially part of a animal

appearance as argument number 2

(termFormat EnglishLanguage AnimalShell "animal shell")	domainEnglishFormat.kif 7601-7601
(termFormat ChineseTraditionalLanguage AnimalShell "動物殼")	domainEnglishFormat.kif 7602-7602
(termFormat ChineseLanguage AnimalShell "动物壳")	domainEnglishFormat.kif 7603-7603

antecedent

(=>
    (and
        (instance ?A Animal)
        (instance ?S AnimalShell)
        (part ?S ?A))
    (or
        (instance ?A Invertebrate)
        (instance ?A Reptile)))

consequent

(=>
    (and
        (instance ?C Crustacean)
        (sheddingBodyPart ?C ?S))
    (instance ?S AnimalShell))

If X is an instance of crustacean and X is Removing Y from its body, then Y is an instance of animal shell