| 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 |
|
|
|