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


KB Term:  Term intersection
English Word: 

Sigma KEE - ColdBloodedVertebrate
ColdBloodedVertebrate(cold blooded vertebrate)cold-blooded, ectothermic, heterothermic, poikilothermic, poikilothermous

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


(subclass ColdBloodedVertebrate Vertebrate) Merge.kif 14858-14858 Cold blooded vertebrate is a subclass of vertebrate
(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) Merge.kif 14859-14859 Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile
(documentation ColdBloodedVertebrate EnglishLanguage "Vertebrates whose body temperature is not internally regulated.") Merge.kif 14860-14861 Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile

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


(disjoint WarmBloodedVertebrate ColdBloodedVertebrate) Merge.kif 14864-14864 Warm blooded vertebrate is disjoint from cold blooded vertebrate
(subclass Amphibian ColdBloodedVertebrate) Merge.kif 14868-14868 Amphibian is a subclass of cold blooded vertebrate
(subclass Fish ColdBloodedVertebrate) Merge.kif 14878-14878 Fish is a subclass of cold blooded vertebrate
(subclass Reptile ColdBloodedVertebrate) Merge.kif 14975-14975 Reptile is a subclass of cold blooded vertebrate
(termFormat EnglishLanguage ColdBloodedVertebrate "cold blooded vertebrate") english_format.kif 1181-1181 Reptile is a subclass of cold blooded vertebrate


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