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 3511-3513 | |
(domain irreflexiveOn 1 BinaryRelation) | Merge.kif 3508-3508 | |
(domain irreflexiveOn 2 SetOrClass) | Merge.kif 3509-3509 | |
(instance irreflexiveOn AsymmetricRelation) | Merge.kif 3507-3507 | |
(instance irreflexiveOn BinaryPredicate) | Merge.kif 3506-3506 |
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 31093-31093 | |
(termFormat ChineseTraditionalLanguage irreflexiveOn "無反駁的") | domainEnglishFormat.kif 31092-31092 | |
(termFormat EnglishLanguage irreflexiveOn "irreflexive on") | domainEnglishFormat.kif 31091-31091 |
antecedent |
![]() |
(=> (and (irreflexiveOn ?RELATION ?CLASS) (instance ?RELATION Predicate)) (forall (?INST) (=> (instance ?INST ?CLASS) (not (?RELATION ?INST ?INST))))) |
Merge.kif 3515-3523 |
![]() |
![]() |