| No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3928-3946 |
|
( ! [V__SELECT,V__ELEMENT] :
(((s__instance(V__SELECT,s__SelectingActiveArea) &
s__patient(V__SELECT,V__ELEMENT)
&
s__instance(V__ELEMENT,s__HypertextLink))
=>
(s__instance(V__SELECT,s__RequestingHyperlink)))
)
)
|
ComputerInput.kif 2264-2269 |
|
( ! [V__PAGE,V__VISITS,V__HYPERLINK] :
(((s__instance(V__PAGE,s__Collection) &
s__instance(V__PAGE,s__CorpuscularObject))
=>
(((s__instance(V__VISITS,s__Collection) &
s__instance(V__HYPERLINK,s__HypertextLink) &
( ! [V__ACCESSING] :
((s__member(V__ACCESSING,V__PAGE)
&
(s__instance(V__ACCESSING,s__AccessingWebPage) &
s__component(V__PAGE,V__HYPERLINK))))))
=>
(( ? [V__CLICKS] :
((s__instance(V__CLICKS,s__Collection) &
( ! [V__CLICK] :
(((s__instance(V__CLICK,s__RequestingHyperlink) &
s__patient(V__CLICK,V__HYPERLINK))
=>
(s__member(V__CLICK,V__CLICKS)))))
&
(s__ClickThroughRateFn(V__VISITS,V__HYPERLINK)
= s__DivisionFn(s__CardinalityFn(V__CLICKS)
,s__CardinalityFn(V__VISITS))))))))))
)
)
|
UXExperimentalTerms.kif 3541-3564 |
|
( ! [V__REQUEST] :
((s__instance(V__REQUEST,s__ViewItemRequest) =>
(( ? [V__CLICK, V__ACCESSING, V__PAGE] :
((s__instance(V__CLICK,s__RequestingHyperlink) &
s__instance(V__PAGE,s__ViewItemPage) &
s__instance(V__ACCESSING,s__AccessingWebPage) &
s__causes(V__CLICK,V__ACCESSING)
&
s__destination(V__ACCESSING,V__PAGE)
&
s__subProcess(V__CLICK,V__REQUEST))))))
)
)
|
UXExperimentalTerms.kif 1766-1775 |
|
RequestingHyperlink