Vehicle. has_type Car. has_type Military_vehicle. has_type Truck. is_type_of Machine.       Vr.155, Dec 2010     Readme      ..