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


KB Term:  Term intersection
English Word: 

  ReflexiveRelation

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