.jpg/180px-SaltwaterCrocodile('Maximo').jpg)
more pictures...
| Reptile(Rettile)
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 | Rettile è una sottoclasse di AnimaleASangueFreddo |
| appearance as argument number 2 |
|
|
| (subclass Alligator Reptile) | Mid-level-ontology.kif 20293-20293 | Alligator è una sottoclasse di Rettile |
| (subclass Crocodile Reptile) | Mid-level-ontology.kif 30568-30568 | Crocodile è una sottoclasse di Rettile |
| (subclass Snake Reptile) | Mid-level-ontology.kif 12589-12589 | Snake è una sottoclasse di Rettile |
| (subclass Turtle Reptile) | Economy.kif 4923-4923 | Turtle è una sottoclasse di Rettile |
| (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 | AnimaleASangueFreddo è scomposto disgiuntivamente in Anfibio, Pesce, + Rettile |
| 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 |
|
|
|