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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - WarmBloodedVertebrate

appearance as argument number 1

(disjoint WarmBloodedVertebrate ColdBloodedVertebrate) Merge.kif 13543-13543 disjoint WarmBloodedVertebrate and ColdBloodedVertebrate
(documentation WarmBloodedVertebrate ChineseLanguage "这是体温由内部监管的 Vertebrate。") chinese_format.kif 3413-3413
(documentation WarmBloodedVertebrate EnglishLanguage "Vertebrates whose body temperature is internally regulated.") Merge.kif 13544-13545
(subclass WarmBloodedVertebrate Vertebrate) Merge.kif 13542-13542 subclass WarmBloodedVertebrate and Vertebrate

appearance as argument number 2

(subclass Bird WarmBloodedVertebrate) Merge.kif 13552-13552 subclass Bird and WarmBloodedVertebrate
(subclass Mammal WarmBloodedVertebrate) Merge.kif 13571-13571 subclass Mammal and WarmBloodedVertebrate
(termFormat ChineseLanguage WarmBloodedVertebrate "温血脊椎动物") chinese_format.kif 986-986
(termFormat EnglishLanguage WarmBloodedVertebrate "warm blooded vertebrate") english_format.kif 1184-1184

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