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

Formal Language: 


KB Term:  Term intersection
English Word: 

  FirstFn

 Sigma KEE - FirstFn
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 3226-3228
(domain FirstFn 1 List) Merge.kif 3224-3224
(instance FirstFn UnaryFunction) Merge.kif 3223-3223
(range FirstFn Entity) Merge.kif 3225-3225

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 3256-3266
(=>
    (and
        (inList ?INT ?LIST)
        (equal ?LIST
            (TimeIntervalListFn ?TIME ?DUR)))
    (equal
        (BeginFn ?TIME)
        (BeginFn
            (FirstFn ?LIST))))		 Weather.kif 2482-2489
(=>
    (and
        (instance ?LIST List)
        (not
            (equal ?LIST NullList)))
    (equal
        (FirstFn ?LIST)
        (ListOrderFn ?LIST 1)))		 Merge.kif 3230-3235
(=>
    (measuringListDuration ?LIST ?DURATION)
    (exists (?T)
        (and
            (equal ?T
                (TimeIntervalFn
                    (BeginFn
                        (WhenFn
                            (FirstFn ?LIST)))
                    (EndFn
                        (WhenFn
                            (LastFn ?LIST)))))
            (duration ?T ?DURATION))))		 Weather.kif 2394-2402


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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