| 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.") | Mid-level-ontology.kif 6361-6363 | |
| (domain FirstFn 1 List) | Mid-level-ontology.kif 6359-6359 | |
| (instance FirstFn UnaryFunction) | Mid-level-ontology.kif 6358-6358 | |
| (range FirstFn Entity) | Mid-level-ontology.kif 6360-6360 |
| 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 23881-23881 | |
| (termFormat ChineseTraditionalLanguage FirstFn "第一") | domainEnglishFormat.kif 23880-23880 | |
| (termFormat EnglishLanguage FirstFn "first") | domainEnglishFormat.kif 23879-23879 |
| 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 969-983 |
| consequent |
|
|
| (=> (and (equal ?A (ListSumFn ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?A (AdditionFn (FirstFn ?L) (ListSumFn (SubListFn 2 (ListLengthFn ?L) ?L))))) |
Merge.kif 3111-3121 | |
| (=> (and (instance ?LIST List) (not (equal ?LIST NullList))) (equal (FirstFn ?LIST) (ListOrderFn ?LIST 1))) |
Mid-level-ontology.kif 6365-6370 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners