SymmetricRelation - Sigma Knowledge base Browser

appearance as argument number 1

(subclass SymmetricRelation BinaryRelation)	Merge.kif 2370-2370
(disjoint SymmetricRelation AntisymmetricRelation)	Merge.kif 2371-2371
(documentation SymmetricRelation EnglishLanguage "A BinaryRelation ?REL is symmetric just iff (?REL ?INST1 ?INST2) imples (?REL ?INST2 ?INST1), for all ?INST1 and ?INST2.")	Merge.kif 2373-2375

appearance as argument number 2

(instance inverse SymmetricRelation)	Merge.kif 109-109
(instance disjoint SymmetricRelation)	Merge.kif 386-386
(subclass EquivalenceRelation SymmetricRelation)	Merge.kif 2503-2503
(instance independentProbability SymmetricRelation)	Merge.kif 2741-2741
(instance relatedEvent SymmetricRelation)	Merge.kif 3873-3873
(instance overlapsSpatially SymmetricRelation)	Merge.kif 4141-4141
(instance overlapsTemporally SymmetricRelation)	Merge.kif 8428-8428
(instance connected SymmetricRelation)	Merge.kif 9727-9727
(instance meetsSpatially SymmetricRelation)	Merge.kif 9797-9797
(instance overlapsPartially SymmetricRelation)	Merge.kif 9835-9835
(instance connectedEngineeringComponents SymmetricRelation)	Merge.kif 16449-16449
(instance sibling SymmetricRelation)	Merge.kif 16822-16822
(instance legalRelation SymmetricRelation)	Merge.kif 16877-16877
(instance mutualAcquaintance SymmetricRelation)	Merge.kif 16904-16904
(instance spouse SymmetricRelation)	Merge.kif 16919-16919
(instance consistent SymmetricRelation)	Merge.kif 17257-17257
(instance conjugate SymmetricRelation)	Mid-level-ontology.kif 7580-7580
(instance neighbor SymmetricRelation)	Mid-level-ontology.kif 7751-7751
(instance oppositeDirection SymmetricRelation)	Mid-level-ontology.kif 20058-20058
(instance friend SymmetricRelation)	Mid-level-ontology.kif 25260-25260
(instance coworker SymmetricRelation)	Mid-level-ontology.kif 25272-25272
(instance cohabitant SymmetricRelation)	Mid-level-ontology.kif 25295-25295
(instance mutualStranger SymmetricRelation)	Mid-level-ontology.kif 25664-25664
(instance domesticPartner SymmetricRelation)	Mid-level-ontology.kif 25679-25679
(instance facebookFriend SymmetricRelation)	Facebook.kif 353-353

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=>
    (instance ?REL SymmetricRelation)
    (forall (?INST1 ?INST2)
        (=>
            (?REL ?INST1 ?INST2)
            (?REL ?INST2 ?INST1))))

Merge.kif 2377-2382

consequent

(=>
    (equivalenceRelationOn ?RELATION ?CLASS)
    (and
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION SymmetricRelation)
        (reflexiveOn ?RELATION ?CLASS)))

Merge.kif 3819-3824

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners