.jpg/180px_SaltwaterCrocodile('Maximo').jpg)
more pictures...
| 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 14802-14804 | |
| (externalImage Reptile "http://upload.wikimedia.org/wikipedia/commons/0/ 0f/ Badende_%C3%B8gle.jpg") | pictureList.kif 4804-4804 | |
| (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 14801-14801 | 爬虫類 は 冷血脊椎動物 の subclass では |
| appearance as argument number 2 |
|
|
| (subclass Alligator Reptile) | Mid-level-ontology.kif 21883-21883 | Alligator は 爬虫類 の subclass では |
| (subclass Crocodile Reptile) | Mid-level-ontology.kif 32480-32480 | Crocodile は 爬虫類 の subclass では |
| (subclass Snake Reptile) | Mid-level-ontology.kif 13893-13893 | Snake は 爬虫類 の subclass では |
| (subclass Turtle Reptile) | Economy.kif 5263-5263 | Turtle は 爬虫類 の subclass では |
| (termFormat ChineseLanguage Reptile "爬虫类") | chinese_format.kif 1003-1003 | Turtle は 爬虫類 の subclass では |
| (termFormat EnglishLanguage Reptile "reptile") | english_format.kif 1218-1218 | Turtle は 爬虫類 の subclass では |
| (termFormat FrenchLanguage Reptile "reptile") | french_format.kif 680-680 | Turtle は 爬虫類 の subclass では |
| (termFormat Hindi Reptile "sarisQpa") | terms-hindi.txt 211-211 | Turtle は 爬虫類 の subclass では |
| (termFormat ItalianLanguage Reptile "Rettile") | terms-it.txt 214-214 | Turtle は 爬虫類 の subclass では |
| (termFormat JapaneseLanguage Reptile "爬虫類") | japanese_format.kif 2364-2364 | Turtle は 爬虫類 の subclass では |
| (termFormat PortugueseLanguage Reptile "Reptil") | portuguese_format.kif 632-632 | Turtle は 爬虫類 の subclass では |
| (termFormat cz Reptile "reptile") | terms-cz.txt 248-248 | Turtle は 爬虫類 の subclass では |
| (termFormat de Reptile "Reptil") | terms-de.txt 507-507 | Turtle は 爬虫類 の subclass では |
| (termFormat ro Reptile "reptilã") | relations-ro.kif 701-701 | Turtle は 爬虫類 の subclass では |
| (termFormat tg Reptile "Reptilya") | terms-tg.txt 215-215 | Turtle は 爬虫類 の subclass では |
| appearance as argument number 4 |
|
|
| (disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) | Merge.kif 14685-14685 | 冷血脊椎動物 は amphibian, 魚, + 爬虫類 に disjointly decomposed |
| antecedent |
|
|
| (=> (and (instance ?R Reptile) (sheddingBodyPart ?R ?S)) (instance ?S Skin)) |
Geography.kif 6600-6604 |
| consequent |
|
|
| (=> (and (instance ?A Animal) (instance ?S AnimalShell) (part ?S ?A)) (or (instance ?A Invertebrate) (instance ?A Reptile))) |
Mid-level-ontology.kif 12862-12869 |
|
|
|