∀Defense_Argument, OldCase, NewCase, applied_to(Defense_Argument, OldCase), similar_to(OldCase, NewCase) ⇒ applied_to(Defense_Argument, NewCase).
I want to represent this using Protege. Thanks in advance.
∀Defense_Argument, OldCase, NewCase, applied_to(Defense_Argument, OldCase), similar_to(OldCase, NewCase) ⇒ applied_to(Defense_Argument, NewCase).
I want to represent this using Protege. Thanks in advance.