| appearance as argument number 1 |
|
| (instance watchingListings TernaryPredicate) | UXExperimentalTerms.kif 1232-1232 | watching listings is an instance of ternary predicate |
| (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 | watching listings is an instance of ternary predicate |
| (domain watchingListings 1 AutonomousAgent) | UXExperimentalTerms.kif 1241-1241 | The number 1 argument of watching listings is an instance of agent |
| (domain watchingListings 2 Collection) | UXExperimentalTerms.kif 1243-1243 | The number 2 argument of watching listings is an instance of collection |
| (domain watchingListings 3 WebSite) | UXExperimentalTerms.kif 1245-1245 | The number 3 argument of watching listings is an instance of web site |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage watchingListings "watching listings") | UXExperimentalTerms.kif 1239-1239 | |
| (format EnglishLanguage watchingListings "user %1 on %3 is watching %2") | domainEnglishFormat.kif 4950-4950 | |
| (format ChineseTraditionalLanguage watchingListings "使用者 %1 在 %3 是 watching %2 ") | domainEnglishFormat.kif 4951-4951 | |
| (format ChineseLanguage watchingListings "使用者 %1 在 %3 是 watching %2 ") | domainEnglishFormat.kif 4952-4952 |
| antecedent |
|
|
| (=> (watchingListings ?USER ?COLL ?SITE) (registeredUser ?USER ?SITE)) |
UXExperimentalTerms.kif 1247-1249 | If user X on Y is watching Z, then X is a registered user of Y |
| (=> (and (watchingListings ?USER ?COLL ?SITE) (member ?LISTING ?COLL)) (instance ?LISTING WebListing)) |
UXExperimentalTerms.kif 1251-1255 | If user X on Y is watching Z and W is a member of Z, then W is an instance of web listing |
| (=> (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 | If user X on Y is watching Z, W is an instance of web listing, V is an instance of object, V is a patient of W, and W is a member of Z, then the statement X desires there exists U such that U is an instance of buying, V is a patient of U, and X is an agent of U has the modal force of likely |
| 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 | If X is an instance of watch item, Y is an instance of object, Y is a patient of X, and Z is an agent of X, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of collection (3) V is an instance of web site (4) T is an instance of timeframe (5) user Z on V is watching W (6) equal the beginning of T (7) the end of X (8) Y is a member of W holds during U |
|
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