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 13853-13853
(documentation ColdBloodedVertebrate ChineseLanguage "这是一种体温不由内部监管的 Vertebrate。") chinese_format.kif 3412-3412
(documentation ColdBloodedVertebrate EnglishLanguage "Vertebrates whose body temperature is not internally regulated.") Merge.kif 13854-13855
(subclass ColdBloodedVertebrate Vertebrate) Merge.kif 13852-13852

appearance as argument number 2

(disjoint WarmBloodedVertebrate ColdBloodedVertebrate) Merge.kif 13858-13858
(subclass Amphibian ColdBloodedVertebrate) Merge.kif 13862-13862
(subclass Fish ColdBloodedVertebrate) Merge.kif 13872-13872
(subclass Reptile ColdBloodedVertebrate) Merge.kif 13969-13969
(termFormat ChineseLanguage ColdBloodedVertebrate "冷血脊椎动物") chinese_format.kif 985-985
(termFormat EnglishLanguage ColdBloodedVertebrate "cold blooded vertebrate") english_format.kif 1182-1182

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