TreeView Knowledge Base Browser

( ! [V__AGENT,V__PAGE,V__REQUEST,V__ACCESSING,V__LISTING] : (((s__instance(V__REQUEST,s__ViewItemRequest) & s__instance(V__ACCESSING,s__AccessingWebPage) & s__instance(V__PAGE,s__ViewItemPage) & s__instance(V__AGENT,s__Agent) & s__instance(V__LISTING,s__Advertising) & s__subProcess(V__ACCESSING,V__REQUEST) & s__component(V__PAGE,V__LISTING) & s__destination(V__ACCESSING,V__PAGE) & s__agent(V__ACCESSING,V__AGENT)) => (s__viewedListing(V__AGENT,V__LISTING))) ) )	UXExperimentalTerms.kif 1777-1788	If a process is an instance of view item request and another process is an instance of AccessingWebPage and a corpuscular object is an instance of next generation view item and an agent is an instance of agent and a web listing is an instance of advertising and the other process is a subprocess of the process and the corpuscular object is a component of the web listing and the other process ends up at the corpuscular object and the agent is an agent of the other process, then the agent viewed the web listing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12478-12483	If a physical is an instance of advertising, then there exists an entity such that the physical includes a reference to the entity and the physical has the purpose there exists another entity such that the other entity is an instance of selling and the entity is a patient of the other entity

consequent

( ! [V__OBJ,V__SITE] : (((s__instance(V__OBJ,s__Object) & s__instance(V__SITE,s__WebSite)) => ((s__advertisedOn(V__OBJ,V__SITE) => (( ? [V__ADVERT] : ((s__instance(V__ADVERT,s__Advertising) & s__hostedOn(V__ADVERT,V__SITE) & s__patient(V__ADVERT,V__OBJ)))))))) ) )	UXExperimentalTerms.kif 250-256	If an object was advertisedOn a WebSite, then there exists a web listing such that the web listing is an instance of advertising and the web listing is hosted on the WebSite and the object is a patient of the web listing
( ! [V__DESCRIPTIONPAGE] : ((s__instance(V__DESCRIPTIONPAGE,s__ProductDescriptionPage) => (( ? [V__PRODUCT, V__ADVERTISEMENT] : ((s__instance(V__PRODUCT,s__Class) & s__instance(V__ADVERTISEMENT,s__Advertising) & s__patient(V__ADVERTISEMENT,V__PRODUCT) & s__part(V__ADVERTISEMENT,V__DESCRIPTIONPAGE)))))) ) )	UXExperimentalTerms.kif 2243-2250	If an object is an instance of product description page, then there exist an entity and a process such that the entity is an instance of class and the process is an instance of advertising and the entity is a patient of the process and the process is a part of the object