Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  ]  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
-------------------------


(subclass Amphibian ColdBloodedVertebrate) Merge.kif 14731-14731 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 14732-14734 Amphibian is a subclass of cold blooded vertebrate

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


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

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


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


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