| WarmBloodedVertebrate(温血脊椎動物) | |
| appearance as argument number 1 |
|
|
| (disjoint WarmBloodedVertebrate ColdBloodedVertebrate) | Merge.kif 14705-14705 | 温血脊椎動物 と 冷血脊椎動物 は disjoint では |
| (documentation WarmBloodedVertebrate ChineseLanguage "这是体温由内部监管的 Vertebrate。") | chinese_format.kif 3413-3413 | 温血脊椎動物 と 冷血脊椎動物 は disjoint では |
| (documentation WarmBloodedVertebrate EnglishLanguage "Vertebrates whose body temperature is internally regulated.") | Merge.kif 14706-14707 | 温血脊椎動物 と 冷血脊椎動物 は disjoint では |
| (subclass WarmBloodedVertebrate Vertebrate) | Merge.kif 14704-14704 | 温血脊椎動物 は 脊椎動物 の subclass では |
| appearance as argument number 2 |
|
|
|
|
|