Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - SymmetricRelation
SymmetricRelation(symmetric relation)contrarily, contrariwise, on_the_contrary, the_other_way_around, to_the_contrary, vice_versa

appearance as argument number 1
-------------------------


(subclass SymmetricRelation BinaryRelation) Merge.kif 2370-2370 Symmetric relation is a subclass of binary relation
(disjoint SymmetricRelation AntisymmetricRelation) Merge.kif 2371-2371 Symmetric relation is disjoint from antisymmetric relation
(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 Symmetric relation is disjoint from antisymmetric relation

appearance as argument number 2
-------------------------


(instance inverse SymmetricRelation) Merge.kif 109-109 inverse is an instance of symmetric relation
(instance disjoint SymmetricRelation) Merge.kif 386-386 disjoint is an instance of symmetric relation
(subclass EquivalenceRelation SymmetricRelation) Merge.kif 2503-2503 Equivalence relation is a subclass of symmetric relation
(instance independentProbability SymmetricRelation) Merge.kif 2741-2741 independent probability is an instance of symmetric relation
(instance relatedEvent SymmetricRelation) Merge.kif 3873-3873 related event is an instance of symmetric relation
(instance overlapsSpatially SymmetricRelation) Merge.kif 4141-4141 overlap spatially is an instance of symmetric relation
(instance overlapsTemporally SymmetricRelation) Merge.kif 8428-8428 overlap temporally is an instance of symmetric relation
(instance connected SymmetricRelation) Merge.kif 9727-9727 connected is an instance of symmetric relation
(instance meetsSpatially SymmetricRelation) Merge.kif 9797-9797 meets spatially is an instance of symmetric relation
(instance overlapsPartially SymmetricRelation) Merge.kif 9835-9835 overlap partially is an instance of symmetric relation
(instance connectedEngineeringComponents SymmetricRelation) Merge.kif 16449-16449 connected engineering components is an instance of symmetric relation
(instance sibling SymmetricRelation) Merge.kif 16822-16822 sibling is an instance of symmetric relation
(instance legalRelation SymmetricRelation) Merge.kif 16877-16877 legal relation is an instance of symmetric relation
(instance mutualAcquaintance SymmetricRelation) Merge.kif 16904-16904 mutual acquaintance is an instance of symmetric relation
(instance spouse SymmetricRelation) Merge.kif 16919-16919 spouse is an instance of symmetric relation
(instance consistent SymmetricRelation) Merge.kif 17257-17257 consistent is an instance of symmetric relation
(instance conjugate SymmetricRelation) Mid-level-ontology.kif 7580-7580 conjugate is an instance of symmetric relation
(instance neighbor SymmetricRelation) Mid-level-ontology.kif 7751-7751 neighbor is an instance of symmetric relation
(instance oppositeDirection SymmetricRelation) Mid-level-ontology.kif 20058-20058 opposite direction is an instance of symmetric relation
(instance friend SymmetricRelation) Mid-level-ontology.kif 25260-25260 friend is an instance of symmetric relation
(instance coworker SymmetricRelation) Mid-level-ontology.kif 25272-25272 coworker is an instance of symmetric relation
(instance cohabitant SymmetricRelation) Mid-level-ontology.kif 25295-25295 cohabitant is an instance of symmetric relation
(instance mutualStranger SymmetricRelation) Mid-level-ontology.kif 25664-25664 mutual stranger is an instance of symmetric relation
(instance domesticPartner SymmetricRelation) Mid-level-ontology.kif 25679-25679 domestic partner is an instance of symmetric relation
(instance facebookFriend SymmetricRelation) Facebook.kif 353-353 Facebook friend is an instance of symmetric relation

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 If X is an instance of symmetric relation, then For all Entities Y and Z: if X Y and Z, then X Z and Y

consequent
-------------------------


(=>
    (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 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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners