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 13535-13535 disjointDecomposition ColdBloodedVertebrate, Amphibian, Fish and Reptile
(documentation ColdBloodedVertebrate ChineseLanguage "这是一种体温不由内部监管的 Vertebrate。") chinese_format.kif 3412-3412
(documentation ColdBloodedVertebrate EnglishLanguage "Vertebrates whose body temperature is not internally regulated.") Merge.kif 13536-13537
(subclass ColdBloodedVertebrate Vertebrate) Merge.kif 13534-13534 subclass ColdBloodedVertebrate and Vertebrate

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


(disjoint WarmBloodedVertebrate ColdBloodedVertebrate) Merge.kif 13540-13540 disjoint WarmBloodedVertebrate and ColdBloodedVertebrate
(subclass Amphibian ColdBloodedVertebrate) Merge.kif 13544-13544 subclass Amphibian and ColdBloodedVertebrate
(subclass Fish ColdBloodedVertebrate) Merge.kif 13554-13554 subclass Fish and ColdBloodedVertebrate
(subclass Reptile ColdBloodedVertebrate) Merge.kif 13651-13651 subclass Reptile and ColdBloodedVertebrate
(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