(subclass Vertebrate Animal) | Merge.kif 14500-14500 | Vertebrate is a subclass of animal |
(subclass ColdBloodedVertebrate Vertebrate) | Merge.kif 14546-14546 | Cold blooded vertebrate is a subclass of vertebrate |
(subclass WarmBloodedVertebrate Vertebrate) | Merge.kif 14551-14551 | Warm blooded vertebrate is a subclass of vertebrate |