ReflexiveRelation - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ReflexiveRelation BinaryRelation)	Merge.kif 2349-2349
(documentation ReflexiveRelation EnglishLanguage "Relation ?REL is reflexive iff (?REL ?INST ?INST) for all ?INST.")	Merge.kif 2351-2352

appearance as argument number 2

(subclass PartialOrderingRelation ReflexiveRelation)	Merge.kif 2477-2477
(subclass EquivalenceRelation ReflexiveRelation)	Merge.kif 2504-2504
(instance overlapsSpatially ReflexiveRelation)	Merge.kif 4140-4140
(instance subGraph ReflexiveRelation)	Merge.kif 6015-6015
(instance overlapsTemporally ReflexiveRelation)	Merge.kif 8427-8427
(instance connected ReflexiveRelation)	Merge.kif 9726-9726
(instance subString ReflexiveRelation)	Mid-level-ontology.kif 26685-26685
(instance connectedRegions ReflexiveRelation)	Geography.kif 594-594
(instance keyName ReflexiveRelation)	Media.kif 3206-3206
(termFormat EnglishLanguage ReflexiveRelation "reflexive relation")	english_format.kif 992-992

antecedent

(=>
    (and
        (instance ?RELATION ReflexiveRelation)
        (reflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION Predicate))
    (forall (?INST)
        (=>
            (instance ?INST ?CLASS)
            (?RELATION ?INST ?INST))))

Merge.kif 3721-3729

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners