Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SymmetricRelation

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
-------------------------


(disjoint SymmetricRelation AntisymmetricRelation) Merge.kif 2168-2168 Symmetric relation is disjoint from antisymmetric relation
(documentation SymmetricRelation ChineseLanguage "一个 BinaryRelation ?REL 属于对称关系只是 当且仅当所有的 ?INST1 和 ?INST2 是 (?REL ?INST1 ?INST2) 意味着 (?REL ?INST2 ?INST1)。") chinese_format.kif 1837-1838
(documentation SymmetricRelation EnglishLanguage "A BinaryRelation ?REL is symmetric just iff (?REL ?INST1 ?INST2) imples (?REL ?INST2 ?INST1), for all ?INST1 and ?INST2.") Merge.kif 2170-2172
(subclass SymmetricRelation BinaryRelation) Merge.kif 2167-2167 Symmetric relation is a subclass of binary relation

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


(instance cohabitant SymmetricRelation) Mid-level-ontology.kif 20927-20927 cohabitant is an instance of symmetric relation
(instance conjugate SymmetricRelation) Mid-level-ontology.kif 6186-6186 conjugate is an instance of symmetric relation
(instance connected SymmetricRelation) Merge.kif 8921-8921 connected is an instance of symmetric relation
(instance connectedEngineeringComponents SymmetricRelation) Merge.kif 14910-14910 connected engineering components is an instance of symmetric relation
(instance consistent SymmetricRelation) Merge.kif 15707-15707 consistent is an instance of symmetric relation
(instance coworker SymmetricRelation) Mid-level-ontology.kif 20905-20905 coworker is an instance of symmetric relation
(instance diplomaticRelations SymmetricRelation) Government.kif 4474-4474 diplomatic relations is an instance of symmetric relation
(instance disjoint SymmetricRelation) Merge.kif 393-393 disjoint is an instance of symmetric relation
(instance domesticPartner SymmetricRelation) Mid-level-ontology.kif 21335-21335 domestic partner is an instance of symmetric relation
(instance enemy SymmetricRelation) MilitaryProcesses.kif 2430-2430 enemy is an instance of symmetric relation
(instance friend SymmetricRelation) Mid-level-ontology.kif 20892-20892 friend is an instance of symmetric relation
(instance independentProbability SymmetricRelation) Merge.kif 2533-2533 independent probability is an instance of symmetric relation
(instance inverse SymmetricRelation) Merge.kif 108-108 inverse is an instance of symmetric relation
(instance legalRelation SymmetricRelation) Merge.kif 15330-15330 legal relation is an instance of symmetric relation
(instance meetsSpatially SymmetricRelation) Merge.kif 8974-8974 meets spatially is an instance of symmetric relation
(instance mutualAcquaintance SymmetricRelation) Merge.kif 15357-15357 mutual acquaintance is an instance of symmetric relation
(instance mutualStranger SymmetricRelation) Mid-level-ontology.kif 21320-21320 mutual stranger is an instance of symmetric relation
(instance neighbor SymmetricRelation) Mid-level-ontology.kif 6302-6302 neighbor is an instance of symmetric relation
(instance oppositeDirection SymmetricRelation) Mid-level-ontology.kif 15871-15871 opposite direction is an instance of symmetric relation
(instance orthogonalTests SymmetricRelation) UXExperimentalTerms.kif 4644-4644 managed orthogonal is an instance of symmetric relation
(instance overlapsPartially SymmetricRelation) Merge.kif 9013-9013 overlaps partially is an instance of symmetric relation
(instance overlapsSpatially SymmetricRelation) Merge.kif 8983-8983 overlaps spatially is an instance of symmetric relation
(instance overlapsTemporally SymmetricRelation) Merge.kif 7740-7740 overlaps temporally is an instance of symmetric relation
(instance relatedEvent SymmetricRelation) Merge.kif 3595-3595 related event is an instance of symmetric relation
(instance sibling SymmetricRelation) Merge.kif 15275-15275 sibling 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 2174-2179

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


(=>
    (equivalenceRelationOn ?RELATION ?CLASS)
    (and
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION SymmetricRelation)
        (reflexiveOn ?RELATION ?CLASS)))
Merge.kif 3550-3555


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners