(subclass ColdBloodedVertebrate Vertebrate) | Merge.kif 14568-14568 | |
(subclass Amphibian ColdBloodedVertebrate) | Merge.kif 14578-14578 | |
(subclass Fish ColdBloodedVertebrate) | Merge.kif 14588-14588 | |
(subclass Reptile ColdBloodedVertebrate) | Merge.kif 14685-14685 |