InverseObjectProperties axioms - imports included
Axioms
(23)- remoteParticipant inverse remotelyParticipatedIn Star Wars properties
- during inverse included Star Wars properties
- hadChild inverse hadParent Star Wars properties
- owned inverse ownedBy Star Wars properties
- ordered inverse orderedBy Star Wars properties
- locatedIn inverse locationOf Star Wars properties
- raised inverse raisedBy Star Wars properties
- hadMember inverse memberOf Star Wars properties
- sometimeAfter inverse sometimeBefore Star Wars properties
- of inverse subjectOf Star Wars properties
- after inverse before Star Wars properties
- trained inverse trainedBy Star Wars properties
- participant inverse participatedIn Star Wars properties
- victorIn inverse victoryOf Star Wars properties
- hasPart inverse partOf Star Wars properties
- defeatOf inverse defeatedDuring Star Wars properties
- survivedBy inverse survivorOf Star Wars properties
- witnessOf inverse witnessedBy Star Wars properties
- led inverse ledBy Star Wars properties
- assistedBy inverse assistedDuring Star Wars properties
- created inverse createdBy Star Wars properties
- activated inverse deactivated Star Wars properties
- includedTransitively inverse sometimeDuring Star Wars properties