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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - reflexiveOn
reflexiveOn

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


(documentation reflexiveOn ChineseLanguage "一个 BinaryRelation 在一个 SetOrClass是自反 的除非这个 SetOrClass 的每一个实例戴着和自身相关的关系。") chinese_format.kif 2041-2042
(documentation reflexiveOn EnglishLanguage "A BinaryRelation is reflexive on a SetOrClass only if every instance of the SetOrClass bears the relation to itself.") Merge.kif 3451-3453
(domain reflexiveOn 1 BinaryRelation) Merge.kif 3448-3448 The number 1 argument of reflexive on is an instance of binary relation
(domain reflexiveOn 2 SetOrClass) Merge.kif 3449-3449 The number 2 argument of reflexive on is an instance of set or class
(instance reflexiveOn AsymmetricRelation) Merge.kif 3447-3447 reflexive on is an instance of asymmetric relation
(instance reflexiveOn BinaryPredicate) Merge.kif 3446-3446 reflexive on is an instance of binary predicate

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


(format ChineseLanguage reflexiveOn "%1 在 %2 %n 是自反关系") chinese_format.kif 179-179
(format EnglishLanguage reflexiveOn "%1 is %n reflexive on %2") english_format.kif 183-183
(termFormat ChineseLanguage reflexiveOn "反思在") domainEnglishFormat.kif 49034-49034
(termFormat ChineseLanguage reflexiveOn "含自反关系") chinese_format.kif 180-180
(termFormat ChineseTraditionalLanguage reflexiveOn "反思在") domainEnglishFormat.kif 49033-49033
(termFormat EnglishLanguage reflexiveOn "reflexive on") domainEnglishFormat.kif 49032-49032

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


(=>
    (and
        (reflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION Predicate))
    (forall (?INST)
        (=>
            (instance ?INST ?CLASS)
            (?RELATION ?INST ?INST))))
Merge.kif 3455-3462

consequent
-------------------------


(=>
    (equivalenceRelationOn ?RELATION ?CLASS)
    (and
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION SymmetricRelation)
        (reflexiveOn ?RELATION ?CLASS)))
Merge.kif 3550-3555
(=>
    (partialOrderingOn ?RELATION ?CLASS)
    (and
        (reflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION AntisymmetricRelation)))
Merge.kif 3493-3498


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners