Theatre. has_type Entertainment theatre has_type Lecture theatre has_type Operating_theatre. is_type_of Room.       Vr.156, July 2011     Readme      ..