Here is a diagram similar to Cory’s which is intended to describe the pattern of marriage. A marriage has a single male and female as components which are in a spousal relatinship.

What other graphical conventions are needed to make this pattern precise and how could they be expressed?

How could the pattern be expressed as an axiom set in FOL or OWL or your favoriate logic?

If the diagram is translated as axioms in some logic one wants to guarantee that the structures which conform to the pattern are isomorphic, in this case have three individuals with the particular relationships. One wants to preclude that a husband in one marriage is not a husband in another marriage.

Needless to say one wants a solution which works for much more complex examples.

Henson