0

∀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.

Debashisenator
  • 1,621
  • 4
  • 17
  • 16

0 Answers0