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 3607-3609 | |
(documentation reflexiveOn JapaneseLanguage "BinaryRelation は、SetOrClass のすべての インスタンスがそれ自体との関係を持つ場合にのみ、SetOrClass に対して再帰的である。") | japanese_format.kif 686-687 | |
(domain reflexiveOn 1 BinaryRelation) | Merge.kif 3604-3604 | |
(domain reflexiveOn 2 Class) | Merge.kif 3605-3605 | |
(instance reflexiveOn AsymmetricRelation) | Merge.kif 3603-3603 | |
(instance reflexiveOn BinaryPredicate) | Merge.kif 3602-3602 |
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 | |
(format FrenchLanguage reflexiveOn "%1 %n est refl�xif sur %2") | french_format.kif 109-109 | |
(format ItalianLanguage reflexiveOn "%1 è %n riflessivo su %2") | relations-it.txt 247-247 | |
(format JapaneseLanguage reflexiveOn "%1 は %2 に対して reflexive では %n") | japanese_format.kif 1938-1938 | |
(format PortugueseLanguage reflexiveOn "%1 %n e' reflivo em %2") | portuguese_format.kif 61-61 | |
(format cz reflexiveOn "%1 %p{je} %n{nen�} reflexive on %2") | relations-cz.txt 107-107 | |
(format de reflexiveOn "%1 ist auf %2 reflexiv %n{nicht}") | relations-de.txt 226-226 | |
(format hi reflexiveOn "%1 %2 para svatulya %n hai") | relations-hindi.txt 285-285 | |
(format ro reflexiveOn "%1 %n{nu} este reflexive%t{reflexivã} pe %2") | relations-ro.kif 128-128 | |
(format sv reflexiveOn "%1 är %n{inte} reflexiv över %2") | relations-sv.txt 114-114 | |
(termFormat ChineseLanguage reflexiveOn "反思在") | domainEnglishFormat.kif 49138-49138 | |
(termFormat ChineseLanguage reflexiveOn "含自反关系") | chinese_format.kif 180-180 | |
(termFormat ChineseTraditionalLanguage reflexiveOn "反思在") | domainEnglishFormat.kif 49137-49137 | |
(termFormat EnglishLanguage reflexiveOn "reflexive on") | domainEnglishFormat.kif 49136-49136 | |
(termFormat de reflexiveOn "reflexivAuf") | terms-de.txt 71-71 |
antecedent |
(=> (and (instance ?RELATION ReflexiveRelation) (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION Predicate)) (forall (?INST) (=> (instance ?INST ?CLASS) (?RELATION ?INST ?INST)))) |
Merge.kif 3611-3619 |
consequent |
(=> (equivalenceRelationOn ?RELATION ?CLASS) (and (instance ?RELATION TransitiveRelation) (instance ?RELATION SymmetricRelation) (reflexiveOn ?RELATION ?CLASS))) |
Merge.kif 3714-3719 | |
(=> (partialOrderingOn ?RELATION ?CLASS) (and (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION TransitiveRelation) (instance ?RELATION AntisymmetricRelation))) |
Merge.kif 3651-3656 |