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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 766-769
(domain viewedItemList 1 AutonomousAgent) UXExperimentalTerms.kif 762-762 Il numero 1 argomenti di viewedItemList è un istanza di AutonomousAgent
(domain viewedItemList 2 List) UXExperimentalTerms.kif 763-763 Il numero 2 argomenti di viewedItemList è un istanza di Lista
(instance viewedItemList BinaryPredicate) UXExperimentalTerms.kif 761-761 viewedItemList è un' istanza di PredicatoBinario

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


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

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 771-781
(=>
    (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 783-797
(=>
    (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 799-817


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 3.0 is open source software produced by Articulate Software and its partners