symmetric relation (SymmetricRelation)
A BinaryRelation rel is
symmetric just in case (rel inst1 inst2) imples (rel
inst2 inst1), for all inst1 and inst2.
SUMO / BASE-ONTOLOGY
connected engineering components
Related WordNet synsets
See more related synsets on a separate page.
(instance ?REL SymmetricRelation)
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST1))))
If relation is equivalence relation on class, then relation is an instance of transitive relation and relation is an instance of symmetric relation and relation is reflexive on class.
(equivalenceRelationOn ?RELATION ?CLASS)
(instance ?RELATION TransitiveRelation)
(instance ?RELATION SymmetricRelation)
(reflexiveOn ?RELATION ?CLASS)))