(subclass VehicleSeat Artifact) | Cars.kif 5028-5028 | Vehicle seat is a subclass of artifact |
(subclass AutomobileSeat VehicleSeat) | Cars.kif 5042-5042 | Auto seat is a subclass of vehicle seat |
(subclass BoatSeat VehicleSeat) | Cars.kif 5059-5059 | Boat seat is a subclass of vehicle seat |