| 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 1431-1434 | |
| (domain watchingListings 1 Agent) | UXExperimentalTerms.kif 1438-1438 | |
| (domain watchingListings 2 Collection) | UXExperimentalTerms.kif 1440-1440 | |
| (domain watchingListings 3 WebSite) | UXExperimentalTerms.kif 1442-1442 | |
| (instance watchingListings TernaryPredicate) | UXExperimentalTerms.kif 1429-1429 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage watchingListings "使用者 %1 在 %3 是 watching %2 ") | domainEnglishFormat.kif 4955-4955 | |
| (format ChineseTraditionalLanguage watchingListings "使用者 %1 在 %3 是 watching %2 ") | domainEnglishFormat.kif 4954-4954 | |
| (format EnglishLanguage watchingListings "user %1 on %3 is watching %2") | domainEnglishFormat.kif 4953-4953 | |
| (termFormat EnglishLanguage watchingListings "watching listings") | UXExperimentalTerms.kif 1436-1436 |
| 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 1454-1468 | |
| (=> (and (watchingListings ?USER ?COLL ?SITE) (member ?LISTING ?COLL)) (instance ?LISTING WebListing)) |
UXExperimentalTerms.kif 1448-1452 | |
| (=> (watchingListings ?USER ?COLL ?SITE) (registeredUser ?USER ?SITE)) |
UXExperimentalTerms.kif 1444-1446 |
| 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 1812-1828 |
|
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