Collection
(collection)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?COLL
Collection
)
(
forall
(?EXPERIMENT ?EVENT)
(=>
(
exists
(?CLASS)
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?EVENT
Process
)
(
member
?EVENT
(
QualifyingEventsFn
?EXPERIMENT))
(
instance
?EVENT ?CLASS)
(
capability
?CLASS
experiencer
?VISITOR)))
(
member
?EVENT ?COLL)))
(=>
(
member
?PROC ?COLL)
(
and
(
instance
?PROC
Process
)
(
exists
(?EXP ?PROCESS)
(
and
(
instance
?EXP
Experimenting
)
(
member
?PROC
(
QualifyingEventsFn
?EXP))
(
instance
?PROC ?PROCESS)
(
capability
?PROCESS
experiencer
?VISITOR))))))
(
equal
(
QualifiedTreatmentsFn
?VISITOR) ?COLL))
UXExperimentalTerms.kif 4241-4267
If
a human
is an
instance
of
human
and
a collection
is an
instance
of
collection
and for all
an experimenting
and
a physical
if there exists
a kind of process
such that
the experimenting
is an
instance
of
experimenting
and
the physical
is an
instance
of
process
and
the physical
is a
member
of
events
in
the experimenting
and
the physical
is an
instance
of
a kind of process
and
the human
is
capable
of doing
the kind of process
as a
experiencer
,
then
the physical
is a
member
of
the collection
and
if
another physical
is a
member
of
the collection
,
then
the other physical
is an
instance
of
process
and there exist
another experimenting
and
the other physical
ESS such that
the other experimenting
is an
instance
of
experimenting
and
the other physical
is a
member
of
events
in
the other experimenting
and
the other physical
is an
instance
of
the other physical
ESS and
the human
is
capable
of doing
the other physical
ESS as a
experiencer
,
then all the processes
the human
is
qualified
for is
equal
to
the collection
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?QPVIEWS
Collection
)
(
forall
(?PAGE ?ACCESSING ?EXPERIMENT)
(=>
(
and
(
instance
?PAGE
WebPage
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?EXPERIMENT
Experimenting
)
(
agent
?ACCESSING ?VISITOR)
(
patient
?ACCESSING ?PAGE)
(
treatedPage
?PAGE ?EXPERIMENT))
(
member
?ACCESSING ?QPVIEWS))))
(
equal
?QPVIEWS
(
QPViewsFn
?VISITOR)))
UXExperimentalTerms.kif 4175-4190
If
a human
is an
instance
of
human
and
a collection
is an
instance
of
collection
and for all
a web page
,
a process
and
an experimenting
if
the web page
is an
instance
of
web page
and
the process
is an
instance
of
accessing web page
and
the experimenting
is an
instance
of
experimenting
and
the human
is an
agent
of
the process
and
the web page
is a
patient
of
the process
and
the web page
is the object of study of
the experimenting
,
then
the process
is a
member
of
the collection
,
then
the collection
is
equal
to all the
treated
web
page
views from
the human
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?HYPERLINK
HypertextLink
)
(
forall
(?ACCESSING)
(
and
(
member
?ACCESSING ?PAGE)
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
component
?PAGE ?HYPERLINK)))))
(
exists
(?CLICKS)
(
and
(
instance
?CLICKS
Collection
)
(
forall
(?CLICK)
(=>
(
and
(
instance
?CLICK
RequestingHyperlink
)
(
patient
?CLICK ?HYPERLINK))
(
member
?CLICK ?CLICKS)))
(
equal
(
ClickThroughRateFn
?VISITS ?HYPERLINK)
(
DivisionFn
(
CardinalityFn
?CLICKS)
(
CardinalityFn
?VISITS))))))
UXExperimentalTerms.kif 3333-3356
If
a collection
is an
instance
of
collection
and
a corpuscular object
is an
instance
of
hyperlink
and for all
a physical
the physical
is a
member
of
another collection
and
the physical
is an
instance
of
accessing web page
and
the other collection
is a
component
of
the corpuscular object
,
then there exists
a third collection
such that
the third collection
is an
instance
of
collection
and for all
a process
if
the process
is an
instance
of
requesting hyperlink
and
the corpuscular object
is a
patient
of
the process
,
then
the process
is a
member
of
the third collection
and the
rate
of clicking through
the corpuscular object
in
the collection
is
equal
to the number of
instances
in
the third collection
and the number of
instances
in
the collection
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
exists
(?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704
If
a collection
is an
instance
of
collection
and
another collection
is an
instance
of
collection
and
the other collection
is a proper
sub
-collection of
the collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
accessing web page
and for all
a process
,
an agent
,, ,
another process
,, ,
the process
and
an object
if
the agent
is an
instance
of
human
and
the process
is an
instance
of
buying
and
the other process
is an
instance
of
accessing web page
and
the object
is an
instance
of
web page
and
the other process
is a
member
of
the collection
and
the other process
end
s up at
the object
and
the agent
is an
agent
of
the process
and
the agent
is an
agent
of
the other process
and the
time
of existence of
the process
takes place
during
the
time
of existence of
the other process
and
the object
is an
instrument
for
the process
,
then
the process
is a
member
of
the other collection
,
then there exist
a time interval
,
an entity
_IN_INTERVAL and
another entity
_IN_INTERVAL such that
purchases
made in
the collection
during
the time interval
is
equal
to the number of
instances
in the
class
described by
the entity
_IN_INTERVAL and the number of
instances
in the
class
described by
the other entity
_IN_INTERVAL
(=>
(
and
(
meceCollection
?COLL1 ?COLL2)
(
instance
?COLL3
Collection
)
(
instance
?COLL4
Collection
)
(
instance
?MEMBER
SelfConnectedObject
)
(
member
?MEMBER ?COLL1)
(
member
?COLL3 ?COLL2)
(
member
?COLL4 ?COLL2)
(
not
(
equal
?COLL3 ?COLL4)))
(
not
(
and
(
member
?MEMBER ?COLL3)
(
member
?MEMBER ?COLL4))))
UXExperimentalTerms.kif 4638-4652
If
a collection
and
another collection
are
mutually
exclusive
and
a third collection
is an
instance
of
collection
and
a fourth collection
is an
instance
of
collection
and
a physical
is an
instance
of
self connected object
and
the physical
is a
member
of
the collection
and
the third collection
is a
member
of
the other collection
and
the fourth collection
is a
member
of
the other collection
and
the third collection
is not
equal
to
the fourth collection
,
then ~{
the physical
is a
member
of
the third collection
} or ~{
the physical
is a
member
of
the fourth collection
}
(=>
(
instance
?COLL
Collection
)
(
exists
(?OBJ)
(
member
?OBJ ?COLL)))
Merge.kif 1270-1273
If
a collection
is an
instance
of
collection
,
then there exists
a physical
such that
the physical
is a
member
of
the collection
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is
open source software
produced by
Articulate Software
and its partners