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

Show simplified definition (without tree view)
Show simplified definition (with tree view)