**Defined in theory: Frame-ontology****Source code: frame-ontology.lisp**

**Documentation:**A relation R is an total-order if it is partial-order for which either R(x,y) or R(y,x) for every x or y in its exact-domain.

**Subclass-Of:**Partial-order-relation

(<=> (Total-Order-Relation ?R) (And (Partial-Order-Relation ?R) (=> (And (Instance-Of ?X (Exact-Domain ?R)) (Instance-Of ?Y (Exact-Domain ?R))) (Or (Holds ?R ?X ?Y) (Holds ?R ?Y ?X)))))