TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Reptile ChineseLanguage "这是一种体外有層鳞片或角质板的 ColdBloodedVertebrate， Reptile 用 Lung 呼吸，并通属常卵生。")	chinese_format.kif 3441-3442
(documentation Reptile EnglishLanguage "A ColdBloodedVertebrate having an external covering of scales or horny plates. Reptiles breathe by means of Lungs and generally lay eggs.")	Merge.kif 14710-14712
(externalImage Reptile "http://upload.wikimedia.org/wikipedia/commons/0/ 0f/ Badende_%C3%B8gle.jpg")	pictureList.kif 4805-4805
(externalImage Reptile "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 43/ SaltwaterCrocodile('Maximo').jpg/ 180px-SaltwaterCrocodile('Maximo').jpg")	pictureList-ImageNet.kif 27-27
(externalImage Reptile "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 55/ Agkistrodon_contortrix_phaeogaster.jpg/ 180px-Agkistrodon_contortrix_phaeogaster.jpg")	pictureList-ImageNet.kif 26-26
(externalImage Reptile "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 93/ Perentie_Lizard_Perth_Zoo_SMC_Spet_2005.jpg/ 275px-Perentie_Lizard_Perth_Zoo_SMC_Spet_2005.jpg")	pictureList-ImageNet.kif 28-28
(externalImage Reptile "http://upload.wikimedia.org/wikipedia/en/thumb/2/ 29/ Tiger_snake.jpg/ 250px-Tiger_snake.jpg")	pictureList-ImageNet.kif 29-29
(externalImage Reptile "http://upload.wikimedia.org/wikipedia/th/thumb/b/ b0/ Eunectes_notaeus.jpg/ 243px-Eunectes_notaeus.jpg")	pictureList-ImageNet.kif 30-30
(subclass Reptile ColdBloodedVertebrate)	Merge.kif 14709-14709

appearance as argument number 2

(subclass Alligator Reptile)	Mid-level-ontology.kif 20293-20293
(subclass Crocodile Reptile)	Mid-level-ontology.kif 30568-30568
(subclass Snake Reptile)	Mid-level-ontology.kif 12589-12589
(subclass Turtle Reptile)	Economy.kif 4923-4923
(termFormat ChineseLanguage Reptile "爬虫类")	chinese_format.kif 1003-1003
(termFormat EnglishLanguage Reptile "reptile")	english_format.kif 1218-1218
(termFormat FrenchLanguage Reptile "reptile")	french_format.kif 680-680
(termFormat Hindi Reptile "sarisQpa")	terms-hindi.txt 211-211
(termFormat ItalianLanguage Reptile "Rettile")	terms-it.txt 214-214
(termFormat JapaneseLanguage Reptile "爬虫類")	japanese_format.kif 2364-2364
(termFormat PortugueseLanguage Reptile "Reptil")	portuguese_format.kif 632-632
(termFormat cz Reptile "reptile")	terms-cz.txt 248-248
(termFormat ro Reptile "reptilã")	relations-ro.kif 701-701
(termFormat tg Reptile "Reptilya")	terms-tg.txt 215-215

appearance as argument number 4

Merge.kif 14593-14593

antecedent

(=>
    (and
        (instance ?R Reptile)
        (sheddingBodyPart ?R ?S))
    (instance ?S Skin))

Geography.kif 6467-6471

consequent

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

Mid-level-ontology.kif 11558-11565