(subclass VehicleSeat Artifact) | Cars.kif 5028-5028 | VehicleSeat est une sous-classe de artefact |
(subclass AutomobileSeat VehicleSeat) | Cars.kif 5042-5042 | AutomobileSeat est une sous-classe de VehicleSeat |
(subclass BoatSeat VehicleSeat) | Cars.kif 5059-5059 | BoatSeat est une sous-classe de VehicleSeat |