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 6356-6358
s__domain(s__FirstFn__m,1,s__List)

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

s__instance(s__FirstFn__m,s__UnaryFunction)

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

Mid-level-ontology.kif 6355-6355 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__instance(V__USER,s__Agent)s__and__ms__instance(V__LIST,s__List))
    s__=>((s__viewedItemList(V__USER,V__LIST)
      s__and__ms__instance(V__ACCESSING,s__AccessingWebPage)s__and__m(s__FirstFn(V__LIST)
    s__equal__mV__ACCESSING))
  s__=>(s__not__m(s__exists__m[V__ACCESSING2] :
     (s__instance(V__ACCESSING2,s__AccessingWebPage)s__and__ms__agent(V__ACCESSING2,V__USER)
    s__and__ms__earlier(s__WhenFn(V__ACCESSING2)
  ,s__WhenFn(V__ACCESSING)))))))
)

UXExperimentalTerms.kif 973-987

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


( ! [V__LIST] :
   ((s__instance(V__LIST,s__List)s__and__m(s__not__m(V__LISTs__equal__ms__NullList__m)))
  s__=>(s__FirstFn(V__LIST)
  s__equal__ms__ListOrderFn(V__LIST,1)))
)

Mid-level-ontology.kif 6360-6365


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