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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReflexiveRelation
ReflexiveRelation

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


(documentation ReflexiveRelation ChineseLanguage "Relation ?REL 属于自反关系当且仅当所有 ?INST 都是(?REL ?INST ?INST)。") chinese_format.kif 1833-1834
(documentation ReflexiveRelation EnglishLanguage "Relation ?REL is reflexive iff (?REL ?INST ?INST) for all ?INST.") Merge.kif 2189-2190
(subclass ReflexiveRelation BinaryRelation) Merge.kif 2187-2187

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


(instance connected ReflexiveRelation) Merge.kif 9410-9410
(instance keyName ReflexiveRelation) Media.kif 3263-3263
(instance overlapsSpatially ReflexiveRelation) Merge.kif 9485-9485
(instance overlapsTemporally ReflexiveRelation) Merge.kif 8137-8137
(instance subGraph ReflexiveRelation) Merge.kif 5802-5802
(instance subString ReflexiveRelation) Mid-level-ontology.kif 23856-23856
(subclass EquivalenceRelation ReflexiveRelation) Merge.kif 2342-2342
(subclass PartialOrderingRelation ReflexiveRelation) Merge.kif 2315-2315
(termFormat ChineseLanguage ReflexiveRelation "自反关系") chinese_format.kif 893-893
(termFormat EnglishLanguage ReflexiveRelation "reflexive relation") english_format.kif 988-988

antecedent
-------------------------


(=>
    (and
        (instance ?RELATION ReflexiveRelation)
        (reflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION Predicate))
    (forall (?INST)
        (=>
            (instance ?INST ?CLASS)
            (?RELATION ?INST ?INST))))
Merge.kif 3546-3554


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 is open source software produced by Articulate Software and its partners