| ColdBloodedVertebrate(cold blooded vertebrate) | | cold-blooded, ectothermic, heterothermic, poikilothermic, poikilothermous |
| appearance as argument number 1 |
|
|
| (disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) | Merge.kif 14621-14621 | Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile |
| (documentation ColdBloodedVertebrate ChineseLanguage "这是一种体温不由内部监管的 Vertebrate。") | chinese_format.kif 3412-3412 | Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile |
| (documentation ColdBloodedVertebrate EnglishLanguage "Vertebrates whose body temperature is not internally regulated.") | Merge.kif 14622-14623 | Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile |
| (subclass ColdBloodedVertebrate Vertebrate) | Merge.kif 14620-14620 | Cold blooded vertebrate is a subclass of vertebrate |
| appearance as argument number 2 |
|
|
|
|
|