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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - watchingListings
watchingListings

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


(documentation watchingListings EnglishLanguage "(watchingListings ?USER ?COLL ?SITE) relates a registeredUser of the WebSite ?SITE to the Collection ?COLL of items that user is 'watching' on the site. It is likely the user desires there to be Buyings of the Objects which are the patients of the Listings being watched.") UXExperimentalTerms.kif 1428-1431
(domain watchingListings 1 Agent) UXExperimentalTerms.kif 1435-1435 The number 1 argument of watching listings is an instance of agent
(domain watchingListings 2 Collection) UXExperimentalTerms.kif 1437-1437 The number 2 argument of watching listings is an instance of collection
(domain watchingListings 3 WebSite) UXExperimentalTerms.kif 1439-1439 The number 3 argument of watching listings is an instance of WebSite
(instance watchingListings TernaryPredicate) UXExperimentalTerms.kif 1426-1426 watching listings is an instance of ternary predicate

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


(format ChineseLanguage watchingListings "使用者 %1 在 %3 是 watching %2 ") domainEnglishFormat.kif 4951-4951
(format ChineseTraditionalLanguage watchingListings "使用者 %1 在 %3 是 watching %2 ") domainEnglishFormat.kif 4950-4950
(format EnglishLanguage watchingListings "user %1 on %3 is watching %2") domainEnglishFormat.kif 4949-4949
(termFormat EnglishLanguage watchingListings "watching listings") UXExperimentalTerms.kif 1433-1433

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


(=>
    (and
        (watchingListings ?USER ?COLL ?SITE)
        (instance ?LISTING WebListing)
        (instance ?OBJ Object)
        (patient ?LISTING ?OBJ)
        (member ?LISTING ?COLL))
    (modalAttribute
        (desires ?USER
            (exists (?BUYING)
                (and
                    (instance ?BUYING Buying)
                    (patient ?BUYING ?OBJ)
                    (agent ?BUYING ?USER)))) Likely))
UXExperimentalTerms.kif 1451-1465
(=>
    (and
        (watchingListings ?USER ?COLL ?SITE)
        (member ?LISTING ?COLL))
    (instance ?LISTING WebListing))
UXExperimentalTerms.kif 1445-1449
(=>
    (watchingListings ?USER ?COLL ?SITE)
    (registeredUser ?USER ?SITE))
UXExperimentalTerms.kif 1441-1443

consequent
-------------------------


(=>
    (and
        (instance ?WATCH WatchItem)
        (instance ?OBJ Object)
        (patient ?WATCH ?OBJ)
        (agent ?WATCH ?USER))
    (exists (?COLL ?SITE ?AFTER)
        (and
            (instance ?COLL Collection)
            (instance ?SITE WebSite)
            (instance ?INTERVAL TimeInterval)
            (watchingListings ?USER ?COLL ?SITE)
            (equal
                (BeginFn ?INTERVAL)
                (EndFn ?WATCH))
            (holdsDuring ?AFTER
                (member ?OBJ ?COLL)))))
UXExperimentalTerms.kif 1809-1825


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