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 13528-13528
(documentation WarmBloodedVertebrate ChineseLanguage "这是体温由内部监管的 Vertebrate。") chinese_format.kif 3413-3413
(documentation WarmBloodedVertebrate EnglishLanguage "Vertebrates whose body temperature is internally regulated.") Merge.kif 13529-13530
(subclass WarmBloodedVertebrate Vertebrate) Merge.kif 13527-13527

appearance as argument number 2

(subclass Bird WarmBloodedVertebrate) Merge.kif 13537-13537
(subclass Mammal WarmBloodedVertebrate) Merge.kif 13556-13556
(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