"S9"(_,_) - Owns

Related Documents
  • D2: Jack owns a dog.
Related Theorems
Theorem T2 by David
Equivalence Assertions
(none)
Related Subjects
  • S4: “Dog”
  • S5: “Cat”
  • S6: “Animal”
  • S7: “AnimalLover”
  • S8: “Kills”
  • S9: “Owns”
  • S10: “Jack”
  • S11: “Tuna”
  • S12: “Curiosity”
Favorite Subjects
(none)
Subject Descriptions
A18: OwnsS9

Add a Description to S9

Add Description

proposed subject text:
    Related Assertions

    0 Comments on S9

    No comments yet.

    add a comment