| 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 |
|
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