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 3228-3230 | |
(domain FirstFn 1 List) | Merge.kif 3226-3226 | Il numero 1 argomenti di FirstFn è un istanza di Lista |
(instance FirstFn UnaryFunction) | Merge.kif 3225-3225 | FirstFn è un' istanza di FunzioneUnaria |
(range FirstFn Entity) | Merge.kif 3227-3227 | rango di FirstFn è un'istanza di Entit� |
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 23954-23954 | |
(termFormat ChineseTraditionalLanguage FirstFn "第一") | domainEnglishFormat.kif 23953-23953 | |
(termFormat EnglishLanguage FirstFn "first") | domainEnglishFormat.kif 23952-23952 |
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 783-797 |
|
consequent |
(=> (and (equal ?A (ListSumFn ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?A (AdditionFn (FirstFn ?L) (ListSumFn (SubListFn 2 (ListLengthFn ?L) ?L))))) |
Merge.kif 3258-3268 | |
(=> (and (inList ?INT ?LIST) (equal ?LIST (TimeIntervalListFn ?TIME ?DUR))) (equal (BeginFn ?TIME) (BeginFn (FirstFn ?LIST)))) |
Weather.kif 1962-1969 | |
(=> (and (instance ?LIST List) (not (equal ?LIST NullList))) (equal (FirstFn ?LIST) (ListOrderFn ?LIST 1))) |
Merge.kif 3232-3237 | |
(=> (measuringListDuration ?LIST ?DURATION) (exists (?T) (and (equal ?T (TimeIntervalFn (BeginFn (WhenFn (FirstFn ?LIST))) (EndFn (WhenFn (LastFn ?LIST))))) (duration ?T ?DURATION)))) |
Weather.kif 1874-1882 |
|