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
Humain
est une
instance
de
humain
collection
est une
instance
de
collection
Experimenting
physique
processus
Experimenting
est une
instance
de
Experimenting
physique
est une
instance
de
processus
physique
est un
membre
de
QualifyingEventsFn
Experimenting
physique
est une
instance
de
processus
humain
est
capable
de faire
processus
dans le r�le
experiencer
physique
est un
membre
de
collection
physique
est un
membre
de
collection
physique
est une
instance
de
processus
Experimenting
physique
ESS
Experimenting
est une
instance
de
Experimenting
physique
est un
membre
de
QualifyingEventsFn
Experimenting
physique
est une
instance
de
physique
ESS
humain
est
capable
de faire
physique
ESS dans le r�le
experiencer
QualifiedTreatmentsFn
humain
est
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
Humain
est une
instance
de
humain
collection
est une
instance
de
collection
WebPage
processus
and
Experimenting
WebPage
est une
instance
de
WebPage
processus
est une
instance
de
AccessingWebPage
Experimenting
est une
instance
de
Experimenting
processus
est un
agent
de
humain
WebPage
est un
patient
de
processus
treatedPage
WebPage
and
Experimenting
processus
est un
membre
de
collection
collection
est
QPViewsFn
humain
(=>
(
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
Collection
est une
instance
de
collection
objet corpusculaire
est une
instance
de
HypertextLink
physique
physique
est un
membre
de
collection
physique
est une
instance
de
AccessingWebPage
collection
est un
composant
de
objet corpusculaire
collection
collection
est une
instance
de
collection
processus
processus
est une
instance
de
RequestingHyperlink
objet corpusculaire
est un
patient
de
processus
processus
est un
membre
de
collection
ClickThroughRateFn
collection
and
objet corpusculaire
est
instances
dans
collection
+ le nombre d'
instances
dans
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
Collection
est une
instance
de
collection
collection
est une
instance
de
collection
collection
est une
sous
-collection appartenant �
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
AccessingWebPage
processus
AutonomousAgent
,
processus
,
processus
and
objet
AutonomousAgent
est une
instance
de
humain
processus
est une
instance
de
acheter
processus
est une
instance
de
AccessingWebPage
objet
est une
instance
de
WebPage
processus
est un
membre
de
collection
processus
aboutit
�
objet
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
prend place
pendant
temps
d'existence de
processus
objet
est un
instrument
pour
processus
processus
est un
membre
de
collection
interval temporel
entit�
_IN_INTERVAL and
entit�
_IN_INTERVAL
SCRFn
collection
and
interval temporel
est
instances
dans la
classe
d�crite par
entit�
_IN_INTERVAL + le nombre d'
instances
dans la
classe
d�crite par
entit�
_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
meceCollection
collection
and
collection
collection
est une
instance
de
collection
collection
est une
instance
de
collection
physique
est une
instance
de
objet en une partie
physique
est un
membre
de
collection
collection
est un
membre
de
collection
collection
est un
membre
de
collection
collection
est
collection
~{
physique
est un
membre
de
collection
} ~{
physique
est un
membre
de
collection
}
(=>
(
instance
?COLL
Collection
)
(
exists
(?OBJ)
(
member
?OBJ ?COLL)))
Merge.kif 1270-1273
Collection
est une
instance
de
collection
physique
physique
est un
membre
de
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