Terms in hierarchy must have an is a relationship
NT is a type of BT NT is a part of BT NT is an instance of BT