AnimalShell - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AnimalShell EnglishLanguage "A hard shell of calcium that serves as a supporting structure for some Invertebrates.")	Mid-level-ontology.kif 12423-12424
(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
(initialPart AnimalShell Animal)	Mid-level-ontology.kif 12425-12425
(subclass AnimalShell AnimalAnatomicalStructure)	Mid-level-ontology.kif 12421-12421
(subclass AnimalShell BodyPart)	Mid-level-ontology.kif 12422-12422

appearance as argument number 2

(termFormat ChineseLanguage AnimalShell "动物壳")	domainEnglishFormat.kif 7615-7615
(termFormat ChineseTraditionalLanguage AnimalShell "動物殼")	domainEnglishFormat.kif 7614-7614
(termFormat EnglishLanguage AnimalShell "animal shell")	domainEnglishFormat.kif 7613-7613

antecedent

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

Mid-level-ontology.kif 12427-12434

consequent

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

Geography.kif 6541-6545