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

Formal Language: 



KB Term:  Term intersection
English Word: 

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.") Mid-level-ontology.kif 6355-6357
(domain FirstFn 1 List) Mid-level-ontology.kif 6353-6353 The number 1 argument of first is an instance of list
(instance FirstFn UnaryFunction) Mid-level-ontology.kif 6352-6352 First is an instance of unary function
(range FirstFn Entity) Mid-level-ontology.kif 6354-6354 The range of first is an instance of entity

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 23887-23887 "第一" is the printable form of first in ChineseLanguage
(termFormat ChineseTraditionalLanguage FirstFn "第一") domainEnglishFormat.kif 23886-23886 "第一" is the printable form of first in ChineseTraditionalLanguage
(termFormat EnglishLanguage FirstFn "first") domainEnglishFormat.kif 23885-23885 "first" is the printable form of first in english language

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
        (instance ?LIST List)
        (not
            (equal ?LIST NullList)))
    (equal
        (FirstFn ?LIST)
        (ListOrderFn ?LIST 1)))
Mid-level-ontology.kif 6359-6364


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