| List(Lista) | |
| 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 2877-2884 | |
| (documentation List JapaneseLanguage "すべての List は、特定の順序付けされた項目の n タプル である。一般的に、List は ListFn Function によって作成され、任意の数の項目を引数として受け 取り、同じ順序で項目を持つ List を返す。他の List を含むものはすべて、List 内の項目であって もよい。注：List は拡張子であり、同じ順序で同じ項目を持つ２つのリストが同じである場合もある。 注2：List には項目が含まれていない可能性がある。その場合、List は NullList である。") | japanese_format.kif 584-588 | |
| (subclass List Abstract) | Merge.kif 2875-2875 | Lista e' uma sub-classe de Abstrato |
| appearance as argument number 2 |
|
|
| (instance NullList List) | Merge.kif 2917-2917 | NullList e' uma instancia de Lista |
| (range AmountsFn List) | Merge.kif 7580-7580 | O contra-dominio de AmountsFn e' uma instancia de Lista |
| (range ListConcatenateFn List) | Merge.kif 3074-3074 | O contra-dominio de ListConcatenateFn e' uma instancia de Lista |
| (range ListFn List) | Merge.kif 2935-2935 | O contra-dominio de ListFn e' uma instancia de Lista |
| (range Mean3SecondWindSpeedListFn List) | Weather.kif 1995-1995 | O contra-dominio de Mean3SecondWindSpeedListFn e' uma instancia de Lista |
| (range SubListFn List) | Merge.kif 3164-3164 | O contra-dominio de SubListFn e' uma instancia de Lista |
| (subclass Album List) | Music.kif 49-49 | Album e' uma sub-classe de Lista |
| (subclass ConsecutiveTimeIntervalList List) | Weather.kif 1927-1927 | ConsecutiveTimeIntervalList e' uma sub-classe de Lista |
| (subclass MeasuringList List) | Weather.kif 1714-1714 | MeasuringList e' uma sub-classe de Lista |
| (subclass MeasuringResultList List) | Weather.kif 1782-1782 | MeasuringResultList e' uma sub-classe de Lista |
| (subclass MusicChart List) | Music.kif 1119-1119 | MusicChart e' uma sub-classe de Lista |
| (subclass NumberList List) | Weather.kif 1817-1817 | NumberList e' uma sub-classe de Lista |
| (subclass SRPResults List) | UXExperimentalTerms.kif 2469-2469 | SRPResults e' uma sub-classe de Lista |
| (subclass UniqueList List) | Merge.kif 2903-2903 | Lista Unica e' uma sub-classe de Lista |
| (termFormat ChineseLanguage List "串列") | chinese_format.kif 913-913 | |
| (termFormat EnglishLanguage List "list") | english_format.kif 1033-1033 | |
| (termFormat FrenchLanguage List "liste") | french_format.kif 589-589 | |
| (termFormat Hindi List "sUchI") | terms-hindi.txt 119-119 | |
| (termFormat ItalianLanguage List "Lista") | terms-it.txt 122-122 | |
| (termFormat JapaneseLanguage List "リスト") | japanese_format.kif 2274-2274 | |
| (termFormat PortugueseLanguage List "Lista") | portuguese_format.kif 541-541 | |
| (termFormat cb List "listahan") | terms-cb.txt 124-124 | |
| (termFormat cz List "list") | terms-cz.txt 156-156 | |
| (termFormat ro List "listã") | relations-ro.kif 610-610 | |
| 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 3271-3271 | O argumento numero 1 de AverageFn e' uma instancia de Lista |
| (domain FirstFn 1 List) | Merge.kif 3226-3226 | O argumento numero 1 de FirstFn e' uma instancia de Lista |
| (domain LastFn 1 List) | Merge.kif 3206-3206 | O argumento numero 1 de LastFn e' uma instancia de Lista |
| (domain ListConcatenateFn 1 List) | Merge.kif 3072-3072 | O argumento numero 1 de ListConcatenateFn e' uma instancia de Lista |
| (domain ListConcatenateFn 2 List) | Merge.kif 3073-3073 | O argumento numero 2 de ListConcatenateFn e' uma instancia de Lista |
| (domain ListLengthFn 1 List) | Merge.kif 3014-3014 | O argumento numero 1 de ListLengthFn e' uma instancia de Lista |
| (domain ListOrderFn 1 List) | Merge.kif 2977-2977 | O argumento numero 1 de ListOrderFn e' uma instancia de Lista |
| (domain ListSumFn 1 List) | Merge.kif 3240-3240 | O argumento numero 1 de ListSumFn e' uma instancia de Lista |
| (domain MaxValueFn 1 List) | Weather.kif 1681-1681 | O argumento numero 1 de MaxValueFn e' uma instancia de Lista |
| (domain StandardDeviationFn 1 List) | Weather.kif 1503-1503 | O argumento numero 1 de StandardDeviationFn e' uma instancia de Lista |
| (domain SubListFn 3 List) | Merge.kif 3163-3163 | O argumento numero 3 de SubListFn e' uma instancia de Lista |
| (domain VarianceAverageFn 2 List) | Weather.kif 1447-1447 | O argumento numero 2 de VarianceAverageFn e' uma instancia de Lista |
| (domain VarianceFn 1 List) | Weather.kif 1470-1470 | O argumento numero 1 de VarianceFn e' uma instancia de Lista |
| (domain average 1 List) | Merge.kif 5360-5360 | O argumento numero 1 de average e' uma instancia de Lista |
| (domain commandLineArguments 2 List) | QoSontology.kif 1296-1296 | O argumento numero 2 de commandLineArguments e' uma instancia de Lista |
| (domain identicalListItems 1 List) | Merge.kif 3320-3320 | O argumento numero 1 de identicalListItems e' uma instancia de Lista |
| (domain identicalListItems 2 List) | Merge.kif 3321-3321 | O argumento numero 2 de identicalListItems e' uma instancia de Lista |
| (domain inList 2 List) | Merge.kif 3107-3107 | O argumento numero 2 de inList e' uma instancia de Lista |
| (domain subList 1 List) | Merge.kif 3120-3120 | O argumento numero 1 de subList e' uma instancia de Lista |
| (domain subList 2 List) | Merge.kif 3121-3121 | O argumento numero 2 de subList e' uma instancia de Lista |
| (domain viewedItemList 2 List) | UXExperimentalTerms.kif 763-763 | O argumento numero 2 de viewedItemList e' uma instancia de Lista |
| antecedent |
|
|
| (=> (and (instance ?LIST List) (not (equal ?LIST NullList))) (equal (FirstFn ?LIST) (ListOrderFn ?LIST 1))) |
Merge.kif 3232-3237 |
| consequent |
|
|
|
|
|