consequent

(=>     (partialOrderingOn ?RELATION ?CLASS)     (and         (reflexiveOn ?RELATION ?CLASS)         (instance ?RELATION TransitiveRelation)         (instance ?RELATION AntisymmetricRelation)))	Merge.kif 3759-3764	If X is partial ordering on Y, then X is reflexive on Y, X is an instance of transitive relation, and X is an instance of antisymmetric relation
(=>     (equivalenceRelationOn ?RELATION ?CLASS)     (and         (instance ?RELATION TransitiveRelation)         (instance ?RELATION SymmetricRelation)         (reflexiveOn ?RELATION ?CLASS)))	Merge.kif 3819-3824	If X is an equivalence relation on Y, then X is an instance of transitive relation, X is an instance of symmetric relation, and X is reflexive on Y

Show simplified definition (without tree view)
Show simplified definition (with tree view)