More designations?

• Usually you end up having more terms you need to define

• Should you designate them?

  • x is the genetic brother of y Brother(x,y)

• An alternative is to define them in terms of existing designations

  • Brother(x,y) @ Male(x) Ù $ f · (Father(f,x) Ù Father(f,y) Ù $ m · (Mother(m,x) Ù Mother(m,y)) Ù x ¹ y

Previous slide

Next slide

Back to first slide

View graphic version