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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ColdBloodedVertebrate

appearance as argument number 1

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

appearance as argument number 2

(disjoint WarmBloodedVertebrate ColdBloodedVertebrate) Merge.kif 14522-14522
(subclass Amphibian ColdBloodedVertebrate) Merge.kif 14526-14526
(subclass Fish ColdBloodedVertebrate) Merge.kif 14536-14536
(subclass Reptile ColdBloodedVertebrate) Merge.kif 14633-14633
(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