Class PARTIAL-ORDER-RELATION

A relation is an partial-order if it is reflexive, asymmetric, and transitive.

Subclass-Of: Asymmetric-relation, Reflexive-relation, Transitive-relation

Axioms:

(<=> (Partial-Order-Relation ?R)
     (And (Reflexive-Relation ?R)
          (Asymmetric-Relation ?R)
          (Transitive-Relation ?R)))

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