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

Formal Language: 


KB Term:  Term intersection
English Word: 

  watchingListings

 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 1234-1237
(domain watchingListings 1 AutonomousAgent) UXExperimentalTerms.kif 1241-1241
(domain watchingListings 2 Collection) UXExperimentalTerms.kif 1243-1243
(domain watchingListings 3 WebSite) UXExperimentalTerms.kif 1245-1245
(instance watchingListings TernaryPredicate) UXExperimentalTerms.kif 1232-1232

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


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

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 1257-1271
(=>
    (and
        (watchingListings ?USER ?COLL ?SITE)
        (member ?LISTING ?COLL))
    (instance ?LISTING WebListing))		 UXExperimentalTerms.kif 1251-1255
(=>
    (watchingListings ?USER ?COLL ?SITE)
    (registeredUser ?USER ?SITE))		 UXExperimentalTerms.kif 1247-1249

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


(=>
    (and
        (instance ?WATCH WatchItem)
        (instance ?OBJ Object)
        (patient ?WATCH ?OBJ)
        (agent ?WATCH ?USER))
    (exists (?COLL ?SITE ?AFTER ?INTERVAL)
        (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 1605-1621


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