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

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

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