(subclass RecreationalVehicle Vehicle) | Mid-level-ontology.kif 25763-25763 | RecreationalVehicle は Vehicle の subclass では %n |
(subclass RecreationalVehicle MobileResidence) | Mid-level-ontology.kif 25764-25764 | RecreationalVehicle は MobileResidence の subclass では %n |