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 2951-2954 | |
(domain ListLengthFn 1 List) | Merge.kif 2948-2948 | 找出表列长度的函数 的 1 数量 是 串列 的 instance |
(instance ListLengthFn TotalValuedRelation) | Merge.kif 2947-2947 | 找出表列长度的函数 是 总值关系 的 instance |
(instance ListLengthFn UnaryFunction) | Merge.kif 2946-2946 | 找出表列长度的函数 是 一元函数 的 instance |
(range ListLengthFn NonnegativeInteger) | Merge.kif 2949-2949 | 找出表列长度的函数 的 range 是 非负整数 的实例 |
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 | |
(termFormat ChineseLanguage ListLengthFn "列表长度") | domainEnglishFormat.kif 34674-34674 | |
(termFormat ChineseLanguage ListLengthFn "找出表列长度的函数") | chinese_format.kif 266-266 | |
(termFormat ChineseTraditionalLanguage ListLengthFn "列表長度") | domainEnglishFormat.kif 34673-34673 | |
(termFormat EnglishLanguage ListLengthFn "list length") | domainEnglishFormat.kif 34672-34672 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(forall (@ROW ?ITEM) (equal (ListLengthFn (ListFn @ROW ?ITEM)) (SuccessorFn (ListLengthFn (ListFn @ROW))))) |
Merge.kif 2971-2974 | 对所有 @ROW 和 另一个 实体 (@ROW 和 那个 另外 实体) 的长度 equal ((@ROW) 的长度+1) |
(forall (@ROW ?ITEM) (equal (ListOrderFn (ListFn @ROW ?ITEM) (ListLengthFn (ListFn @ROW ?ITEM))) ?ITEM)) |
Merge.kif 2976-2980 | 对所有 @ROW 和 另一个 实体 (@ROW 和 那个 另外 实体) 的第 (@ROW 和 那个 另外 实体) 的长度 几个元素 equal 那个 另外 实体 |
![]() |
![]() |