| 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 3241-3243 | |
| (domain FirstFn 1 List) | Merge.kif 3239-3239 | |
| (instance FirstFn UnaryFunction) | Merge.kif 3238-3238 | |
| (range FirstFn Entity) | Merge.kif 3240-3240 |
| 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 23959-23959 | |
| (termFormat ChineseTraditionalLanguage FirstFn "第一") | domainEnglishFormat.kif 23958-23958 | |
| (termFormat EnglishLanguage FirstFn "first") | domainEnglishFormat.kif 23957-23957 |
| 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 3271-3281 | |
| (=> (and (inList ?INT ?LIST) (equal ?LIST (TimeIntervalListFn ?TIME ?DUR))) (equal (BeginFn ?TIME) (BeginFn (FirstFn ?LIST)))) |
Weather.kif 2690-2697 | |
| (=> (and (instance ?LIST List) (not (equal ?LIST NullList))) (equal (FirstFn ?LIST) (ListOrderFn ?LIST 1))) |
Merge.kif 3245-3250 | |
| (=> (measuringListDuration ?LIST ?DURATION) (exists (?T) (and (equal ?T (TimeIntervalFn (BeginFn (WhenFn (FirstFn ?LIST))) (EndFn (WhenFn (LastFn ?LIST))))) (duration ?T ?DURATION)))) |
Weather.kif 2602-2610 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners