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

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


(disjoint WarmBloodedVertebrate ColdBloodedVertebrate) Merge.kif 13528-13528
(subclass Amphibian ColdBloodedVertebrate) Merge.kif 13532-13532
(subclass Fish ColdBloodedVertebrate) Merge.kif 13542-13542
(subclass Reptile ColdBloodedVertebrate) Merge.kif 13639-13639
(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