Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 3164-3166
(domain FirstFn 1 List) Merge.kif 3162-3162
(instance FirstFn UnaryFunction) Merge.kif 3161-3161
(range FirstFn Entity) Merge.kif 3163-3163

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 23949-23949
(termFormat ChineseTraditionalLanguage FirstFn "第一") domainEnglishFormat.kif 23948-23948
(termFormat EnglishLanguage FirstFn "first") domainEnglishFormat.kif 23947-23947


        (viewedItemList ?USER ?LIST)
        (instance ?ACCESSING AccessingWebPage)
            (FirstFn ?LIST) ?ACCESSING))
        (exists (?ACCESSING2)
                (instance ?ACCESSING2 AccessingWebPage)
                (agent ?ACCESSING2 ?USER)
                    (WhenFn ?ACCESSING2)
                    (WhenFn ?ACCESSING))))))
UXExperimentalTerms.kif 973-987


        (equal ?A
            (ListSumFn ?L))
            (ListLengthFn ?L) 1))
    (equal ?A
            (FirstFn ?L)
                (SubListFn 2
                    (ListLengthFn ?L) ?L)))))
Merge.kif 3195-3205
        (inList ?INT ?LIST)
        (equal ?LIST
            (TimeIntervalListFn ?TIME ?DUR)))
        (BeginFn ?TIME)
            (FirstFn ?LIST))))
Weather.kif 1965-1972
        (instance ?LIST List)
            (equal ?LIST NullList)))
        (FirstFn ?LIST)
        (ListOrderFn ?LIST 1)))
Merge.kif 3168-3173
    (measuringListDuration ?LIST ?DURATION)
    (exists (?T)
            (equal ?T
                            (FirstFn ?LIST)))
                            (LastFn ?LIST)))))
            (duration ?T ?DURATION))))
Weather.kif 1877-1885

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