ListOrderFn |
appearance as argument number 1 |
(documentation ListOrderFn ChineseLanguage "(ListOrderFn ?LIST ?NUMBER) 表示在 ?LIST List 第?NUMBER个位置的项目。例如: (ListOrderFn (ListFn Monday Tuesday Wednesday) 2) 交出的值会是 Tuesday。") | chinese_format.kif 1964-1966 | |
(documentation ListOrderFn EnglishLanguage "(ListOrderFn ?LIST ?NUMBER) denotes the item that is in the ?NUMBER position in the List ?LIST. For example, (ListOrderFn (ListFn Monday Tuesday Wednesday) 2) would return the value Tuesday.") | Merge.kif 2981-2984 | |
(documentation ListOrderFn JapaneseLanguage "(ListOrderFn ?LIST ?NUMBER) は、List ?LIST の?NUMBER の位置にある項目を示す。例:(ListFn Monday Tuesday Wednesday) 2) は、 Tuesday の値を返す。") | japanese_format.kif 596-598 | |
(domain ListOrderFn 1 List) | Merge.kif 2977-2977 | O argumento numero 1 de ListOrderFn e' uma instancia de Lista |
(domain ListOrderFn 2 PositiveInteger) | Merge.kif 2978-2978 | O argumento numero 2 de ListOrderFn e' uma instancia de Inteiro positivo |
(instance ListOrderFn BinaryFunction) | Merge.kif 2975-2975 | ListOrderFn e' uma instancia de Funcao Binaria |
(instance ListOrderFn PartialValuedRelation) | Merge.kif 2976-2976 | ListOrderFn e' uma instancia de Relacao Parcial |
(range ListOrderFn Entity) | Merge.kif 2979-2979 | O contra-dominio de ListOrderFn e' uma instancia de Entidade |
appearance as argument number 2 |
(format ChineseLanguage ListOrderFn "%1 的第 %2 几个元素") | chinese_format.kif 263-263 | |
(format EnglishLanguage ListOrderFn "%2th element of %1") | english_format.kif 268-268 | |
(format FrenchLanguage ListOrderFn "%2th �lement de %1") | french_format.kif 150-150 | |
(format ItalianLanguage ListOrderFn "%2th elemento di %1") | relations-it.txt 169-169 | |
(format JapaneseLanguage ListOrderFn "%1 の %2th element") | japanese_format.kif 1978-1978 | |
(format PortugueseLanguage ListOrderFn "%2th elemento de %1") | portuguese_format.kif 102-102 | |
(format cz ListOrderFn "%2th element of %1") | relations-cz.txt 159-159 | |
(format de ListOrderFn "%2te mitglied von %1") | relations-de.txt 338-338 | |
(format hi ListOrderFn "%1 kaa ghaTaka sankhyaa %2") | relations-hindi.txt 207-207 | |
(format ro ListOrderFn "%2th element%t{element} al lui %1") | relations-ro.kif 169-169 | |
(format sv ListOrderFn "%2:a elementet i %1") | relations-sv.txt 156-156 | |
(format tg ListOrderFn "%2th elemento ng %1") | relations-tg.txt 337-337 | |
(termFormat ChineseLanguage ListOrderFn "找出表列顺序的函数") | chinese_format.kif 264-264 | |
(termFormat ChineseLanguage ListOrderFn "清单顺序") | domainEnglishFormat.kif 34697-34697 | |
(termFormat ChineseTraditionalLanguage ListOrderFn "清單順序") | domainEnglishFormat.kif 34696-34696 | |
(termFormat EnglishLanguage ListOrderFn "list order") | domainEnglishFormat.kif 34695-34695 | |
(termFormat de ListOrderFn "ListeOrdnungFn") | terms-de.txt 108-108 | |
(termFormat tg ListOrderFn "tungkulin ng talaan utos1") | relations-tg.txt 338-338 |
antecedent |
consequent |
statement |
(forall (@ROW ?ITEM) (equal (ListOrderFn (ListFn @ROW ?ITEM) (ListLengthFn (ListFn @ROW ?ITEM))) ?ITEM)) |
Merge.kif 3042-3046 | @ROW Entidade comprimento de (@ROW + Entidade)th elemento de (@ROW + Entidade) e' igual a Entidade |