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


s__documentation(s__FirstFn__m,s__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 6352-6354
s__domain(s__FirstFn__m,1,s__List)

Mid-level-ontology.kif 6350-6350 The number 1 argument of first is an instance of list
s__instance(s__FirstFn__m,s__UnaryFunction)

s__instance(s__UnaryFunction,s__SetOrClass)

Mid-level-ontology.kif 6349-6349 First is an instance of unary function
s__range(s__FirstFn__m,s__Entity)

Mid-level-ontology.kif 6351-6351 The range of first is an instance of entity

appearance as argument number 2
-------------------------


s__format(s__EnglishLanguage,s__FirstFn__m,'the first of %1')

domainEnglishFormat.kif 261-261
s__termFormat(s__EnglishLanguage,s__FirstFn__m,'first')

domainEnglishFormat.kif 4414-4414 "first" is the printable form of first in english language

antecedent
-------------------------


( ! [V__USER,V__LIST,V__ACCESSING] :
   ((s__viewedItemList(V__USER,V__LIST)
     &
     s__instance(V__ACCESSING,s__AccessingWebPage) &
     (s__FirstFn(V__LIST)
     = V__ACCESSING))
=>
(~ (? [V__ACCESSING2] :
     (s__instance(V__ACCESSING2,s__AccessingWebPage) &
       s__agent(V__ACCESSING2,V__USER)
     &
     s__earlier(s__WhenFn(V__ACCESSING2)
  ,s__WhenFn(V__ACCESSING))))))
)

UXExperimentalTerms.kif 974-988

consequent
-------------------------


( ! [V__LIST] :
   ((s__instance(V__LIST,s__List) &
       (~ (V__LIST = s__NullList__m)))
       =>
       (s__FirstFn(V__LIST)
       = s__ListOrderFn(V__LIST,1)))
)

Mid-level-ontology.kif 6356-6361


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