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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Reptile
Reptile(reptile)
more pictures...
African_chameleon, African_monitor, Agamidae, Alligatoridae, Amblyrhynchus, Amblyrhynchus_cristatus, American_chameleon, Amphisbaena, Amphisbaenia, Amphisbaenidae, Anapsida, Anguidae, Anguis, Anguis_fragilis, Anniellidae, Anolis, Anolis_carolinensis, Apatosaurus_excelsus, Archosauria, Basiliscus, Caiman_sclerops, Callisaurus, Callisaurus_draconoides, Carnosaura, Ceratopsia, Ceratopsidae, Chamaeleo, Chamaeleo_chamaeleon, Chamaeleo_oweni, Chamaeleonidae, Chamaeleontidae, Chelonia, Chelonidae, Cheloniidae, Chihuahuan_spotted_whiptail, Chlamydosaurus, Chlamydosaurus_kingi, Chronoperates, Chronoperates_paradoxus, Cnemidophorus, Cnemidophorus_exsanguis, Cnemidophorus_sexlineatus, Cnemidophorus_tesselatus, Cnemidophorus_tigris, Cnemidophorus_velox, Coleonyx, Cordylidae, Cordylus, Crocodilia, Crocodylia...

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 13593-13595
(externalImage Reptile "http://upload.wikimedia.org/wikipedia/commons/0/ 0f/ Badende_%C3%B8gle.jpg") pictureList.kif 4806-4806
(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 13592-13592 Reptile is a subclass of cold blooded vertebrate

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


(subclass Alligator Reptile) Mid-level-ontology.kif 18012-18012 Alligator is a subclass of reptile
(subclass Crocodile Reptile) Mid-level-ontology.kif 28689-28689 Crocodile is a subclass of reptile
(subclass Snake Reptile) Mid-level-ontology.kif 10283-10283 Snake is a subclass of reptile
(subclass Turtle Reptile) Economy.kif 4246-4246 Turtle is a subclass of reptile
(termFormat ChineseLanguage Reptile "爬虫类") chinese_format.kif 1003-1003
(termFormat EnglishLanguage Reptile "reptile") english_format.kif 1223-1223

appearance as argument number 4
-------------------------


(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) Merge.kif 13476-13476 Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile

consequent
-------------------------


(=>
    (and
        (instance ?A Animal)
        (instance ?S AnimalShell)
        (part ?S ?A))
    (or
        (instance ?A Invertebrate)
        (instance ?A Reptile)))
Mid-level-ontology.kif 9755-9762


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners