Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ReflexiveRelation
ReflexiveRelation(reflexive relation)

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


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

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


(subclass PartialOrderingRelation ReflexiveRelation) Merge.kif 2477-2477 Partial ordering relation is a subclass of reflexive relation
(subclass EquivalenceRelation ReflexiveRelation) Merge.kif 2504-2504 Equivalence relation is a subclass of reflexive relation
(instance overlapsSpatially ReflexiveRelation) Merge.kif 4140-4140 overlap spatially is an instance of reflexive relation
(instance subGraph ReflexiveRelation) Merge.kif 6015-6015 sub graph is an instance of reflexive relation
(instance overlapsTemporally ReflexiveRelation) Merge.kif 8427-8427 overlap temporally is an instance of reflexive relation
(instance connected ReflexiveRelation) Merge.kif 9726-9726 connected is an instance of reflexive relation
(instance subString ReflexiveRelation) Mid-level-ontology.kif 26685-26685 sub string is an instance of reflexive relation
(instance connectedRegions ReflexiveRelation) Geography.kif 594-594 connected regions is an instance of reflexive relation
(instance keyName ReflexiveRelation) Media.kif 3206-3206 key name is an instance of reflexive relation
(termFormat EnglishLanguage ReflexiveRelation "reflexive relation") english_format.kif 992-992 key name is an instance of reflexive relation

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


(=>
    (and
        (instance ?RELATION ReflexiveRelation)
        (reflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION Predicate))
    (forall (?INST)
        (=>
            (instance ?INST ?CLASS)
            (?RELATION ?INST ?INST))))		 Merge.kif 3721-3729 If X is an instance of reflexive relation, X is reflexive on Y, and X is an instance of predicate, then For all Entity Z: if Z is an instance of Y, then X Z and Z


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