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 Class only if every instance of the Class bears the relation to itself.") | Merge.kif 3540-3542 | |
(domain reflexiveOn 1 BinaryRelation) | Merge.kif 3537-3537 | |
(domain reflexiveOn 2 Class) | Merge.kif 3538-3538 | |
(instance reflexiveOn AsymmetricRelation) | Merge.kif 3536-3536 | |
(instance reflexiveOn BinaryPredicate) | Merge.kif 3535-3535 |
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 180-180 | |
(termFormat ChineseLanguage reflexiveOn "反思在") | domainEnglishFormat.kif 49119-49119 | |
(termFormat ChineseLanguage reflexiveOn "含自反关系") | chinese_format.kif 180-180 | |
(termFormat ChineseTraditionalLanguage reflexiveOn "反思在") | domainEnglishFormat.kif 49118-49118 | |
(termFormat EnglishLanguage reflexiveOn "reflexive on") | domainEnglishFormat.kif 49117-49117 |
antecedent |
![]() |
(=> (and (instance ?RELATION ReflexiveRelation) (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION Predicate)) (forall (?INST) (=> (instance ?INST ?CLASS) (?RELATION ?INST ?INST)))) |
Merge.kif 3544-3552 |
consequent |
![]() |
(=> (equivalenceRelationOn ?RELATION ?CLASS) (and (instance ?RELATION TransitiveRelation) (instance ?RELATION SymmetricRelation) (reflexiveOn ?RELATION ?CLASS))) |
Merge.kif 3647-3652 | |
(=> (partialOrderingOn ?RELATION ?CLASS) (and (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION TransitiveRelation) (instance ?RELATION AntisymmetricRelation))) |
Merge.kif 3584-3589 |
![]() |
![]() |