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 | O argumento numero 1 de watchingListings e' uma instancia de AutonomousAgent |
(domain watchingListings 2 Collection) | UXExperimentalTerms.kif 1243-1243 | O argumento numero 2 de watchingListings e' uma instancia de Colecao |
(domain watchingListings 3 WebSite) | UXExperimentalTerms.kif 1245-1245 | O argumento numero 3 de watchingListings e' uma instancia de WebSite |
(instance watchingListings TernaryPredicate) | UXExperimentalTerms.kif 1232-1232 | watchingListings e' uma instancia de Predicado Ternario |
appearance as argument number 2 |
(format ChineseLanguage watchingListings "使用者 %1 在 %3 是 watching %2 ") | domainEnglishFormat.kif 4946-4946 | |
(format ChineseTraditionalLanguage watchingListings "使用者 %1 在 %3 是 watching %2 ") | domainEnglishFormat.kif 4945-4945 | |
(format EnglishLanguage watchingListings "user %1 on %3 is watching %2") | domainEnglishFormat.kif 4944-4944 | |
(termFormat EnglishLanguage watchingListings "watching listings") | UXExperimentalTerms.kif 1239-1239 |
antecedent |
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 |
|