Theatre. has_type Entertainment theatre has_type Lecture theatre has_type Operating_theatre. is_type_of Room.       Vr.155, Dec 2010     Readme      ..