(subclass ColdBloodedVertebrate Vertebrate) | Merge.kif 14546-14546 | |
(subclass Amphibian ColdBloodedVertebrate) | Merge.kif 14556-14556 | |
(subclass Fish ColdBloodedVertebrate) | Merge.kif 14566-14566 | |
(subclass Reptile ColdBloodedVertebrate) | Merge.kif 14663-14663 |