Theater is a type of Author. Author is related to Person. 
Logic is a type of Philosophy. Philosophy is related to Thought. Thought is a form of Think. 
Theater --IsA--> Author <--RelatedTo--> Person 
Logic --IsA--> Philosophy <--RelatedTo--> Thought --FormOf--> Think 