member
(=>
(
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
(
instance
?X
Buffet
)
(
member
?ITEM ?X)
(
located
?X ?LOC1)
(
instance
?E
Eating
)
(
agent
?E ?AGENT)
(
eventLocated
?E ?LOC2)
(
patient
?E ?ITEM))
(
and
(
not
(
equal
?LOC1 ?LOC2))
(
exists
(?G)
(
and
(
instance
?G
Getting
)
(
patient
?G ?ITEM)
(
origin
?G ?LOC1)
(
agent
?G ?AGENT)
(
before
(
WhenFn
?G)
(
WhenFn
?E))))))
Dining.kif 274-291
If
a collection
is an
instance
of
buffet
and
a physical
is a
member
of
the collection
and
the collection
is
located
at
an object
and
a process
is an
instance
of
eating
and
an agent
is an
agent
of
the process
and
the process
is
located
at
another object
and
the physical
is a
patient
of
the process
,
then
the object
is not
equal
to
the other object
and there exists
another process
such that
the other process
is an
instance
of
getting
and
the physical
is a
patient
of
the other process
and
the other process
originate
s at
the object
and
the agent
is an
agent
of
the other process
and the
time
of existence of
the other process
happens
before
the
time
of existence of
the process
(=>
(
and
(
instance
?X
Outfit
)
(
member
?ITEM1 ?X)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM1)))
(
forall
(?ITEM2)
(=>
(
member
?ITEM2 ?X)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM2)))))
Dining.kif 469-479
If
a collection
is an
instance
of
outfit
and
a physical
is a
member
of
the collection
and
an entity
wear
s
the physical
holds
during
a time position
,
then for all
another physical
if
the other physical
is a
member
of
the collection
,
then
the entity
wear
s
the other physical
holds
during
the time position
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 26973-26999
If
a physical
is an
instance
of
surveillance system
and
the physical
is a
member
of
a collection
and
the physical
is a
member
of
another collection
and
the collection
is
located
at
an object
and
the collection
is an
instance
of
camera
and
the other collection
is
located
at
another object
and
the object
is not
equal
to
the other object
and
the other collection
is an
instance
of
video display
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
process
and
the entity
is
located
at
the object
and
the other entity
express
es
the entity
and
camera
is an
instrument
for
the fourth entity
and
the other entity
is a
result
of
the fourth entity
and
the third entity
is an
instance
of
radiating light
and
the other collection
is an
instrument
for
the third entity
and
the other entity
is a
patient
of
the third entity
and the
beginning
of
the entity
happens
before
the
beginning
of
the fourth entity
and the
beginning
of
the fourth entity
happens
before
the
beginning
of
the third entity
(=>
(
and
(
inventory
?O ?C)
(
member
?I ?C))
(
refers
?O ?I))
Mid-level-ontology.kif 22720-22724
If
a collection
is an
inventory
of
a content bearing object
and
a physical
is a
member
of
the collection
,
then
the content bearing object
includes a
reference
to
the physical
(=>
(
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
}
(=>
(
and
(
meceCollection
?COLL1 ?COLL2)
(
member
?MEMBER ?COLL1)
(
instance
?MEMBER
SelfConnectedObject
))
(
exists
(?COLL3)
(
and
(
instance
?COLL3
Collection
)
(
member
?MEMBER ?COLL3)
(
member
?COLL3 ?COLL2))))
UXExperimentalTerms.kif 4627-4636
If
a collection
and
another collection
are
mutually
exclusive
and
a physical
is a
member
of
the collection
and
the physical
is an
instance
of
self connected object
,
then there exists
a third collection
such that
the third collection
is an
instance
of
collection
and
the physical
is a
member
of
the third collection
and
the third collection
is a
member
of
the other collection
(=>
(
and
(
meceCollection
?COLL1 ?COLL2)
(
member
?MEMBER ?COLL2)
(
instance
?MEMBER
SelfConnectedObject
))
(
instance
?MEMBER
Collection
))
UXExperimentalTerms.kif 4620-4625
If
a collection
and
another collection
are
mutually
exclusive
and
a physical
is a
member
of
the other collection
and
the physical
is an
instance
of
self connected object
,
then
the physical
is an
instance
of
collection
(=>
(
and
(
member
?AGENT
InternationalCourtOfJustice
)
(
attribute
?AGENT
JudgeAtLaw
))
(
exists
(?POLITY)
(
and
(
instance
?POLITY
GeopoliticalArea
)
(
representativeAgentToAgent
?POLITY ?AGENT
InternationalCourtOfJustice
))))
Government.kif 3466-3473
If
an agent
is a
member
of
international court of justice
and
judge
is an
attribute
of
the agent
,
then there exists
another agent
such that
the other agent
is an
instance
of
geopolitical area
and
the other agent
is
representative
agent to agent
the agent
for
international court of justice
(=>
(
and
(
member
?OBJ1 ?COLL)
(
member
?OBJ2 ?COLL)
(
not
(
equal
?OBJ1 ?OBJ2)))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9593-9599
If
an object
is a
member
of
a collection
and
another object
is a
member
of
the collection
and
the object
is not
equal
to
the other object
,
then
the object
and
the other object
doesn't
overlapsSpatially
(=>
(
and
(
memberType
?GROUP ?TYPE)
(
member
?MEMBER ?GROUP))
(
instance
?MEMBER ?TYPE))
Mid-level-ontology.kif 22656-22660
If
a class
is a
member
type of
a collection
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
the class
(=>
(
and
(
militaryAge
?AREA
(
MeasureFn
?MILITARYAGE
YearDuration
))
(
militaryOfArea
?MILITARY ?AREA)
(
member
?AGENT ?MILITARY)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE))
Military.kif 852-860
If
a real number
year duration
(s) is a
military
age of
a geopolitical area
and
the geopolitical area
is a
military
of area of
a military organization
and
a physical
is a
member
of
the military organization
and the
age
of
the physical
is
another real number
year duration
(s),
then
the other real number
is
greater
than or equal to
the real number
(=>
(
and
(
militaryAge
?AREA
(
MeasureFn
?MILITARYAGE
YearDuration
))
(
militaryOfArea
?MILITARY ?AREA)
(
member
?AGENT ?MILITARY))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE))))
Military.kif 840-850
If
a real number
year duration
(s) is a
military
age of
a geopolitical area
and
the geopolitical area
is a
military
of area of
a military organization
and
a physical
is a
member
of
the military organization
,
then there exists
another real number
such that the
age
of
the physical
is
the other real number
year duration
(s) and
the other real number
is
greater
than or equal to
the real number
(=>
(
and
(
newRegisteredUsers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?DURING)
(
and
(
instance
?DURING
TimeInterval
)
(
during
?DURING ?INT)
(
holdsDuring
?DURING
(
registeredUser
?MEMBER ?SITE)))))
UXExperimentalTerms.kif 3629-3638
If members of
a collection
have
registered
for
a web site
during
a time interval
and
a physical
is a
member
of
the collection
,
then there exists
another time interval
such that
the other time interval
is an
instance
of
time interval
and
the other time interval
takes place
during
the time interval
and
the physical
is a
registered
user
of
the web site
holds
during
the other time interval
(=>
(
and
(
newRegisteredUsers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
instance
?MEMBER
AutonomousAgent
))
UXExperimentalTerms.kif 3623-3627
If members of
a collection
have
registered
for
a web site
during
a time interval
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
agent
(=>
(
and
(
newRegisteredUsers
?INT1 ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?INT2)
(
and
(
instance
?INT2
TimeInterval
)
(
earlier
?INT2 ?INT1)
(
holdsDuring
?INT2
(
registeredUser
?MEMBER ?SITE))))))
UXExperimentalTerms.kif 3640-3650
If members of
a collection
have
registered
for
a web site
during
a time interval
and
a physical
is a
member
of
the collection
,
then there doesn't exist
another time interval
such that
the other time interval
is an
instance
of
time interval
and
the other time interval
happens
earlier
than
the time interval
and
the physical
is a
registered
user
of
the web site
holds
during
the other time interval
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
instance
?SUBJECT
Human
)
(
instance
?EXPERIMENT1 ?CLASS1)
(
subclass
?CLASS1
Experimenting
)
(
member
?EXPERIMENT1 ?TESTCOL1)
(
capability
?CLASS1
experimentalSubject
?SUBJECT))
(
exists
(?EXPERIMENT2 ?CLASS2)
(
and
(
instance
?EXPERIMENT2 ?CLASS2)
(
member
?EXPERIMENT2 ?TESTCOL2)
(
subclass
?CLASS2
Experimenting
)
(
capability
?CLASS2
experimentalSubject
?SUBJECT))))
UXExperimentalTerms.kif 4467-4480
If
a collection
and
another collection
are
orthogonal
tests
and
an object
is an
instance
of
human
and
a physical
is an
instance
of
a kind of process
and
a kind of process
is a
subclass
of
experimenting
and
the physical
is a
member
of
the collection
and
the object
is
capable
of doing
the kind of process
as a
experimental subject
,
then there exist
another physical
and
another kind of process
such that
the other physical
is an
instance
of
another kind of process
and
the other physical
is a
member
of
the other collection
and
the other kind of process
is a
subclass
of
experimenting
and
the object
is
capable
of doing
the other kind of process
as a
experimental subject
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
member
?MEMBER ?TESTCOL1))
(
instance
?MEMBER
Experimenting
))
UXExperimentalTerms.kif 4455-4459
If
a collection
and
another collection
are
orthogonal
tests
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
experimenting
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
member
?MEMBER ?TESTCOL2))
(
instance
?MEMBER
Experimenting
))
UXExperimentalTerms.kif 4461-4465
If
a collection
and
another collection
are
orthogonal
tests
and
a physical
is a
member
of
the other collection
,
then
the physical
is an
instance
of
experimenting
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?AREA))
(
attribute
?AGENT
Female
)
(
member
?AGENT
(
ResidentFn
?AREA))
(
instance
?ELECTION
Election
))
(
not
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)))
Government.kif 1267-1273
If
exclusive male suffrage
is a
sub
-proposition of the
regional
law of
a geopolitical area
and
female
is an
attribute
of
an object
and
the object
is a
member
of the
resident
of
the geopolitical area
and
an election
is an
instance
of
election
,
then
the object
is not
capable
of doing the
voting
of
the election
as a
agent
(=>
(
and
(
watchingListings
?USER ?COLL ?SITE)
(
instance
?LISTING
WebListing
)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ)
(
member
?LISTING ?COLL))
(
modalAttribute
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER))))
Likely
))
UXExperimentalTerms.kif 1257-1271
If user
an agent
on
a web site
is
watching
a collection
and
a process
is an
instance
of
web listing
and
an entity
is an
instance
of
object
and
the entity
is a
patient
of
the process
and
the process
is a
member
of
the collection
,
then the statement
the agent
desire
s there exists
another entity
such that
the other entity
is an
instance
of
buying
and
the entity
is a
patient
of
the other entity
and
the agent
is an
agent
of
the other entity
has the
modal
force
of
likely
(=>
(
and
(
watchingListings
?USER ?COLL ?SITE)
(
member
?LISTING ?COLL))
(
instance
?LISTING
WebListing
))
UXExperimentalTerms.kif 1251-1255
If user
an agent
on
a web site
is
watching
a collection
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
web listing
(=>
(
and
(
webPurchases
?PURCHASES ?BUYER ?SITE)
(
member
?BUYING ?PURCHASES))
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?BUYER)
(
eCommerceSite
?BUYING ?SITE)))
UXExperimentalTerms.kif 839-846
If user
a human
at
a web site
has
bought
a collection
and
a financial transaction
is a
member
of
the collection
,
then
the financial transaction
is an
instance
of
buying
and
the human
is an
agent
of
the financial transaction
and
the web site
facilitates
the financial transaction
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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