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

Formal Language: 



KB Term:  Term intersection
English Word: 

  viewedItemList

Sigma KEE - viewedItemList
viewedItemList

appearance as argument number 1
-------------------------


s__documentation(s__viewedItemList__m,s__EnglishLanguage,'"(viewedItemList ?USER ?LIST) relates a List composed of AccessingWebPages in the order visited by ?USER, where each of the WebPages which are the destinations of those accessings is contains a WebListing. The most recent AccessingWebPage is at index 1"')

UXExperimentalTerms.kif 956-959
s__domain(s__viewedItemList__m,n__1,s__Agent)

UXExperimentalTerms.kif 950-950 The number 1 argument of list of viewed items is an instance of agent
s__domain(s__viewedItemList__m,n__2,s__List)

UXExperimentalTerms.kif 952-952 The number 2 argument of list of viewed items is an instance of list
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__viewedItemList__m,s__BinaryPredicate)

UXExperimentalTerms.kif 948-948 list of viewed items is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__viewedItemList__m,'"%2 是样品清单 viewed 由 %1 "')

domainEnglishFormat.kif 4931-4931
s__format(s__ChineseTraditionalLanguage,s__viewedItemList__m,'"%2 是樣品清單 viewed 由 %1 "')

domainEnglishFormat.kif 4930-4930
s__format(s__EnglishLanguage,s__viewedItemList__m,'"%2 is the list of items viewed by 1"')

domainEnglishFormat.kif 4929-4929
s__termFormat(s__EnglishLanguage,s__viewedItemList__m,'"list of viewed items"')

UXExperimentalTerms.kif 954-954

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


( ! [V__USER,V__ACCESSING,V__LIST] :
   (((s__instance(V__USER,s__Agent) &
         s__instance(V__ACCESSING,s__Process) &
         s__instance(V__LIST,s__List))
       =>
       (((s__viewedItemList(V__USER,V__LIST)
           &
           s__inList(V__ACCESSING,V__LIST))
       =>
       ((s__instance(V__ACCESSING,s__AccessingWebPage) &
           s__agent(V__ACCESSING,V__USER)
         &
         ( ? [V__DEST] :
           ((s__instance(V__DEST,s__WebPage) &
               s__destination(V__ACCESSING,s__WebPage)))))))))
)
)

UXExperimentalTerms.kif 961-971
( ! [V__USER,V__ACCESSING,V__LIST] :
   (((s__instance(V__USER,s__Agent) &
         s__instance(V__LIST,s__List))
       =>
       (((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 973-987
( ! [V__USER,V__LIST,V__ACCESSING2,V__INDEX2,V__ACCESSING1,V__INDEX1] :
   (((s__instance(V__USER,s__Agent) &
         s__instance(V__LIST,s__List))
       =>
       (((s__viewedItemList(V__USER,V__LIST)
           &
           s__instance(V__ACCESSING1,s__AccessingWebPage) &
           s__instance(V__ACCESSING2,s__AccessingWebPage) &
           s__agent(V__ACCESSING1,V__USER)
         &
         s__agent(V__ACCESSING2,V__USER)
       &
       s__instance(V__INDEX1,s__PositiveInteger) &
       s__instance(V__INDEX2,s__PositiveInteger) &
       (s__ListOrderFn(V__LIST,V__INDEX1)
       = V__ACCESSING1)
     &
     (s__ListOrderFn(V__LIST,V__INDEX2)
     = V__ACCESSING2)
   &
   s__greaterThan(V__INDEX1,V__INDEX2))
=>
(s__earlier(s__WhenFn(V__ACCESSING2)
,s__WhenFn(V__ACCESSING1))))))
)
)

UXExperimentalTerms.kif 989-1007


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners