List(liste) | ![]() |
appearance as argument number 1 |
![]() |
(documentation List ChineseLanguage "每个 List 是项目一个独特有序的n元组。 一般来说,List 是由 ListFn Function 来造成的,它可以接受任何数量的参数,然后交出一个有相同顺序项目的 List。 任何东西,包括其它的 List 都可以是一个 List 的项目。注:List 是可以延伸的 - 两个含有相同项目以 相同顺序排列的列表是一样的。另外也注意 一个 List 可以是空项的,在这情况下,这个 List 是个 NullList。") | chinese_format.kif 1952-1956 | |
(documentation List EnglishLanguage "Every List is a particular ordered n-tuple of items. Generally speaking, Lists are created by means of the ListFn Function, which takes any number of items as arguments and returns a List with the items in the same order. Anything, including other Lists, may be an item in a List. Note too that Lists are extensional - two lists that have the same items in the same order are identical. Note too that a List may contain no items. In that case, the List is the NullList.") | Merge.kif 2890-2897 | |
(documentation List JapaneseLanguage "すべての List は、特定の順序付けされた項目の n タプル である。一般的に、List は ListFn Function によって作成され、任意の数の項目を引数として受け 取り、同じ順序で項目を持つ List を返す。他の List を含むものはすべて、List 内の項目であって もよい。注:List は拡張子であり、同じ順序で同じ項目を持つ2つのリストが同じである場合もある。 注2:List には項目が含まれていない可能性がある。その場合、List は NullList である。") | japanese_format.kif 584-588 | |
(subclass List Abstract) | Merge.kif 2888-2888 | Liste est une sous-classe de abstrait |
appearance as argument number 2 |
![]() |
(instance NullList List) | Merge.kif 2930-2930 | NullList est une instance de liste |
(range AmountsFn List) | Merge.kif 7630-7630 | Le domaine de AmountsFn est une instance de liste |
(range ListConcatenateFn List) | Merge.kif 3087-3087 | Le domaine de ListConcatenateFn est une instance de liste |
(range ListFn List) | Merge.kif 2948-2948 | Le domaine de ListFn est une instance de liste |
(range Mean3SecondWindSpeedListFn List) | Weather.kif 2719-2719 | Le domaine de Mean3SecondWindSpeedListFn est une instance de liste |
(range SubListFn List) | Merge.kif 3177-3177 | Le domaine de SubListFn est une instance de liste |
(subclass Album List) | Music.kif 49-49 | Album est une sous-classe de liste |
(subclass ConsecutiveTimeIntervalList List) | Weather.kif 2651-2651 | ConsecutiveTimeIntervalList est une sous-classe de liste |
(subclass MeasuringList List) | Weather.kif 2438-2438 | MeasuringList est une sous-classe de liste |
(subclass MeasuringResultList List) | Weather.kif 2506-2506 | MeasuringResultList est une sous-classe de liste |
(subclass MusicChart List) | Music.kif 1121-1121 | MusicChart est une sous-classe de liste |
(subclass NumberList List) | Weather.kif 2541-2541 | NumberList est une sous-classe de liste |
(subclass SRPResults List) | UXExperimentalTerms.kif 2469-2469 | SRPResults est une sous-classe de liste |
(subclass UniqueList List) | Merge.kif 2916-2916 | Liste unique est une sous-classe de liste |
(termFormat ChineseLanguage List "串列") | chinese_format.kif 913-913 | Liste unique est une sous-classe de liste |
(termFormat EnglishLanguage List "list") | english_format.kif 1033-1033 | Liste unique est une sous-classe de liste |
(termFormat FrenchLanguage List "liste") | french_format.kif 589-589 | Liste unique est une sous-classe de liste |
(termFormat Hindi List "sUchI") | terms-hindi.txt 119-119 | Liste unique est une sous-classe de liste |
(termFormat ItalianLanguage List "Lista") | terms-it.txt 122-122 | Liste unique est une sous-classe de liste |
(termFormat JapaneseLanguage List "リスト") | japanese_format.kif 2274-2274 | Liste unique est une sous-classe de liste |
(termFormat PortugueseLanguage List "Lista") | portuguese_format.kif 541-541 | Liste unique est une sous-classe de liste |
(termFormat cb List "listahan") | terms-cb.txt 124-124 | Liste unique est une sous-classe de liste |
(termFormat cz List "list") | terms-cz.txt 156-156 | Liste unique est une sous-classe de liste |
(termFormat de List "Liste") | terms-de.txt 415-415 | Liste unique est une sous-classe de liste |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
![]() |
(domain AverageFn 1 List) | Merge.kif 3284-3284 | Le nombre 1 argument de AverageFn est une instance de liste |
(domain FirstFn 1 List) | Merge.kif 3239-3239 | Le nombre 1 argument de FirstFn est une instance de liste |
(domain LastFn 1 List) | Merge.kif 3219-3219 | Le nombre 1 argument de LastFn est une instance de liste |
(domain ListConcatenateFn 1 List) | Merge.kif 3085-3085 | Le nombre 1 argument de ListConcatenateFn est une instance de liste |
(domain ListConcatenateFn 2 List) | Merge.kif 3086-3086 | Le nombre 2 argument de ListConcatenateFn est une instance de liste |
(domain ListLengthFn 1 List) | Merge.kif 3027-3027 | Le nombre 1 argument de ListLengthFn est une instance de liste |
(domain ListOrderFn 1 List) | Merge.kif 2990-2990 | Le nombre 1 argument de ListOrderFn est une instance de liste |
(domain ListSumFn 1 List) | Merge.kif 3253-3253 | Le nombre 1 argument de ListSumFn est une instance de liste |
(domain MaxValueFn 1 List) | Weather.kif 2405-2405 | Le nombre 1 argument de MaxValueFn est une instance de liste |
(domain StandardDeviationFn 1 List) | Weather.kif 2228-2228 | Le nombre 1 argument de StandardDeviationFn est une instance de liste |
(domain SubListFn 3 List) | Merge.kif 3176-3176 | Le nombre 3 argument de SubListFn est une instance de liste |
(domain VarianceAverageFn 2 List) | Weather.kif 2172-2172 | Le nombre 2 argument de VarianceAverageFn est une instance de liste |
(domain VarianceFn 1 List) | Weather.kif 2195-2195 | Le nombre 1 argument de VarianceFn est une instance de liste |
(domain average 1 List) | Merge.kif 5388-5388 | Le nombre 1 argument de average est une instance de liste |
(domain commandLineArguments 2 List) | QoSontology.kif 1405-1405 | Le nombre 2 argument de commandLineArguments est une instance de liste |
(domain identicalListItems 1 List) | Merge.kif 3335-3335 | Le nombre 1 argument de identicalListItems est une instance de liste |
(domain identicalListItems 2 List) | Merge.kif 3336-3336 | Le nombre 2 argument de identicalListItems est une instance de liste |
(domain inList 2 List) | Merge.kif 3120-3120 | Le nombre 2 argument de inList est une instance de liste |
(domain initialList 1 List) | Merge.kif 3308-3308 | Le nombre 1 argument de initialList est une instance de liste |
(domain initialList 2 List) | Merge.kif 3309-3309 | Le nombre 2 argument de initialList est une instance de liste |
(domain subList 1 List) | Merge.kif 3133-3133 | Le nombre 1 argument de subList est une instance de liste |
(domain subList 2 List) | Merge.kif 3134-3134 | Le nombre 2 argument de subList est une instance de liste |
(domain viewedItemList 2 List) | UXExperimentalTerms.kif 763-763 | Le nombre 2 argument de viewedItemList est une instance de liste |
antecedent |
![]() |
(=> (and (instance ?LIST List) (not (equal ?LIST NullList))) (equal (FirstFn ?LIST) (ListOrderFn ?LIST 1))) |
Merge.kif 3245-3250 |
consequent |
![]() |
![]() |
![]() |