FirstFn - Sigma Knowledge base Browser

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

If %2 is the list of items viewed by 1 and a physical is an instance of AccessingWebPage and the first of a list is equal to the physical,
then there doesn't exist the physical2 such that the physical2 is an instance of AccessingWebPage and an agent is an agent of the physical2 and the time of existence of the physical2 happens earlier than the time of existence of the physical

consequent

Mid-level-ontology.kif 6360-6365