(subclass Snake Reptile) | Mid-level-ontology.kif 12562-12562 | Snake is a subclass of reptile |
(subclass Rattlesnake Snake) | Mid-level-ontology.kif 12572-12572 | Rattlesnake is a subclass of snake |
(subclass ConstrictorSnake Snake) | Mid-level-ontology.kif 12577-12577 | Constrictor snake is a subclass of snake |