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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - irreflexiveOn
irreflexiveOn

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


(documentation irreflexiveOn ChineseLanguage "一个 BinaryRelation 在一个 SetOrClass 是 非自反的除非这个 SetOrClass 里没有一个实里戴着和自身相关的关系。") chinese_format.kif 2043-2044
(documentation irreflexiveOn EnglishLanguage "A BinaryRelation is irreflexive on a SetOrClass only if no instance of the SetOrClass bears the relation to itself.") Merge.kif 3469-3471
(domain irreflexiveOn 1 BinaryRelation) Merge.kif 3466-3466 The number 1 argument of irreflexive on is an instance of binary relation
(domain irreflexiveOn 2 SetOrClass) Merge.kif 3467-3467 The number 2 argument of irreflexive on is an instance of set or class
(instance irreflexiveOn AsymmetricRelation) Merge.kif 3465-3465 irreflexive on is an instance of asymmetric relation
(instance irreflexiveOn BinaryPredicate) Merge.kif 3464-3464 irreflexive on is an instance of binary predicate

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


(format ChineseLanguage irreflexiveOn "%1 在 %2 %n 是 非自反关系") chinese_format.kif 137-137
(format EnglishLanguage irreflexiveOn "%1 is %n irreflexive on %2") english_format.kif 138-138
(termFormat ChineseLanguage irreflexiveOn "属于非自反关系") chinese_format.kif 138-138
(termFormat ChineseLanguage irreflexiveOn "无反驳的") domainEnglishFormat.kif 30997-30997
(termFormat ChineseTraditionalLanguage irreflexiveOn "無反駁的") domainEnglishFormat.kif 30996-30996
(termFormat EnglishLanguage irreflexiveOn "irreflexive on") domainEnglishFormat.kif 30995-30995

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


(=>
    (and
        (irreflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION Predicate))
    (forall (?INST)
        (=>
            (instance ?INST ?CLASS)
            (not
                (?RELATION ?INST ?INST)))))
Merge.kif 3473-3481


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