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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReflexiveRelation

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 2187-2188
(subclass ReflexiveRelation BinaryRelation) Merge.kif 2185-2185 subclass ReflexiveRelation and BinaryRelation

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


(instance connected ReflexiveRelation) Merge.kif 9405-9405 instance connected and ReflexiveRelation
(instance keyName ReflexiveRelation) Media.kif 3265-3265 instance keyName and ReflexiveRelation
(instance overlapsSpatially ReflexiveRelation) Merge.kif 9480-9480 instance overlapsSpatially and ReflexiveRelation
(instance overlapsTemporally ReflexiveRelation) Merge.kif 8135-8135 instance overlapsTemporally and ReflexiveRelation
(instance subGraph ReflexiveRelation) Merge.kif 5800-5800 instance subGraph and ReflexiveRelation
(instance subString ReflexiveRelation) Mid-level-ontology.kif 23763-23763 instance subString and ReflexiveRelation
(subclass EquivalenceRelation ReflexiveRelation) Merge.kif 2340-2340 subclass EquivalenceRelation and ReflexiveRelation
(subclass PartialOrderingRelation ReflexiveRelation) Merge.kif 2313-2313 subclass PartialOrderingRelation and ReflexiveRelation
(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 3544-3552


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