eventLocated
(=>
(
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
?W
Wind
)
(
instance
?BN
BeaufortNumber12
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN)))
(
exists
(?SPEED)
(
and
(
greaterThan
?SPEED 73.0)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED
MilesPerHour
))))))
Weather.kif 484-496
If
a process
is an
instance
of
wind
and
an entity
is an
instance
of
Beaufort number 12
and
the process
is
located
at
an object
and
a cognitive agent
believe
s
the process
the
attribute
the entity
,
then there exists
a real number
such that
the real number
is
greater
than 73.0 and
the cognitive agent
believe
s
the real number
miles per hour
(s) is a
surface
wind speed of
the object
(=>
(
and
(
instance
?W
Wind
)
(
instance
?BN
BeaufortNumberAttribute
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN))
(
speedScaleAttributeMinMax
?BN
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?SPEED)
(
and
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED ?U))))))
Weather.kif 349-366
If
a process
is an
instance
of
wind
and
a speed scale attribute
is an
instance
of
Beaufort number attribute
and
the process
is
located
at
an object
and
a cognitive agent
believe
s
the process
the
attribute
the speed scale attribute
and
a real number
an unit of measure
(s) and
another real number
the unit of measure
(s) are the min and max speed of
the speed scale attribute
and
the unit of measure
is an
instance
of
unit of measure
,
then there exists
a third real number
such that
the third real number
is
greater
than or equal to
the real number
and
the third real number
is
less
than or equal to
the other real number
and
the cognitive agent
believe
s
the third real number
the unit of measure
(s) is a
surface
wind speed of
the object
(=>
(
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
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
instance
?EVENT ?CLASS)
(
subclass
?CLASS
Process
)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
playsRoleInEventOfType
?OBJ ?ROLE ?CLASS ?TIME ?PLACE))
Mid-level-ontology.kif 23260-23267
If
an object
plays
role in event
a case role
for
a process
and
the process
is an
instance
of
another kind of process
and
another kind of process
is a
subclass
of
process
and
the process
exists
during
a time position
and
the process
is
located
at
another object
,
then
the object
plays
role in event of type
the case role
for
the other kind of process
with
the time position
and
the other object
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
instance
?EVENT ?TYPE)
(
subclass
?TYPE
Process
)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
playsRoleInEventOfType
?OBJ ?ROLE ?TYPE ?TIME ?PLACE))
Mid-level-ontology.kif 23289-23296
If
an object
plays
role in event
a case role
for
a process
and
the process
is an
instance
of
another kind of process
and
another kind of process
is a
subclass
of
process
and
the process
exists
during
a time position
and
the process
is
located
at
another object
,
then
the object
plays
role in event of type
the case role
for
the other kind of process
with
the time position
and
the other object
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 23312-23317
If
an object
plays
role in event
a case role
for
a process
and
the process
exists
during
a time position
and
the process
is
located
at
another object
,
then
the object
located
at time
the time position
for
the other object
(=>
(
and
(
prevents
?X ?P)
(
equal
(
WhenFn
?X) ?T)
(
eventLocated
?X ?L))
(
not
(
holdsDuring
?T
(
exists
(?Y)
(
and
(
instance
?Y ?P)
(
eventLocated
?Y ?L))))))
Merge.kif 4376-4386
If
a process
prevent
s the occurrence of
another kind of process
and the
time
of existence of
the process
is
equal
to
a time interval
and
the process
is
located
at
an object
,
then there exists
an entity
such that
the entity
is an
instance
of
another kind of process
and
the entity
is
located
at
the object
doesn't hold
during
the time interval
(=>
(
and
(
subclass
?TYPE
Process
)
(
instance
?EVENT ?TYPE)
(
eventLocated
?EVENT ?REGION)
(
instance
?ROLE
CaseRole
)
(
instance
?OBJECT
Object
)
(
instance
?REGION
GeographicArea
)
(?ROLE ?EVENT ?OBJECT))
(
capableAtLocation
?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 2692-2701
If
a kind of process
is a
subclass
of
process
and
another process
is an
instance
of
a kind of process
and
the other process
is
located
at
a region
and
a case role
is an
instance
of
case role
and
an object
is an
instance
of
object
and
the region
is an
instance
of
geographic area
and
the case role
the other process
and
the object
,
then
the kind of process
capable
at location
the case role
for
the object
with
the region
(=>
(
and
(
subclass
?TYPE
WaterVehicle
)
(
instance
?EVENT
(
TransportationFn
?TYPE))
(
eventLocated
?EVENT ?PLACE))
(
instance
?PLACE
WaterArea
))
Transportation.kif 2287-2292
If
a kind of transportation device
is a
subclass
of
water vehicle
and
a process
is an
instance
of the
transportation
of
a kind of transportation device
and
the process
is
located
at
an object
,
then
the object
is an
instance
of
water area
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
DayTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Object
)
(
color
?B
Black
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2728-2748
If the
visibility
at
a region
during
a time interval
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of measure
and
the time interval
is an
instance
of
day time
and
a process
is an
instance
of
looking
and
an object
is an
instance
of
object
and
the object
is the
color
black
and
an agent
is an
agent
of
the process
and
the object
is a
patient
of
the process
and
the agent
is
horizontal
to
the object
and
the process
is
located
at
the region
and the
time
of existence of
the process
takes place
during
the time interval
and
the object
is an
instance
of
object
,
then there exists
another real number
such that the
distance
between
the agent
and
the object
is
the other real number
the unit of measure
(s) and
the real number
is
greater
than
the other real number
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
NightTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Region
)
(
attribute
?B
Illuminated
)
(
measure
?B
(
MeasureFn
1000.0
Candela
))
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2750-2771
If the
visibility
at
a region
during
a time interval
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of measure
and
the time interval
is an
instance
of
night time
and
a process
is an
instance
of
looking
and
an object
is an
instance
of
region
and
illuminated
is an
attribute
of
the object
and the
measure
of
the object
is 1000.0
candela
(s) and
an agent
is an
agent
of
the process
and
the object
is a
patient
of
the process
and
the agent
is
horizontal
to
the object
and
the process
is
located
at
the region
and the
time
of existence of
the process
takes place
during
the time interval
and
the object
is an
instance
of
object
,
then there exists
another real number
such that the
distance
between
the agent
and
the object
is
the other real number
the unit of measure
(s) and
the real number
is
greater
than
the other real number
(=>
(
eventLocated
?PROCESS ?OBJ)
(
forall
(?SUB)
(=>
(
subProcess
?SUB ?PROCESS)
(
eventLocated
?SUB ?OBJ))))
Merge.kif 4127-4132
If
a process
is
located
at
an object
,
then for all
another process
if
the other process
is a
subprocess
of
the process
,
then
the other process
is
located
at
the object
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