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


(documentation viewedItemList 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
(domain viewedItemList 1 AutonomousAgent) UXExperimentalTerms.kif 950-950 viewedItemList 的 1 数量 是 施事体 的 instance
(domain viewedItemList 2 List) UXExperimentalTerms.kif 952-952 viewedItemList 的 2 数量 是 串列 的 instance
(instance viewedItemList BinaryPredicate) UXExperimentalTerms.kif 948-948 viewedItemList 是 二元谓语 的 instance

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


(format ChineseLanguage viewedItemList "%2 是样品清单 viewed 由 %1 ") domainEnglishFormat.kif 4926-4926
(format ChineseTraditionalLanguage viewedItemList "%2 是樣品清單 viewed 由 %1 ") domainEnglishFormat.kif 4925-4925
(format EnglishLanguage viewedItemList "%2 is the list of items viewed by %1") domainEnglishFormat.kif 4924-4924
(termFormat EnglishLanguage viewedItemList "list of viewed items") UXExperimentalTerms.kif 954-954

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


(=>
    (and
        (viewedItemList ?USER ?LIST)
        (inList ?ACCESSING ?LIST))
    (and
        (instance ?ACCESSING AccessingWebPage)
        (agent ?ACCESSING ?USER)
        (exists (?DEST)
            (and
                (instance ?DEST WebPage)
                (destination ?ACCESSING WebPage)))))		 UXExperimentalTerms.kif 961-971
(=>
    (and
        (viewedItemList ?USER ?LIST)
        (instance ?ACCESSING AccessingWebPage)
        (equal
            (FirstFn ?LIST) ?ACCESSING))
    (not
        (exists (?ACCESSING2)
            (and
                (instance ?ACCESSING2 AccessingWebPage)
                (agent ?ACCESSING2 ?USER)
                (earlier
                    (WhenFn ?ACCESSING2)
                    (WhenFn ?ACCESSING))))))		 UXExperimentalTerms.kif 973-987
(=>
    (and
        (viewedItemList ?USER ?LIST)
        (instance ?ACCESSING1 AccessingWebPage)
        (instance ?ACCESSING2 AccessingWebPage)
        (agent ?ACCESSING1 ?USER)
        (agent ?ACCESSING2 ?USER)
        (instance ?INDEX1 PositiveInteger)
        (instance ?INDEX2 PositiveInteger)
        (equal
            (ListOrderFn ?LIST ?INDEX1) ?ACCESSING1)
        (equal
            (ListOrderFn ?LIST ?INDEX2) ?ACCESSING2)
        (greaterThan ?INDEX1 ?INDEX2))
    (earlier
        (WhenFn ?ACCESSING2)
        (WhenFn ?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