partialOrderingOn |
appearance as argument number 1 |
(documentation partialOrderingOn ChineseLanguage "一个 BinaryRelation 在一个 SetOrClass 使部分顺序的,除非这个关系是在这个SetOrClass 是 reflexiveOn,而且它既是 AntisymmetricRelation 又是 TransitiveRelation。") | chinese_format.kif 2045-2047 | |
(documentation partialOrderingOn EnglishLanguage "A BinaryRelation is a partial ordering on a Class only if the relation is reflexiveOn the Class, and it is both an AntisymmetricRelation, and a TransitiveRelation.") | Merge.kif 3646-3649 | |
(documentation partialOrderingOn JapaneseLanguage "BinaryRelation は、SetOrClass 上の 部分的な順序付けで、 AntisymmetricRelation と TransitiveRelation の両方である場合にのみ、 関係が SetOrClass で reflexiveOn である。") | japanese_format.kif 690-692 | |
(domain partialOrderingOn 1 BinaryRelation) | Merge.kif 3643-3643 | |
(domain partialOrderingOn 2 Class) | Merge.kif 3644-3644 | |
(instance partialOrderingOn AsymmetricRelation) | Merge.kif 3642-3642 | |
(instance partialOrderingOn BinaryPredicate) | Merge.kif 3641-3641 |
appearance as argument number 2 |
(format ChineseLanguage partialOrderingOn "%1 在 %2 %n 是 partialOrderingOn") | chinese_format.kif 163-163 | |
(format EnglishLanguage partialOrderingOn "%1 is %n partial ordering on %2") | english_format.kif 164-164 | |
(format FrenchLanguage partialOrderingOn "%1 est %n partiellement ordonn� sur %2") | french_format.kif 101-101 | |
(format ItalianLanguage partialOrderingOn "%1 è %n ordinamento parziale su %2") | relations-it.txt 212-212 | |
(format JapaneseLanguage partialOrderingOn "%1 は %2 の partial 順序 では %n") | japanese_format.kif 1930-1930 | |
(format PortugueseLanguage partialOrderingOn "%1 e' %n parcialmente ordenado sobre %2") | portuguese_format.kif 53-53 | |
(format cz partialOrderingOn "%1 %p{je} %n{nen�} partial ordering on %2") | relations-cz.txt 109-109 | |
(format de partialOrderingOn "%1 ist eine teilweise Einrichtung auf %2 %n{nicht}") | relations-de.txt 200-200 | |
(format hi partialOrderingOn "%1 %2 para aanshika anukrama %n hai") | relations-hindi.txt 250-250 | |
(format ro partialOrderingOn "%1 %n{nu} este o relaþie de ordine partial%t{parþialã} peste %2") | relations-ro.kif 120-120 | |
(format sv partialOrderingOn "%1 är %n{inte} en partiell ordning över %2") | relations-sv.txt 102-102 | |
(format tg partialOrderingOn "%1 %n ay ang meyo ayos ng %2") | relations-tg.txt 404-404 | |
(termFormat ChineseLanguage partialOrderingOn "含偏序关系") | chinese_format.kif 164-164 | |
(termFormat ChineseLanguage partialOrderingOn "部分订购在") | domainEnglishFormat.kif 44546-44546 | |
(termFormat ChineseTraditionalLanguage partialOrderingOn "部分訂購在") | domainEnglishFormat.kif 44545-44545 | |
(termFormat EnglishLanguage partialOrderingOn "partial ordering on") | domainEnglishFormat.kif 44544-44544 | |
(termFormat de partialOrderingOn "teilweiseEinrichtung") | terms-de.txt 62-62 |
antecedent |
(=> (and (partialOrderingOn ?RELATION ?CLASS) (trichotomizingOn ?RELATION ?CLASS)) (totalOrderingOn ?RELATION ?CLASS)) |
Merge.kif 3674-3678 | |
(=> (partialOrderingOn ?RELATION ?CLASS) (and (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION TransitiveRelation) (instance ?RELATION AntisymmetricRelation))) |
Merge.kif 3651-3656 |
consequent |
(=> (totalOrderingOn ?RELATION ?CLASS) (and (partialOrderingOn ?RELATION ?CLASS) (trichotomizingOn ?RELATION ?CLASS))) |
Merge.kif 3668-3672 |