Reptile more pictures... |
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 |
(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) | 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 |