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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ColdBloodedVertebrate
ColdBloodedVertebrate

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


(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) Merge.kif 14593-14593
(documentation ColdBloodedVertebrate ChineseLanguage "这是一种体温不由内部监管的 Vertebrate。") chinese_format.kif 3412-3412
(documentation ColdBloodedVertebrate EnglishLanguage "Vertebrates whose body temperature is not internally regulated.") Merge.kif 14594-14595
(subclass ColdBloodedVertebrate Vertebrate) Merge.kif 14592-14592

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


(disjoint WarmBloodedVertebrate ColdBloodedVertebrate) Merge.kif 14598-14598
(subclass Amphibian ColdBloodedVertebrate) Merge.kif 14602-14602
(subclass Fish ColdBloodedVertebrate) Merge.kif 14612-14612
(subclass Reptile ColdBloodedVertebrate) Merge.kif 14709-14709
(termFormat ChineseLanguage ColdBloodedVertebrate "冷血脊椎动物") chinese_format.kif 985-985
(termFormat EnglishLanguage ColdBloodedVertebrate "cold blooded vertebrate") english_format.kif 1177-1177
(termFormat FrenchLanguage ColdBloodedVertebrate "vert�br� � sang froid") french_format.kif 662-662
(termFormat Hindi ColdBloodedVertebrate "asamataapI kasherukI") terms-hindi.txt 193-193
(termFormat ItalianLanguage ColdBloodedVertebrate "AnimaleASangueFreddo") terms-it.txt 196-196
(termFormat JapaneseLanguage ColdBloodedVertebrate "冷血脊椎動物") japanese_format.kif 2346-2346
(termFormat PortugueseLanguage ColdBloodedVertebrate "Vertebrado de Sangue Frio") portuguese_format.kif 614-614
(termFormat cz ColdBloodedVertebrate "cold blooded vertebrate") terms-cz.txt 230-230
(termFormat ro ColdBloodedVertebrate "vertebratã cu sânge rece") relations-ro.kif 683-683
(termFormat tg ColdBloodedVertebrate "") terms-tg.txt 197-197


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