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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SymmetricRelation

Sigma KEE - SymmetricRelation
SymmetricRelation

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


(disjoint SymmetricRelation AntisymmetricRelation) Merge.kif 2371-2371
(documentation SymmetricRelation ChineseLanguage "一个 BinaryRelation ?REL 属于对称关系只是 当且仅当所有的 ?INST1 和 ?INST2 是 (?REL ?INST1 ?INST2) 意味着 (?REL ?INST2 ?INST1)。") Merge.kif 2375-2376
(documentation SymmetricRelation EnglishLanguage "A BinaryRelation ?REL is symmetric just iff (?REL ?INST1 ?INST2) imples (?REL ?INST2 ?INST1), for all ?INST1 and ?INST2.") Merge.kif 2372-2374
(subclass SymmetricRelation BinaryRelation) Merge.kif 2370-2370

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


(instance classmate SymmetricRelation) LinkedInDegrees.kif 469-469
(instance cohabitant SymmetricRelation) Mid-level-ontology.kif 20470-20470
(instance colleague SymmetricRelation) LinkedInDegrees.kif 424-424
(instance conjugate SymmetricRelation) Mid-level-ontology.kif 6176-6176
(instance connected SymmetricRelation) Merge.kif 9399-9399
(instance connectedEngineeringComponents SymmetricRelation) Merge.kif 16141-16141
(instance consistent SymmetricRelation) Merge.kif 17076-17076
(instance coworker SymmetricRelation) Mid-level-ontology.kif 20448-20448
(instance diplomaticRelations SymmetricRelation) Government.kif 4480-4480
(instance disjoint SymmetricRelation) Merge.kif 437-437
(instance domesticPartner SymmetricRelation) Mid-level-ontology.kif 20878-20878
(instance enemy SymmetricRelation) MilitaryProcesses.kif 2417-2417
(instance facebookFriend SymmetricRelation) Facebook.kif 348-348
(instance friend SymmetricRelation) Mid-level-ontology.kif 20435-20435
(instance independentProbability SymmetricRelation) Merge.kif 2786-2786
(instance inverse SymmetricRelation) Merge.kif 115-115
(instance legalRelation SymmetricRelation) Merge.kif 16619-16619
(instance meetsSpatially SymmetricRelation) Merge.kif 9455-9455
(instance mutualAcquaintance SymmetricRelation) Merge.kif 16651-16651
(instance mutualStranger SymmetricRelation) Mid-level-ontology.kif 20863-20863
(instance neighbor SymmetricRelation) Mid-level-ontology.kif 6293-6293
(instance oppositeDirection SymmetricRelation) Mid-level-ontology.kif 15487-15487
(instance orthogonalTests SymmetricRelation) UXExperimentalTerms.kif 4639-4639
(instance overlapsPartially SymmetricRelation) Merge.kif 9496-9496
(instance overlapsSpatially SymmetricRelation) Merge.kif 9465-9465

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

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


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


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