Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Reptile

Sigma KEE - Reptile
Reptile(reptile)
more pictures...

appearance as argument number 1
-------------------------


(documentation Reptile ChineseLanguage "这是一种体外有層鳞片或角质板的 ColdBloodedVertebrateReptileLung 呼吸,并通属常卵生。") 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 14664-14666
(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 14663-14663 Reptile est une sous-classe de vert�br� � sang froid

appearance as argument number 2
-------------------------


(subclass Alligator Reptile) Mid-level-ontology.kif 20266-20266 Alligator est une sous-classe de reptile
(subclass Crocodile Reptile) Mid-level-ontology.kif 30544-30544 Crocodile est une sous-classe de reptile
(subclass Snake Reptile) Mid-level-ontology.kif 12562-12562 Snake est une sous-classe de reptile
(subclass Turtle Reptile) Economy.kif 4923-4923 Turtle est une sous-classe de reptile
(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 14547-14547 Vert�br� � sang froid est disjointement decompos� en amphibien, poisson, + reptile

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 11531-11538


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners