ListLengthFn |
appearance as argument number 1 |
(documentation ListLengthFn ChineseLanguage "这个 Function 接受一个 List 作为它唯一的参数, 然后交出这个 List 中项目的数量。例如: (ListLengthFn (ListFn Monday Tuesday Wednesday))交出的值会是3。") | chinese_format.kif 1967-1969 | |
(documentation ListLengthFn EnglishLanguage "A Function that takes a List as its sole argument and returns the number of items in the List. For example, (ListLengthFn (ListFn Monday Tuesday Wednesday)) would return the value 3.") | Merge.kif 3017-3020 | |
(documentation ListLengthFn JapaneseLanguage "Function は、 List を唯一の引数として受け 取り、List 内の項目数を返す。例:(ListLengthFn (ListFn Monday Tuesday Wednesday)) は3の値を返す。") | japanese_format.kif 599-601 | |
(domain ListLengthFn 1 List) | Merge.kif 3014-3014 | 域 列表長度, 1 and List |
(instance ListLengthFn TotalValuedRelation) | Merge.kif 3013-3013 | 例 列表長度 and TotalValuedRelation |
(instance ListLengthFn UnaryFunction) | Merge.kif 3012-3012 | 例 列表長度 and UnaryFunction |
(range ListLengthFn NonnegativeInteger) | Merge.kif 3015-3015 | 範圍 列表長度 and NonnegativeInteger |
appearance as argument number 2 |
(format ChineseLanguage ListLengthFn "%1 的长度") | chinese_format.kif 265-265 | |
(format EnglishLanguage ListLengthFn "length of %1") | english_format.kif 270-270 | |
(format FrenchLanguage ListLengthFn "longueur de %1") | french_format.kif 151-151 | |
(format ItalianLanguage ListLengthFn "lunghezza di %1") | relations-it.txt 168-168 | |
(format JapaneseLanguage ListLengthFn "%1 の length") | japanese_format.kif 1979-1979 | |
(format PortugueseLanguage ListLengthFn "comprimento de %1") | portuguese_format.kif 103-103 | |
(format cz ListLengthFn "length of %1") | relations-cz.txt 160-160 | |
(format de ListLengthFn "Laenge von %1") | relations-de.txt 341-341 | |
(format hi ListLengthFn "%1 kii lambaaaii") | relations-hindi.txt 57-57 | |
(format ro ListLengthFn "length%t{lungimea} lui %1") | relations-ro.kif 170-170 | |
(format sv ListLengthFn "längden av %1") | relations-sv.txt 157-157 | |
(format tg ListLengthFn "haba ng %1") | relations-tg.txt 335-335 | |
(termFormat ChineseLanguage ListLengthFn "列表长度") | domainEnglishFormat.kif 34691-34691 | |
(termFormat ChineseLanguage ListLengthFn "找出表列长度的函数") | chinese_format.kif 266-266 | |
(termFormat ChineseTraditionalLanguage ListLengthFn "列表長度") | domainEnglishFormat.kif 34690-34690 | |
(termFormat EnglishLanguage ListLengthFn "list length") | domainEnglishFormat.kif 34689-34689 | |
(termFormat de ListLengthFn "ListeLaengeFn") | terms-de.txt 109-109 | |
(termFormat tg ListLengthFn "tungkulin ng talaan haba") | relations-tg.txt 336-336 |
antecedent |
consequent |
statement |
(forall (@ROW ?ITEM) (equal (ListLengthFn (ListFn @ROW ?ITEM)) (SuccessorFn (ListLengthFn (ListFn @ROW))))) |
Merge.kif 3037-3040 | @ROW Entity 等於 列表長度 名單 @ROW and entity and 接班人 列表長度 名單 @ROW |
(forall (@ROW ?ITEM) (equal (ListOrderFn (ListFn @ROW ?ITEM) (ListLengthFn (ListFn @ROW ?ITEM))) ?ITEM)) |
Merge.kif 3042-3046 | @ROW Entity 等於 清單順序 名單 @ROW and Entity and 列表長度 名單 @ROW and Entity and Entity |