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


KB Term:  Term intersection
English Word: 

  Amphibian

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


(subclass Amphibian ColdBloodedVertebrate) Merge.kif 14868-14868 Amphibian is a subclass of cold blooded vertebrate
(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 14869-14871 Amphibian is a subclass of cold blooded vertebrate

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


(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) Merge.kif 14859-14859 Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile
(subclass Toad Amphibian) Mid-level-ontology.kif 14108-14108 Toad is a subclass of amphibian
(termFormat EnglishLanguage Amphibian "amphibian") english_format.kif 1185-1185 Toad is a subclass of amphibian

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


(=>
    (secretesToxin ?FROG Batrachotoxin)
    (subclass ?FROG Amphibian))		 WMD.kif 308-310 If batrachotoxin is a secretes toxin of X, then X is a subclass of amphibian


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners