Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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 2284-2284 Reflexive relation is a subclass of binary relation
(documentation ReflexiveRelation EnglishLanguage "Relation ?REL is reflexive iff (?REL ?INST ?INST) for all ?INST.") Merge.kif 2286-2287 Reflexive relation is a subclass of binary relation

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


(subclass PartialOrderingRelation ReflexiveRelation) Merge.kif 2412-2412 Partial ordering relation is a subclass of reflexive relation
(subclass EquivalenceRelation ReflexiveRelation) Merge.kif 2439-2439 Equivalence relation is a subclass of reflexive relation
(instance overlapsSpatially ReflexiveRelation) Merge.kif 4075-4075 overlap spatially is an instance of reflexive relation
(instance subGraph ReflexiveRelation) Merge.kif 5939-5939 sub graph is an instance of reflexive relation
(instance overlapsTemporally ReflexiveRelation) Merge.kif 8349-8349 overlap temporally is an instance of reflexive relation
(instance connected ReflexiveRelation) Merge.kif 9648-9648 connected is an instance of reflexive relation
(instance subString ReflexiveRelation) Mid-level-ontology.kif 26767-26767 sub string is an instance of reflexive relation
(instance connectedRegions ReflexiveRelation) Geography.kif 594-594 connected regions is an instance of reflexive relation
(termFormat EnglishLanguage ReflexiveRelation "reflexive relation") english_format.kif 988-988 connected regions 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 3656-3664 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-c58f641d (2026-04-12) is open source software produced by Articulate Software and its partners