Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| viewedListing |
| appearance as argument number 1 |
|
| (instance viewedListing BinaryPredicate) | UXExperimentalTerms.kif 1524-1524 | viewed listing is an instance of binary predicate |
| (documentation viewedListing EnglishLanguage "(viewedListing ?AGENT ?LISTING) means that there is an instance of AccessingWebPage where ?AGENT is the agent of the accessing and a component of the page is the WebListing ?LISTING") | UXExperimentalTerms.kif 1526-1528 | viewed listing is an instance of binary predicate |
| (domain viewedListing 1 AutonomousAgent) | UXExperimentalTerms.kif 1532-1532 | The number 1 argument of viewed listing is an instance of agent |
| (domain viewedListing 2 WebListing) | UXExperimentalTerms.kif 1534-1534 | The number 2 argument of viewed listing is an instance of web listing |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage viewedListing "viewed listing") | UXExperimentalTerms.kif 1530-1530 | |
| (format EnglishLanguage viewedListing "%1 viewed %2") | domainEnglishFormat.kif 4930-4930 | |
| (format ChineseTraditionalLanguage viewedListing "%1 viewed %2 ") | domainEnglishFormat.kif 4931-4931 | |
| (format ChineseLanguage viewedListing "%1 viewed %2 ") | domainEnglishFormat.kif 4932-4932 |
| antecedent |
|
|
| (=> (viewedListing ?AGENT ?LISTING) (exists (?PAGE ?ACCESSING) (and (instance ?PAGE WebPage) (instance ?ACCESSING AccessingWebPage) (component ?LISTING ?PAGE) (agent ?ACCESSING ?AGENT) (destination ?ACCESSING ?PAGE)))) |
UXExperimentalTerms.kif 1536-1544 | If X viewed Y, then there exist Z, W such that Z is an instance of web page, W is an instance of accessing web page, Y is a component of Z, X is an agent of W, and W ends up at Z |
| consequent |
|
|
| (=> (and (instance ?REQUEST ViewItemRequest) (instance ?ACCESSING AccessingWebPage) (instance ?PAGE ViewItemPage) (instance ?AGENT AutonomousAgent) (instance ?LISTING Advertising) (subProcess ?ACCESSING ?REQUEST) (component ?PAGE ?LISTING) (destination ?ACCESSING ?PAGE) (agent ?ACCESSING ?AGENT)) (viewedListing ?AGENT ?LISTING)) |
UXExperimentalTerms.kif 1570-1581 | If All of the following hold: (1) X is an instance of view item request (2) Y is an instance of accessing web page (3) Z is an instance of next generation view item (4) W is an instance of agent (5) V is an instance of advertising (6) Y is a subprocess of X (7) Z is a component of V (8) Y ends up at Z (9) W is an agent of Y, then W viewed V |
|