Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ListOnSite(list on site) |
| appearance as argument number 1 |
|
| (subclass ListOnSite IntentionalProcess) | UXExperimentalTerms.kif 257-257 | List on site is a subclass of intentional process |
| (documentation ListOnSite EnglishLanguage "An IntentionalProcess meant to represent the actions taken to initially list a Weblisting on a WebSite. There exists a TimeInterval before the processes occurred where the patient WebListing was not hostedOn the WebSite and a TimeInterval after which it does. The TimePoint marking the end of when the site is not hosted is the same as the end of the process (i.e. when WebListing began to be listed.") | UXExperimentalTerms.kif 260-264 | List on site is a subclass of intentional process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ListOnSite "list on site") | UXExperimentalTerms.kif 258-258 |
| antecedent |
|
|
| (=> (instance ?LIST ListOnSite) (exists (?SITE ?ADVERT ?EARLIER ?AFTER ?OWNER) (and (instance ?SITE WebSite) (instance ?ADVERT WebListing) (instance ?EARLIER TimeInterval) (instance ?AFTER TimeInterval) (patient ?LIST ?ADVERT) (equal (EndFn ?EARLIER) (EndFn ?LIST)) (earlier ?LIST ?AFTER) (meetsTemporally ?LIST ?AFTER) (holdsDuring ?EARLIER (not (hostedOn ?ADVERT ?SITE))) (holdsDuring ?AFTER (hostedOn ?ADVERT ?SITE)) (agent ?LIST ?OWNER) (possesses ?OWNER ?SITE)))) |
UXExperimentalTerms.kif 266-286 | If X is an instance of list on site, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of web site (3) Z is an instance of web listing (4) W is an instance of timeframe (5) V is an instance of timeframe (6) Z is a patient of X (7) equal the end of W (8) the end of X (9) X happens earlier than V (10) X meets V (11) Z is hosted on Y holds during W (12) Z is hosted on Y holds during V (13) U is an agent of X (14) U possesses Y |
| consequent |
|
|
| (=> (instance ?CHARGE InsertionFee) (exists (?ADVERT ?PROC ?OWNER) (and (instance ?ADVERT WebListing) (instance ?PROC ListOnSite) (instance ?OWNER AutonomousAgent) (patient ?PROC ?ADVERT) (causes ?PROC ?CHARGE) (agent ?CHARGE ?OWNER) (agent ?PROC ?OWNER)))) |
UXExperimentalTerms.kif 220-230 | If X is an instance of insertion fee, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of web listing (3) Z is an instance of list on site (4) W is an instance of agent (5) Y is a patient of Z (6) Z causes X (7) W is an agent of X (8) W is an agent of Z |
|