eventLocated
(=>
(
holdsDuring
?TIME
(
instance
?AREA
MilitaryFront
))
(
exists
(?BATTLE)
(
and
(
instance
?BATTLE
Battle
)
(
eventLocated
?BATTLE ?AREA)
(
temporalPart
?TIME ?BATTLE))))
Mid-level-ontology.kif 9018-9024
If
an object
is an
instance
of
military front
holds
during
a time position
,
then there exists
a process
such that
the process
is an
instance
of
battle
and
the process
is
located
at
the object
and
the time position
is a
part
of
the process
(=>
(
instance
?A
CultivatedLandArea
)
(
exists
(?C)
(
and
(
instance
?C
Agriculture
)
(
eventLocated
?C ?A))))
Mid-level-ontology.kif 8139-8144
If
an object
is an
instance
of
cultivated land area
,
then there exists
a process
such that
the process
is an
instance
of
agriculture
and
the process
is
located
at
the object
(=>
(
instance
?AUDITORIUM
Auditorium
)
(
hasPurpose
?AUDITORIUM
(
exists
(?DEMO)
(
and
(
instance
?DEMO
Demonstrating
)
(
eventLocated
?DEMO ?AUDITORIUM)))))
Mid-level-ontology.kif 7325-7331
If
a physical
is an
instance
of
auditorium
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
demonstrating
and
the entity
is
located
at
the physical
(=>
(
instance
?B
Backfire
)
(
exists
(?E ?NC)
(
and
(
not
(
instance
?NC
EngineCylinder
))
(
instance
?E
Engine
)
(
part
?NC ?E)
(
eventLocated
?B ?NC))))
Cars.kif 1354-1362
If
a process
is an
instance
of
backfire
,
then there exist
an object
and
another object
such that
the other object
is not an
instance
of
engine cylinder
and
the object
is an
instance
of
engine
and
the other object
is a
part
of
the object
and
the process
is
located
at
the other object
(=>
(
instance
?B
Warehouse
)
(
hasPurpose
?B
(
exists
(?K ?P)
(
and
(
instance
?K
Keeping
)
(
patient
?K ?P)
(
instance
?P
Product
)
(
eventLocated
?K ?B)))))
Mid-level-ontology.kif 7054-7062
If
a physical
is an
instance
of
warehouse
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
keeping
and
the other entity
is a
patient
of
the entity
and
the other entity
is an
instance
of
product
and
the entity
is
located
at
the physical
(=>
(
instance
?BF
BowlingFacility
)
(
hasPurpose
?BF
(
exists
(?B)
(
and
(
instance
?B
Bowling
)
(
eventLocated
?B ?BF)))))
Sports.kif 1170-1176
If
a physical
is an
instance
of
bowling facility
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
bowling
and
the entity
is
located
at
the physical
(=>
(
instance
?BOARD
GameBoard
)
(
hasPurpose
?BOARD
(
exists
(?GAME)
(
and
(
instance
?GAME
Game
)
(
eventLocated
?GAME ?BOARD)))))
Mid-level-ontology.kif 16992-16998
If
a physical
is an
instance
of
game board
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
game
and
the entity
is
located
at
the physical
(=>
(
instance
?BR
BoxingRing
)
(
hasPurpose
?BR
(
exists
(?B)
(
and
(
instance
?B
Boxing
)
(
eventLocated
?B ?BR)))))
Sports.kif 592-598
If
a physical
is an
instance
of
boxing ring
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
boxing
and
the entity
is
located
at
the physical
(=>
(
instance
?BREAK
BreakingWave
)
(
exists
(?SURF)
(
and
(
instance
?SURF
SurfZone
)
(
eventLocated
?BREAK ?SURF))))
Weather.kif 1386-1391
If
a process
is an
instance
of
breaking wave
,
then there exists
an object
such that
the object
is an
instance
of
surf zone
and
the process
is
located
at
the object
(=>
(
instance
?BUILDING
EntertainmentBuilding
)
(
hasPurpose
?BUILDING
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
eventLocated
?REC ?BUILDING)))))
Mid-level-ontology.kif 22394-22400
If
a physical
is an
instance
of
entertainment building
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
recreation or exercise
and
the entity
is
located
at
the physical
(=>
(
instance
?C
Cinema
)
(
hasPurpose
?C
(
exists
(?FILM ?P)
(
and
(
instance
?P
Performance
)
(
instance
?FILM
MotionPicture
)
(
patient
?P ?FILM)
(
eventLocated
?P ?C)))))
Mid-level-ontology.kif 22505-22513
If
a physical
is an
instance
of
cinema
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
performance
and
the entity
is an
instance
of
motion picture
and
the entity
is a
patient
of
the other entity
and
the other entity
is
located
at
the physical
(=>
(
instance
?C
CruiseShip
)
(
hasPurpose
?C
(
exists
(?E ?A ?O)
(
and
(
instance
?E
RecreationOrExercise
)
(
possesses
?O ?C)
(
agent
?E ?A)
(
customer
?O ?A)
(
eventLocated
?E ?C)))))
Transportation.kif 2471-2480
If
a physical
is an
instance
of
cruise ship
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
recreation or exercise
and
the third entity
possess
es
the physical
and
the other entity
is an
agent
of
the entity
and
the other entity
is a
customer
of
the third entity
and
the entity
is
located
at
the physical
(=>
(
instance
?C
Restaurant
)
(
exists
(?S ?F ?B)
(
and
(
instance
?S
CommercialService
)
(
agent
?S ?C)
(
instance
?S
Selling
)
(
instance
?B
RestaurantBuilding
)
(
eventLocated
?S ?B)
(
patient
?S ?F)
(
instance
?F
(
FoodForFn
Human
)))))
Mid-level-ontology.kif 7281-7291
If
an agent
is an
instance
of
restaurant
,
then there exist
a process
,
an entity
and
an object
such that
the process
is an
instance
of
commercial service
and
the agent
is an
agent
of
the process
and
the process
is an
instance
of
selling
and
the object
is an
instance
of
restaurant building
and
the process
is
located
at
the object
and
the entity
is a
patient
of
the process
and
the entity
is an
instance
of
food
for
human
(=>
(
instance
?CAC
Cactus
)
(
modalAttribute
(
exists
(?AREA)
(
and
(
instance
?AREA
GeographicArea
)
(
located
?CAC ?AREA)
(
exists
(?D)
(
and
(
instance
?D
Drought
)
(
eventLocated
?D ?AREA)))))
Likely
))
Geography.kif 6302-6312
If
an entity
is an
instance
of
cactus
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
geographic area
and
the entity
is
located
at
the other entity
and there exists
a third entity
such that
the third entity
is an
instance
of
drought
and
the third entity
is
located
at
the other entity
has the
modal
force
of
likely
(=>
(
instance
?CF
CoastalFlooding
)
(
exists
(?AREA)
(
and
(
instance
?AREA
Seacoast
)
(
eventLocated
?CF ?AREA))))
Weather.kif 1616-1621
If
a process
is an
instance
of
coastal flooding
,
then there exists
an object
such that
the object
is an
instance
of
seacoast
and
the process
is
located
at
the object
(=>
(
instance
?COURSE
EducationalCourse
)
(
exists
(?CLASS ?ORG)
(
and
(
realization
?CLASS ?COURSE)
(
instance
?CLASS
EducationalProcess
)
(
eventLocated
?CLASS ?ORG)
(
instance
?ORG
EducationalOrganization
))))
Mid-level-ontology.kif 16631-16638
If
a proposition
is an
instance
of
educational course
,
then there exist
a process
and
an object
such that
the process
express
es the content of
the proposition
and
the process
is an
instance
of
educational process
and
the process
is
located
at
the object
and
the object
is an
instance
of
educational organization
(=>
(
instance
?COURT
TennisCourt
)
(
hasPurpose
?COURT
(
exists
(?TENNIS)
(
and
(
instance
?TENNIS
Tennis
)
(
eventLocated
?TENNIS ?COURT)))))
Sports.kif 880-886
If
a physical
is an
instance
of
tennis court
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
tennis
and
the entity
is
located
at
the physical
(=>
(
instance
?D
DiningArea
)
(
hasPurpose
?D
(
exists
(?E)
(
and
(
instance
?E
Eating
)
(
eventLocated
?E ?D)))))
Mid-level-ontology.kif 15571-15577
If
a physical
is an
instance
of
dining area
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
eating
and
the entity
is
located
at
the physical
(=>
(
instance
?D
DrivingRange
)
(
hasPurpose
?D
(
and
(
exists
(?DRIVE)
(
and
(
instance
?DRIVE
GolfDrive
)
(
eventLocated
?DRIVE ?D)))
(
not
(
exists
(?GOLF)
(
and
(
eventLocated
?GOLF ?D)
(
instance
?GOLF
GolfManeuver
)
(
not
(
instance
?GOLF
GolfDrive
))))))))
Sports.kif 979-992
If
a physical
is an
instance
of
driving range
,
then
the physical
has the purpose there exists
the physical
RIVE such that
the physical
RIVE is an
instance
of
golf drive
and
the physical
RIVE is
located
at
the physical
and there doesn't exist
another entity
such that
the other entity
is
located
at
the physical
and
the other entity
is an
instance
of
golf maneuver
and
the other entity
is not an
instance
of
golf drive
(=>
(
instance
?DISCO
DanceHall
)
(
hasPurpose
?DISCO
(
exists
(?DANCE ?MUSIC)
(
and
(
instance
?MUSIC
MakingMusic
)
(
instance
?DANCE
Dancing
)
(
cooccur
?MUSIC ?DANCE)
(
eventLocated
?MUSIC ?DISCO)
(
eventLocated
?DANCE ?DISCO)))))
Mid-level-ontology.kif 26861-26870
If
a physical
is an
instance
of
dance hall
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
making music
and
the entity
is an
instance
of
dancing
and
the other entity
occur
s at the same time as
the entity
and
the other entity
is
located
at
the physical
and
the entity
is
located
at
the physical
(=>
(
instance
?DUSTSTORM
DustStorm
)
(
or
(
exists
(?AREA1)
(
and
(
instance
?AREA1
GeographicArea
)
(
climateTypeInArea
?AREA1
AridClimateZone
)
(
eventLocated
?DUSTSTORM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeographicArea
)
(
climateTypeInArea
?AREA2
SemiaridClimateZone
)
(
eventLocated
?DUSTSTORM ?AREA2)))))
Weather.kif 1261-1273
If
a process
is an
instance
of
dust storm
,
then there exists
a geographic area
such that
the geographic area
is an
instance
of
geographic area
and
arid climate zone
is a
climate
type in area of
the geographic area
and
the process
is
located
at
the geographic area
or there exists
another geographic area
such that
the other geographic area
is an
instance
of
geographic area
and
semiarid climate zone
is a
climate
type in area of
the other geographic area
and
the process
is
located
at
the other geographic area
(=>
(
instance
?ECM
EngineControlModule
)
(
hasPurpose
?ECM
(
exists
(?A ?E ?P1 ?P2)
(
and
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?P1
Process
)
(
instance
?P2
Process
)
(
part
?E ?A)
(
part
?ECM ?A)
(
eventLocated
?P1 ?ECM)
(
eventLocated
?P2 ?E)
(
causes
?P1 ?P2)))))
Cars.kif 2519-2532
If
a physical
is an
instance
of
engine control module
,
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
automobile
and
the other entity
is an
instance
of
engine
and
the third entity
is an
instance
of
process
and
the fourth entity
is an
instance
of
process
and
the other entity
is a
part
of
the entity
and
the physical
is a
part
of
the entity
and
the third entity
is
located
at
the physical
and
the fourth entity
is
located
at
the other entity
and
the third entity
cause
s
the fourth entity
(=>
(
instance
?ERUPTING
VolcanicEruption
)
(
exists
(?VOLCANO)
(
and
(
instance
?VOLCANO
Volcano
)
(
eventLocated
?ERUPTING ?VOLCANO))))
Geography.kif 2436-2441
If
a process
is an
instance
of
volcanic eruption
,
then there exists
an object
such that
the object
is an
instance
of
volcano
and
the process
is
located
at
the object
(=>
(
instance
?F
BaseballField
)
(
hasPurpose
?F
(
exists
(?S)
(
and
(
instance
?S
Baseball
)
(
eventLocated
?S ?F)))))
Sports.kif 676-682
If
a physical
is an
instance
of
baseball field
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
baseball
and
the entity
is
located
at
the physical
(=>
(
instance
?F
Fireplace
)
(
hasPurpose
?F
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
eventLocated
?C ?F)))))
Mid-level-ontology.kif 15358-15364
If
a physical
is an
instance
of
fireplace
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
burning
and
the entity
is
located
at
the physical
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