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


KB Term:  Term intersection
English Word: 

Sigma KEE - ReflexiveRelation
ReflexiveRelation(reflexive relation)

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


(documentation ReflexiveRelation ChineseLanguage "Relation ?REL 属于自反关系当且仅当所有 ?INST 都是(?REL ?INST ?INST)。") chinese_format.kif 1833-1834
(documentation ReflexiveRelation EnglishLanguage "Relation ?REL is reflexive iff (?REL ?INST ?INST) for all ?INST.") Merge.kif 2277-2278
(documentation ReflexiveRelation JapaneseLanguage "Relation ?REL は、すべての ?INST に対し (?REL ?INST ?INST) の場合のみ再帰的である。") japanese_format.kif 453-454
(subclass ReflexiveRelation BinaryRelation) Merge.kif 2275-2275 Reflexive relation is a subclass of binary relation

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


(instance connected ReflexiveRelation) Merge.kif 9659-9659 connected 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 3261-3261 key name is an instance of reflexive relation
(instance overlapsSpatially ReflexiveRelation) Merge.kif 4078-4078 overlap spatially is an instance of reflexive relation
(instance overlapsTemporally ReflexiveRelation) Merge.kif 8360-8360 overlap temporally is an instance of reflexive relation
(instance subGraph ReflexiveRelation) Merge.kif 5946-5946 sub graph is an instance of reflexive relation
(instance subString ReflexiveRelation) Mid-level-ontology.kif 26039-26039 sub string is an instance of reflexive relation
(subclass EquivalenceRelation ReflexiveRelation) Merge.kif 2430-2430 Equivalence relation is a subclass of reflexive relation
(subclass PartialOrderingRelation ReflexiveRelation) Merge.kif 2403-2403 Partial ordering relation is a subclass of reflexive relation
(termFormat ChineseLanguage ReflexiveRelation "自反关系") chinese_format.kif 893-893 Partial ordering relation is a subclass of reflexive relation
(termFormat EnglishLanguage ReflexiveRelation "reflexive relation") english_format.kif 988-988 Partial ordering relation is a subclass of reflexive relation
(termFormat FrenchLanguage ReflexiveRelation "relation r�flexive") french_format.kif 569-569 Partial ordering relation is a subclass of reflexive relation
(termFormat Hindi ReflexiveRelation "aatmavaachaka sambandha") terms-hindi.txt 99-99 Partial ordering relation is a subclass of reflexive relation
(termFormat ItalianLanguage ReflexiveRelation "RelazioneRiflessiva") terms-it.txt 102-102 Partial ordering relation is a subclass of reflexive relation
(termFormat JapaneseLanguage ReflexiveRelation "反射関係") japanese_format.kif 2254-2254 Partial ordering relation is a subclass of reflexive relation
(termFormat PortugueseLanguage ReflexiveRelation "Relacao Reflexiva") portuguese_format.kif 521-521 Partial ordering relation is a subclass of reflexive relation
(termFormat cz ReflexiveRelation "reflexive relation") terms-cz.txt 136-136 Partial ordering relation is a subclass of reflexive relation
(termFormat de ReflexiveRelation "reflexive Relation") terms-de.txt 395-395 Partial ordering relation is a subclass of reflexive relation
(termFormat ro ReflexiveRelation "relaþie reflexivã") relations-ro.kif 590-590 Partial ordering relation is a subclass of reflexive relation
(termFormat tg ReflexiveRelation "") terms-tg.txt 103-103 Partial ordering relation is a subclass of reflexive relation

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


(=>
    (and
        (instance ?RELATION ReflexiveRelation)
        (reflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION Predicate))
    (forall (?INST)
        (=>
            (instance ?INST ?CLASS)
            (?RELATION ?INST ?INST))))		 Merge.kif 3650-3658


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