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 2994-2997 | |
(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 2990-2990 | Le nombre 1 argument de ListOrderFn est une instance de liste |
(domain ListOrderFn 2 PositiveInteger) | Merge.kif 2991-2991 | Le nombre 2 argument de ListOrderFn est une instance de nombre entier positif |
(instance ListOrderFn BinaryFunction) | Merge.kif 2988-2988 | ListOrderFn est une instance de fonction binaire |
(instance ListOrderFn PartialValuedRelation) | Merge.kif 2989-2989 | ListOrderFn est une instance de relation partielle |
(range ListOrderFn Entity) | Merge.kif 2992-2992 | Le domaine de ListOrderFn est une instance de entit� |
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 34708-34708 | |
(termFormat ChineseTraditionalLanguage ListOrderFn "清單順序") | domainEnglishFormat.kif 34707-34707 | |
(termFormat EnglishLanguage ListOrderFn "list order") | domainEnglishFormat.kif 34706-34706 | |
(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 3055-3059 | @ROW Entit� equal longueur de (@ROW + entit�)th entit�) and entit� |
![]() |
![]() |