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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SymmetricRelation
SymmetricRelation(symmetric relation)contrarily, contrariwise, on_the_contrary, symmetric_relation, the_other_way_around, to_the_contrary, vice_versa, 对称关系, 対称関係_

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


(disjoint SymmetricRelation AntisymmetricRelation) Merge.kif 3674-3674 Symmetric relation is disjoint from antisymmetric relation
(documentation SymmetricRelation ChineseLanguage "一个 BinaryRelation ?REL 属于对称关系只是 当且仅当所有的 ?INST1 和 ?INST2 是 (?REL ?INST1 ?INST2) 意味着 (?REL ?INST2 ?INST1)。") Merge.kif 3681-3682
(documentation SymmetricRelation EnglishLanguage "A BinaryRelation ?REL is symmetric just iff (?REL ?INST1 ?INST2) imples (?REL ?INST2 ?INST1), for all ?INST1 and ?INST2.") Merge.kif 3677-3679
(documentation SymmetricRelation JapaneseLanguage "BinaryRelation ?REL は、すべての ?INST1 および ?INST2 に対して (?REL ?INST1 ?INST2) が (?REL ?INST2 ?INST1) の場合にのみ対称である。") Merge.kif 3684-3685
(subclass SymmetricRelation BinaryRelation) Merge.kif 3673-3673 Symmetric relation is a subclass of binary relation

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


(instance cohabitant SymmetricRelation) Mid-level-ontology.kif 20863-20863 cohabitant is an instance of symmetric relation
(instance conjugate SymmetricRelation) Mid-level-ontology.kif 6181-6181 conjugate is an instance of symmetric relation
(instance connected SymmetricRelation) Merge.kif 13186-13186 connected is an instance of symmetric relation
(instance connectedEngineeringComponents SymmetricRelation) Merge.kif 20644-20644 connected engineering components is an instance of symmetric relation
(instance consistent SymmetricRelation) Merge.kif 21586-21586 consistent is an instance of symmetric relation
(instance coworker SymmetricRelation) Mid-level-ontology.kif 20841-20841 coworker is an instance of symmetric relation
(instance diplomaticRelations SymmetricRelation) Government.kif 4480-4480 diplomatic relations is an instance of symmetric relation
(instance disjoint SymmetricRelation) Merge.kif 583-583 disjoint is an instance of symmetric relation
(instance domesticPartner SymmetricRelation) Mid-level-ontology.kif 21271-21271 domestic partner is an instance of symmetric relation
(instance enemy SymmetricRelation) MilitaryProcesses.kif 2417-2417 enemy is an instance of symmetric relation
(instance friend SymmetricRelation) Mid-level-ontology.kif 20828-20828 friend is an instance of symmetric relation
(instance independentProbability SymmetricRelation) Merge.kif 4263-4263 independent probability is an instance of symmetric relation
(instance inverse SymmetricRelation) Merge.kif 135-135 inverse is an instance of symmetric relation
(instance legalRelation SymmetricRelation) Merge.kif 21129-21129 legal relation is an instance of symmetric relation
(instance meetsSpatially SymmetricRelation) Merge.kif 13253-13253 meets spatially is an instance of symmetric relation
(instance mutualAcquaintance SymmetricRelation) Merge.kif 21161-21161 mutual acquaintance is an instance of symmetric relation
(instance mutualStranger SymmetricRelation) Mid-level-ontology.kif 21256-21256 mutual stranger is an instance of symmetric relation
(instance neighbor SymmetricRelation) Mid-level-ontology.kif 6298-6298 neighbor is an instance of symmetric relation
(instance oppositeDirection SymmetricRelation) Mid-level-ontology.kif 15819-15819 opposite direction is an instance of symmetric relation
(instance orthogonalTests SymmetricRelation) UXExperimentalTerms.kif 4638-4638 managed orthogonal is an instance of symmetric relation
(instance overlapsPartially SymmetricRelation) Merge.kif 13306-13306 overlaps partially is an instance of symmetric relation
(instance overlapsSpatially SymmetricRelation) Merge.kif 13269-13269 overlaps spatially is an instance of symmetric relation
(instance overlapsTemporally SymmetricRelation) Merge.kif 11747-11747 overlaps temporally is an instance of symmetric relation
(instance relatedEvent SymmetricRelation) Merge.kif 5682-5682 related event is an instance of symmetric relation
(instance sibling SymmetricRelation) Merge.kif 21068-21068 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 3688-3693

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners