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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReflexiveRelation
ReflexiveRelation(自反关系)

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 2181-2182
(subclass ReflexiveRelation BinaryRelation) Merge.kif 2179-2179 自反关系二元关系subclass

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


(instance connected ReflexiveRelation) Merge.kif 9399-9399 相连自反关系instance
(instance keyName ReflexiveRelation) Media.kif 3265-3265 keyName自反关系instance
(instance overlapsSpatially ReflexiveRelation) Merge.kif 9474-9474 重叠自反关系instance
(instance overlapsTemporally ReflexiveRelation) Merge.kif 8129-8129 在时间上重叠自反关系instance
(instance subGraph ReflexiveRelation) Merge.kif 5794-5794 子图自反关系instance
(instance subString ReflexiveRelation) Mid-level-ontology.kif 23739-23739 subString自反关系instance
(subclass EquivalenceRelation ReflexiveRelation) Merge.kif 2334-2334 等价关系自反关系subclass
(subclass PartialOrderingRelation ReflexiveRelation) Merge.kif 2307-2307 偏序关系自反关系subclass
(termFormat ChineseLanguage ReflexiveRelation "自反关系") chinese_format.kif 893-893
(termFormat EnglishLanguage ReflexiveRelation "reflexive relation") english_format.kif 988-988

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


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


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