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 2274-2274 Reflexive relation is a subclass of binary relation
(documentation ReflexiveRelation EnglishLanguage "Relation ?REL is reflexive iff (?REL ?INST ?INST) for all ?INST.") Merge.kif 2276-2277 Reflexive relation is a subclass of binary relation

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


(instance connectedRegions ReflexiveRelation) Geography.kif 594-594 connected regions is an instance of reflexive relation
(instance keyName ReflexiveRelation) Media.kif 3261-3261 key name is an instance of reflexive relation
(subclass PartialOrderingRelation ReflexiveRelation) Merge.kif 2402-2402 Partial ordering relation is a subclass of reflexive relation
(subclass EquivalenceRelation ReflexiveRelation) Merge.kif 2429-2429 Equivalence relation is a subclass of reflexive relation
(instance overlapsSpatially ReflexiveRelation) Merge.kif 4077-4077 overlap spatially is an instance of reflexive relation
(instance subGraph ReflexiveRelation) Merge.kif 5945-5945 sub graph is an instance of reflexive relation
(instance overlapsTemporally ReflexiveRelation) Merge.kif 8358-8358 overlap temporally is an instance of reflexive relation
(instance connected ReflexiveRelation) Merge.kif 9657-9657 connected is an instance of reflexive relation
(instance subString ReflexiveRelation) Mid-level-ontology.kif 26767-26767 sub string is an instance of reflexive relation
(termFormat EnglishLanguage ReflexiveRelation "reflexive relation") english_format.kif 988-988 sub string 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 3649-3657 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 is open source software produced by Articulate Software and its partners