FirstFn |
appearance as argument number 1 |
![]() |
(documentation FirstFn EnglishLanguage "(FirstFn ?LIST) returns the first item in the List ?LIST. For example, (FirstFn (ListFn Monday Tuesday Wednesday)) would return the value of Monday.") | Merge.kif 3116-3118 | |
(domain FirstFn 1 List) | Merge.kif 3114-3114 | |
(instance FirstFn UnaryFunction) | Merge.kif 3113-3113 | |
(range FirstFn Entity) | Merge.kif 3115-3115 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage FirstFn "%1 的 first ") | domainEnglishFormat.kif 1012-1012 | |
(format ChineseTraditionalLanguage FirstFn "%1 的 first ") | domainEnglishFormat.kif 1011-1011 | |
(format EnglishLanguage FirstFn "the first of %1") | domainEnglishFormat.kif 1010-1010 | |
(termFormat ChineseLanguage FirstFn "第一") | domainEnglishFormat.kif 23890-23890 | |
(termFormat ChineseTraditionalLanguage FirstFn "第一") | domainEnglishFormat.kif 23889-23889 | |
(termFormat EnglishLanguage FirstFn "first") | domainEnglishFormat.kif 23888-23888 |
antecedent |
![]() |
(=> (and (viewedItemList ?USER ?LIST) (instance ?ACCESSING AccessingWebPage) (equal (FirstFn ?LIST) ?ACCESSING)) (not (exists (?ACCESSING2) (and (instance ?ACCESSING2 AccessingWebPage) (agent ?ACCESSING2 ?USER) (earlier (WhenFn ?ACCESSING2) (WhenFn ?ACCESSING)))))) |
UXExperimentalTerms.kif 971-985 |
consequent |
![]() |
(=> (and (equal ?A (ListSumFn ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?A (AdditionFn (FirstFn ?L) (ListSumFn (SubListFn 2 (ListLengthFn ?L) ?L))))) |
Merge.kif 3147-3157 | |
(=> (and (instance ?LIST List) (not (equal ?LIST NullList))) (equal (FirstFn ?LIST) (ListOrderFn ?LIST 1))) |
Merge.kif 3120-3125 |
![]() |
![]() |