(subclass Snake Reptile) | Mid-level-ontology.kif 12561-12561 | Snake is a subclass of reptile |
(subclass Rattlesnake Snake) | Mid-level-ontology.kif 12571-12571 | Rattlesnake is a subclass of snake |
(subclass ConstrictorSnake Snake) | Mid-level-ontology.kif 12576-12576 | Constrictor snake is a subclass of snake |