| (subclass RoadVehicle LandVehicle) | Mid-level-ontology.kif 3508-3508 | RoadVehicle は LandVehicle の subclass では %n |
| (subclass SelfPoweredRoadVehicle RoadVehicle) | Transportation.kif 1803-1803 | SelfPoweredRoadVehicle は RoadVehicle の subclass では %n |
| (subclass Trailer RoadVehicle) | Transportation.kif 1820-1820 | Trailer は RoadVehicle の subclass では %n |
| (subclass TractorTrailer RoadVehicle) | Transportation.kif 1827-1827 | TractorTrailer は RoadVehicle の subclass では %n |
| (subclass MotorScooter RoadVehicle) | Transportation.kif 1885-1885 | MotorScooter は RoadVehicle の subclass では %n |
| (subclass EmergencyRoadVehicle RoadVehicle) | Transportation.kif 1892-1892 | EmergencyRoadVehicle は RoadVehicle の subclass では %n |
| (subclass MilitaryTank RoadVehicle) | Military.kif 146-146 | MilitaryTank は RoadVehicle の subclass では %n |
|
|