| ColdBloodedVertebrate(cold blooded vertebrate) | | cold-blooded, ectothermic, heterothermic, poikilothermic, poikilothermous |
| appearance as argument number 1 |
|
|
| (disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) | Merge.kif 14722-14722 | 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 14723-14724 | Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile |
| (subclass ColdBloodedVertebrate Vertebrate) | Merge.kif 14721-14721 | Cold blooded vertebrate is a subclass of vertebrate |
| appearance as argument number 2 |
|
|
|
|
|