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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Amphibian
Amphibian(amphibian)Acris, Acris_crepitans, Acris_gryllus, African_clawed_frog, Alytes, Alytes_obstetricans, Ambystoma, Ambystoma_maculatum, Ambystoma_mexicanum, Ambystoma_talpoideum, Ambystoma_tigrinum, Ambystomatidae, American_green_toad, American_toad, Amphiumidae, Aneides, Aneides_lugubris, Anura, Ascaphidae, Ascaphus, Ascaphus_trui, Batrachia, Batrachoseps, Bombina, Bombina_bombina, Brevicipitidae, Bufo_americanus, Bufo_boreas, Bufo_bufo, Bufo_calamita, Bufo_canorus, Bufo_debilis, Bufo_marinus, Bufo_microscaphus, Bufo_speciosus, Bufo_viridis, Bufonidae, Caeciliadae, Caeciliidae, California_newt, Caudata, Cryptobranchidae, Cryptobranchus, Cryptobranchus_alleganiensis, Desmograthus, Dicamptodon_ensatus, Dicamptodontidae, Discoglossidae, Eleutherodactylus, Eurasian_green_toad...

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


(documentation Amphibian ChineseLanguage "这是一种冷血、表皮光滑的 Vertebrate，它们用腮呼吸，并且 典型的孵化水生幼虫，成年的 Amphibian 用 Lung 呼吸。") chinese_format.kif 3414-3415
(documentation Amphibian EnglishLanguage "A cold_blooded, smooth_skinned Vertebrate which characteristically hatches as an aquatic larva, breathing by gills. When mature, the Amphibian breathes with Lungs.") Merge.kif 14631-14633
(subclass Amphibian ColdBloodedVertebrate) Merge.kif 14630-14630 Amphibian is a subclass of cold blooded vertebrate

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


(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) Merge.kif 14621-14621 Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile
(subclass Toad Amphibian) Mid-level-ontology.kif 13389-13389 Toad is a subclass of amphibian
(termFormat ChineseLanguage Amphibian "两栖动物") chinese_format.kif 987-987 Toad is a subclass of amphibian
(termFormat EnglishLanguage Amphibian "amphibian") english_format.kif 1181-1181 Toad is a subclass of amphibian
(termFormat FrenchLanguage Amphibian "amphibien") french_format.kif 664-664 Toad is a subclass of amphibian
(termFormat Hindi Amphibian "ubhayachara") terms-hindi.txt 195-195 Toad is a subclass of amphibian
(termFormat ItalianLanguage Amphibian "Anfibio") terms-it.txt 198-198 Toad is a subclass of amphibian
(termFormat JapaneseLanguage Amphibian "amphibian") japanese_format.kif 2348-2348 Toad is a subclass of amphibian
(termFormat PortugueseLanguage Amphibian "Anfibio") portuguese_format.kif 616-616 Toad is a subclass of amphibian
(termFormat cb Amphibian "tigpuyo sa yuta'g tubig") terms-cb.txt 200-200 Toad is a subclass of amphibian
(termFormat cz Amphibian "amphibian") terms-cz.txt 232-232 Toad is a subclass of amphibian
(termFormat de Amphibian "Amphibie") terms-de.txt 491-491 Toad is a subclass of amphibian
(termFormat ro Amphibian "amfibian") relations-ro.kif 685-685 Toad is a subclass of amphibian
(termFormat tg Amphibian "hayop sa tubig at lupa") terms-tg.txt 199-199 Toad is a subclass of amphibian

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


(=>
    (secretesToxin ?FROG Batrachotoxin)
    (subclass ?FROG Amphibian))		 WMD.kif 313-315


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 3.0 is open source software produced by Articulate Software and its partners