during
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?ES ?Y)
(
instance
?Y
Year
))
(
during
?L ?Y))
Media.kif 437-444
If
a time interval
is an
instance
of
Easter sunday
and
another time interval
is an
instance
of
lent
and
the other time interval
meet
s
the time interval
and
the time interval
takes place
during
a third time interval
and
the third time interval
is an
instance
of
year
,
then
the other time interval
takes place
during
the third time interval
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?L ?Y)
(
instance
?Y
Year
))
(
during
?ES ?Y))
Media.kif 446-453
If
a time interval
is an
instance
of
Easter sunday
and
another time interval
is an
instance
of
lent
and
the other time interval
meet
s
the time interval
and
the other time interval
takes place
during
a third time interval
and
the third time interval
is an
instance
of
year
,
then
the time interval
takes place
during
the third time interval
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?INTERVAL
TimeInterval
))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE
(
QualifyingPurchasesFn
?EXPERIMENT))
(
during
(
WhenFn
?PURCHASE) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?USER
(
and
(
member
?USER
(
TreatedUsersFn
?EXPERIMENT))
(
instance
?ACCESSING
AccessingWebPage
)
(
during
(
WhenFn
?ACCESSING) ?INTERVAL)
(
agent
?ACCESSING ?USER)))))
(
PPIFn
?EXPERIMENT ?INTERVAL)))
UXExperimentalTerms.kif 3095-3114
If
an experimenting
is an
instance
of
experimenting
and
a time interval
is an
instance
of
time interval
,
then the number of
instances
in the
class
described by
a symbolic string
and the number of
instances
in the
class
described by
another symbolic string
is
equal
to
purchases
per
user
in
the experimenting
during
the time interval
(=>
(
and
(
instance
?F
(
FailureFn
?C))
(
agent
?F ?A))
(
and
(
desires
?A
(
exists
(?I)
(
and
(
instance
?I ?C)
(
agent
?I ?A))))
(
not
(
exists
(?I)
(
and
(
instance
?I ?C)
(
during
(
WhenFn
?I)
(
WhenFn
?F))
(
agent
?I ?A))))))
ComputingBrands.kif 4517-4532
If
a process
is an
instance
of
failure fn
a kind of intentional process
and
a cognitive agent
is an
agent
of
the process
,
then
the cognitive agent
desire
s there exists
another process
such that
the other process
is an
instance
of
a kind of intentional process
and
the cognitive agent
is an
agent
of
the other process
and there doesn't exist
the other process
such that
the other process
is an
instance
of
the kind of intentional process
and the
time
of existence of
the other process
takes place
during
the
time
of existence of
the process
and
the cognitive agent
is an
agent
of
the other process
(=>
(
and
(
instance
?FL
FlashingLight
)
(
origin
?FL ?L))
(
exists
(?I1 ?T2 ?I3)
(
and
(
instance
?I1
RadiatingLight
)
(
instance
?T2
TimeInterval
)
(
instance
?I3
RadiatingLight
)
(
meetsTemporally
(
WhenFn
?I1) ?I2)
(
meetsTemporally
?I2
(
WhenFn
?I3))
(
not
(
exists
(?I2)
(
and
(
instance
?I2
RadiatingLight
)
(
origin
?I2 ?L)
(
during
(
WhenFn
?I2) ?T2))))
(
subProcess
?I1 ?FL)
(
subProcess
?I3 ?FL))))
Mid-level-ontology.kif 643-661
If
a process
is an
instance
of
flashing light
and
the process
originate
s at
an object
,
then there exist
another process
,
a time interval
and
a third process
such that
the other process
is an
instance
of
radiating light
and
the time interval
is an
instance
of
time interval
and
the third process
is an
instance
of
radiating light
and the
time
of existence of
the other process
meet
s
another time interval
and
the other time interval
meet
s the
time
of existence of
the third process
and there doesn't exist
the other time interval
such that
the other time interval
is an
instance
of
radiating light
and
the other time interval
originate
s at
the object
and the
time
of existence of
the other time interval
takes place
during
the time interval
and
the other process
is a
subprocess
of
the process
and
the third process
is a
subprocess
of
the process
(=>
(
and
(
instance
?FM
FoamingMilk
)
(
instance
?M
ProcessedMilk
)
(
patient
?FM ?M))
(
exists
(?H ?A ?B)
(
and
(
instance
?H
Heating
)
(
patient
?H ?M)
(
instance
?A
Aerating
)
(
patient
?A ?M)
(
result
?A ?B)
(
instance
?B
Bubble
)
(
during
(
WhenFn
?A)
(
WhenFn
?H)))))
Food.kif 1190-1205
If
a process
is an
instance
of
foaming milk
and
an entity
is an
instance
of
processed milk
and
the entity
is a
patient
of
the process
,
then there exist
another process
,
a third process
and
another entity
such that
the other process
is an
instance
of
heating
and
the entity
is a
patient
of
the other process
and
the third process
is an
instance
of
aerating
and
the entity
is a
patient
of
the third process
and
the other entity
is a
result
of
the third process
and
the other entity
is an
instance
of
bubble
and the
time
of existence of
the third process
takes place
during
the
time
of existence of
the other process
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?DAY)
(
earlier
(
WhenFn
?D) ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
earlier
(
WhenFn
?WU)
(
WhenFn
?SUHUR))
(
during
(
WhenFn
?WU) ?DAY)
(
during
(
WhenFn
?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
If
an agent
is an
instance
of
man
and
mausaharati
is an
attribute
of
the agent
and
a process
is an
instance
of
drumming
and
the agent
is an
agent
of
the process
and
the process
AY is an
instance
of
day
and
another time interval
is an
instance
of
sunrise
and
the other time interval
takes place
during
the process
AY and the
time
of existence of
the process
happens
earlier
than
the other time interval
,
then
the process
has the purpose there exist
an entity
,
the other time interval
UHUR and
a third entity
such that
the third entity
is an
instance
of
waking up
and
the entity
experience
s
the third entity
and
the other time interval
UHUR is an
instance
of
suhur
and
the entity
is an
agent
of
the other time interval
UHUR and the
time
of existence of
the third entity
happens
earlier
than the
time
of existence of
the other time interval
UHUR and the
time
of existence of
the third entity
takes place
during
the process
AY and the
time
of existence of
the other time interval
UHUR takes place
during
the process
AY
(=>
(
and
(
instance
?HA
HeartAttack
)
(
instance
?H
Heart
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
Muscle
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11368-11385
If
a physical
is an
instance
of
myocardial infarction
and
an object
is an
instance
of
heart
and
the physical
is
located
at
the object
,
then there exists
another object
such that
the other object
is an
instance
of
muscle
and
the other object
is a
part
of
the object
and there don't exist
a time interval
and
a third object
such that
the time interval
is an
instance
of
liquid motion
and the object transferred in
the time interval
is
the third object
and
the third object
is an
instance
of
blood
and
the time interval
takes place
during
the
time
of existence of
the physical
and
the time interval
end
s up at
the other object
(=>
(
and
(
instance
?HA
Stroke
)
(
instance
?H
Brain
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
NerveCell
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11915-11932
If
a physical
is an
instance
of
stroke
and
an object
is an
instance
of
brain
and
the physical
is
located
at
the object
,
then there exists
another object
such that
the other object
is an
instance
of
nerve cell
and
the other object
is a
part
of
the object
and there don't exist
a time interval
and
a third object
such that
the time interval
is an
instance
of
liquid motion
and the object transferred in
the time interval
is
the third object
and
the third object
is an
instance
of
blood
and
the time interval
takes place
during
the
time
of existence of
the physical
and
the time interval
end
s up at
the other object
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
If
a transfer
is an
instance
of
injecting
and
an object
is an
instance
of
adalimumab
and the object transferred in
the transfer
is
the object
and
the transfer
is
located
at
another object
and
the other object
is an
instance
of
body part
and
the transfer
end
s up at
an entity
,
then the statement there exists
another entity
such that
pain
in the
the other object
is an
attribute
of
the entity
holds
during
the other entity
and
the other entity
takes place
during
after
the
time
of existence of
the transfer
has the
modal
force
of
likely
(=>
(
and
(
instance
?I
Itching
)
(
located
?I ?P)
(
part
?P ?H)
(
experiencer
?I ?H))
(
desires
?H
(
exists
(?S)
(
and
(
instance
?S
Scratching
)
(
during
(
WhenFn
?S)
(
WhenFn
?I))
(
located
?S ?P)))))
Mid-level-ontology.kif 5725-5736
If
a process
is an
instance
of
pruritus
and
the process
is
located
at
an object
and
the object
is a
part
of
a cognitive agent
and
the cognitive agent
experience
s
the process
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
scratching
and the
time
of existence of
the entity
takes place
during
the
time
of existence of
the process
and
the entity
is
located
at
the object
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWBUYERS)
(
and
(
instance
?NEWBUYERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWBUYERS)
(
and
(
exists
(?BUYING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?AGENT)
(
instrument
?BUYING ?SITE)
(
during
?BUYING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?BUYING_BEFORE)
(
and
(
instance
?BUYING_BEFORE
Buying
)
(
agent
?BUYING_BEFORE ?AGENT)
(
instrument
?BUYING_BEFORE ?SITE)
(
during
?BUYING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewBuyersFn
?INTERVAL ?SITE) ?NEWBUYERS))))
UXExperimentalTerms.kif 3376-3408
If
a time interval
is an
instance
of
time interval
and
a web site
is an
instance
of
web site
,
then there exists
a collection
such that
the collection
is an
instance
of
collection
and for all
an agent
if
the agent
is a
member
of
the collection
,
then there exists
another time interval
such that
the agent
is an
instance
of
agent
and
the other time interval
is an
instance
of
buying
and
the agent
is an
agent
of
the other time interval
and
the web site
is an
instrument
for
the other time interval
and
the other time interval
takes place
during
the time interval
and there doesn't exist
the time interval
_BEFORE such that
the time interval
_BEFORE is an
instance
of
time interval
and
the time interval
_BEFORE happens
earlier
than
the time interval
and there exists
the other time interval
_BEFORE such that
the other time interval
_BEFORE is an
instance
of
buying
and
the agent
is an
agent
of
the other time interval
_BEFORE and
the web site
is an
instrument
for
the other time interval
_BEFORE and
the other time interval
_BEFORE takes place
during
the time interval
holds
during
the time interval
_BEFORE
and
new
buyers
at
the web site
during
the time interval
is
equal
to
the collection
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWREGISTRATIONS)
(
and
(
instance
?NEWREGISTRATIONS
Collection
)
(
forall
(?USER)
(=>
(
and
(
instance
?USER
Human
)
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
registeredUser
?USER ?SITE)))))
(
exists
(?INTERVAL_DURING)
(
and
(
instance
?INTERVAL_DURING
TimeInterval
)
(
during
?INTERVAL_DURING ?INTERVAL)
(
holdsDuring
?INTERVAL
(
registeredUser
?USER ?SITE)))))
(
member
?USER ?NEWREGISTRATIONS)))
(
equal
?NEWREGISTRATIONS
(
SiteWideNewRegistrationsFn
?INTERVAL ?SITE)))))
UXExperimentalTerms.kif 3428-3455
If
a time interval
is an
instance
of
time interval
and
a web site
is an
instance
of
web site
,
then there exists
a collection
such that
the collection
is an
instance
of
collection
and for all
a physical
if
the physical
is an
instance
of
human
and there doesn't exist
the time interval
_BEFORE such that
the time interval
_BEFORE is an
instance
of
time interval
and
the time interval
_BEFORE happens
earlier
than
the time interval
and
the physical
is a
registered
user
of
the web site
holds
during
the time interval
_BEFORE and there exists
the time interval
_DURING such that
the time interval
_DURING is an
instance
of
time interval
and
the time interval
_DURING takes place
during
the time interval
and
the physical
is a
registered
user
of
the web site
holds
during
the time interval
,
then
the physical
is a
member
of
the collection
and
the collection
is
equal
to
new
registrations
at
the web site
during
the time interval
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWSELLERS)
(
and
(
instance
?NEWSELLERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWSELLERS)
(
and
(
exists
(?SELLING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?AGENT)
(
instrument
?SELLING ?SITE)
(
during
?SELLING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?SELLING_BEFORE)
(
and
(
instance
?SELLING_BEFORE
Selling
)
(
agent
?SELLING_BEFORE ?AGENT)
(
instrument
?SELLING_BEFORE ?SITE)
(
during
?SELLING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewSellersFn
?INTERVAL ?SITE) ?NEWSELLERS))))
UXExperimentalTerms.kif 3475-3507
If
a time interval
is an
instance
of
time interval
and
a web site
is an
instance
of
web site
,
then there exists
a collection
such that
the collection
is an
instance
of
collection
and for all
an agent
if
the agent
is a
member
of
the collection
,
then there exists
another time interval
such that
the agent
is an
instance
of
agent
and
the other time interval
is an
instance
of
selling
and
the agent
is an
agent
of
the other time interval
and
the web site
is an
instrument
for
the other time interval
and
the other time interval
takes place
during
the time interval
and there doesn't exist
the time interval
_BEFORE such that
the time interval
_BEFORE is an
instance
of
time interval
and
the time interval
_BEFORE happens
earlier
than
the time interval
and there exists
the other time interval
_BEFORE such that
the other time interval
_BEFORE is an
instance
of
selling
and
the agent
is an
agent
of
the other time interval
_BEFORE and
the web site
is an
instrument
for
the other time interval
_BEFORE and
the other time interval
_BEFORE takes place
during
the time interval
holds
during
the time interval
_BEFORE
and
new
sellers
at
the web site
during
the time interval
is
equal
to
the collection
(=>
(
and
(
instance
?M
GuidedMissile
)
(
instance
?FLYING
Flying
)
(
patient
?FLYING ?M))
(
exists
(?GUIDING)
(
and
(
instance
?GUIDING
Guiding
)
(
patient
?GUIDING ?FLYING)
(
agent
?GUIDING ?M)
(
during
(
WhenFn
?GUIDING)
(
WhenFn
?FLYING)))))
MilitaryDevices.kif 1051-1063
If
an agent
is an
instance
of
guided missile
and
a process
is an
instance
of
flying
and
the agent
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
guiding
and
the process
is a
patient
of
the other process
and
the agent
is an
agent
of
the other process
and the
time
of existence of
the other process
takes place
during
the
time
of existence of
the process
(=>
(
and
(
instance
?POLICY
DailyHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY))
(
modalAttribute
(
exists
(?GUEST ?ROOM ?STAY)
(
and
(
guest
?GUEST ?AGENT)
(
stays
?GUEST ?ROOM)
(
equal
?STAY
(
WhenFn
(
stays
?GUEST ?ROOM)))
(
holdsDuring
?STAY
(
forall
(?DAY)
(=>
(
and
(
instance
?DAY
Day
)
(
during
?DAY ?STAY))
(
exists
(?RC)
(
and
(
instance
?RC
RoomCleaningService
)
(
patient
?RC ?ROOM)
(
during
?RC ?DAY))))))))
Likely
))
Hotel.kif 2654-2674
If
a policy
is an
instance
of
daily housekeeping
and
an organization
enacts
policy
the policy
,
then the statement there exist
an entity
,
another entity
and
a third entity
such that
the entity
is a
guest
at
the organization
and
the entity
stays
at
the other entity
and
the third entity
is
equal
to the
time
of existence of
the entity
stays
at
the other entity
and for all
a fourth entity
if
the fourth entity
is an
instance
of
day
and
the fourth entity
takes place
during
the third entity
,
then there exists
a fifth entity
such that
the fifth entity
is an
instance
of
service
and
the other entity
is a
patient
of
the fifth entity
and
the fifth entity
takes place
during
the fourth entity
holds
during
the third entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?Q
QuarterYear
)
(
instance
?Q
(
QuarterFn
?N
(
YearFn
?Y)))
(
instance
?YI
(
YearFn
?Y)))
(
during
?Q ?YI))
Merge.kif 8980-8985
If
a time interval
is an
instance
of
quarter year
and
the time interval
is an
instance
of the number
a positive integer
quarter
of the
year
an integer
and
the integer
I is an
instance
of the
year
the integer
,
then
the time interval
takes place
during
the integer
I
(=>
(
and
(
instance
?S
SkinRash
)
(
experiencer
?S ?H))
(
modalAttribute
(
exists
(?I)
(
and
(
instance
?I
Itching
)
(
experiencer
?I ?H)
(
during
(
WhenFn
?I)
(
WhenFn
?S))))
Likely
))
Mid-level-ontology.kif 5749-5759
If
a process
is an
instance
of
rash
and
an agent
experience
s
the process
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
pruritus
and
the agent
experience
s
the entity
and the
time
of existence of
the entity
takes place
during
the
time
of existence of
the process
has the
modal
force
of
likely
(=>
(
and
(
instance
?S
Speaking
)
(
instance
?J
Jaw
)
(
agent
?S ?H)
(
part
?J ?H))
(
modalAttribute
(
exists
(?M)
(
and
(
instance
?M
BodyMotion
)
(
objectTransferred
?M ?J)
(
during
(
WhenFn
?M)
(
WhenFn
?S))))
Likely
))
Anatomy.kif 1664-1676
If
a process
is an
instance
of
speaking
and
an object
is an
instance
of
jaw
and
an agent
is an
agent
of
the process
and
the object
is a
part
of
the agent
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
body motion
and the object transferred in
the entity
is
the object
and the
time
of existence of
the entity
takes place
during
the
time
of existence of
the process
has the
modal
force
of
likely
(=>
(
and
(
instance
?T
Transportation
)
(
instance
?W
Wheel
)
(
instance
?A
Automobile
)
(
part
?W ?A)
(
instrument
?T ?A)
(
instance
?AB
AntilockBrake
)
(
instance
?D
Decelerating
)
(
instrument
?D ?AB)
(
part
?AB ?W))
(
hasPurpose
?AB
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
during
?R ?D)))))
Cars.kif 1292-1307
If
a process
is an
instance
of
transportation
and
an object
is an
instance
of
wheel
and
another object
is an
instance
of
automobile
and
the object
is a
part
of
the other object
and
the other object
is an
instrument
for
the process
and
the other object
B is an
instance
of
antilock brake
and
another process
is an
instance
of
decelerating
and
the other object
B is an
instrument
for
the other process
and
the other object
B is a
part
of
the object
,
then
the other object
B has the purpose there exists
an entity
such that
the entity
is an
instance
of
rotating
and
the entity
takes place
during
the other process
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T1 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T2 ?YEAR))
Media.kif 387-394
If
a time interval
is an
instance
of
advent
and
another time interval
is an
instance
of
Christmas day
and
the time interval
takes place
during
a third time interval
and
the third time interval
is an
instance
of
year
and
the time interval
meet
s
the other time interval
,
then
the other time interval
takes place
during
the third time interval
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T2 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T1 ?YEAR))
Media.kif 396-403
If
a time interval
is an
instance
of
advent
and
another time interval
is an
instance
of
Christmas day
and
the other time interval
takes place
during
a third time interval
and
the third time interval
is an
instance
of
year
and
the time interval
meet
s
the other time interval
,
then
the time interval
takes place
during
the third time interval
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
meetsTemporally
?T1 ?T2))
(
exists
(?YEAR)
(
and
(
instance
?YEAR
Year
)
(
during
?T1 ?YEAR)
(
during
?T2 ?YEAR))))
Media.kif 376-385
If
a time interval
is an
instance
of
advent
and
another time interval
is an
instance
of
Christmas day
and
the time interval
meet
s
the other time interval
,
then there exists
a third time interval
such that
the third time interval
is an
instance
of
year
and
the time interval
takes place
during
the third time interval
and
the other time interval
takes place
during
the third time interval
(=>
(
and
(
instance
?TSC
TwoStrokeCompression
)
(
eventLocated
?TSC ?E)
(
instance
?E
TwoStrokeEngine
))
(
exists
(?C)
(
and
(
instance
?C
Explosion
)
(
during
?C ?TSC)
(
eventLocated
?C ?E))))
Cars.kif 491-500
If
a time interval
is an
instance
of
two stroke compression
and
the time interval
is
located
at
an object
and
the object
is an
instance
of
two stroke engine
,
then there exists
another time interval
such that
the other time interval
is an
instance
of
explosion
and
the other time interval
takes place
during
the time interval
and
the other time interval
is
located
at
the object
(=>
(
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
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