Vehicle. has_type Car. has_type Military_vehicle. has_type Truck. is_type_of Machine.       Vr.156, July 2011     Readme      ..