eventLocated
(=>
(
holdsDuring
?TIME
(
instance
?AREA
MilitaryFront
))
(
exists
(?BATTLE)
(
and
(
instance
?BATTLE
Battle
)
(
eventLocated
?BATTLE ?AREA)
(
temporalPart
?TIME ?BATTLE))))
Mid-level-ontology.kif 9018-9024
Objeto
e' uma
instancia
de
MilitaryFront
vale
durante
Posicao Temporal
Processo
Processo
e' uma
instancia
de
Batalha
eventLocated
Processo
and
Objeto
Posicao Temporal
e' uma &parte de
Processo
(=>
(
instance
?A
CultivatedLandArea
)
(
exists
(?C)
(
and
(
instance
?C
Agriculture
)
(
eventLocated
?C ?A))))
Mid-level-ontology.kif 8139-8144
Objeto
e' uma
instancia
de
CultivatedLandArea
Processo
Processo
e' uma
instancia
de
Agriculture
eventLocated
Processo
and
Objeto
(=>
(
instance
?AUDITORIUM
Auditorium
)
(
hasPurpose
?AUDITORIUM
(
exists
(?DEMO)
(
and
(
instance
?DEMO
Demonstrating
)
(
eventLocated
?DEMO ?AUDITORIUM)))))
Mid-level-ontology.kif 7325-7331
Fisico
e' uma
instancia
de
Auditorium
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Demonstrating
eventLocated
Entidade
and
Fisico
(=>
(
instance
?B
Backfire
)
(
exists
(?E ?NC)
(
and
(
not
(
instance
?NC
EngineCylinder
))
(
instance
?E
Engine
)
(
part
?NC ?E)
(
eventLocated
?B ?NC))))
Cars.kif 1354-1362
Processo
e' uma
instancia
de
Backfire
Objeto
Objeto
Objeto
e' uma
instancia
de
EngineCylinder
Objeto
e' uma
instancia
de
Engine
Objeto
e' uma &parte de
Objeto
eventLocated
Processo
and
Objeto
(=>
(
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
Fisico
e' uma
instancia
de
Warehouse
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Manter
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Produto
eventLocated
Entidade
and
Fisico
(=>
(
instance
?BF
BowlingFacility
)
(
hasPurpose
?BF
(
exists
(?B)
(
and
(
instance
?B
Bowling
)
(
eventLocated
?B ?BF)))))
Sports.kif 1170-1176
Fisico
e' uma
instancia
de
BowlingFacility
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Bowling
eventLocated
Entidade
and
Fisico
(=>
(
instance
?BOARD
GameBoard
)
(
hasPurpose
?BOARD
(
exists
(?GAME)
(
and
(
instance
?GAME
Game
)
(
eventLocated
?GAME ?BOARD)))))
Mid-level-ontology.kif 16992-16998
Fisico
e' uma
instancia
de
GameBoard
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Jogo
eventLocated
Entidade
and
Fisico
(=>
(
instance
?BR
BoxingRing
)
(
hasPurpose
?BR
(
exists
(?B)
(
and
(
instance
?B
Boxing
)
(
eventLocated
?B ?BR)))))
Sports.kif 592-598
Fisico
e' uma
instancia
de
BoxingRing
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Boxing
eventLocated
Entidade
and
Fisico
(=>
(
instance
?BREAK
BreakingWave
)
(
exists
(?SURF)
(
and
(
instance
?SURF
SurfZone
)
(
eventLocated
?BREAK ?SURF))))
Weather.kif 1386-1391
Processo
e' uma
instancia
de
BreakingWave
Objeto
Objeto
e' uma
instancia
de
SurfZone
eventLocated
Processo
and
Objeto
(=>
(
instance
?BUILDING
EntertainmentBuilding
)
(
hasPurpose
?BUILDING
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
eventLocated
?REC ?BUILDING)))))
Mid-level-ontology.kif 22394-22400
Fisico
e' uma
instancia
de
EntertainmentBuilding
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Recreacao ou Exercicio
eventLocated
Entidade
and
Fisico
(=>
(
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
Fisico
e' uma
instancia
de
Cinema
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Performance
Entidade
e' uma
instancia
de
Filme
Entidade
e' um
patient
de
Entidade
eventLocated
Entidade
and
Fisico
(=>
(
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
Fisico
e' uma
instancia
de
CruiseShip
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Recreacao ou Exercicio
Entidade
possui
Fisico
Entidade
e' um
agente
de
Entidade
customer
Entidade
and
Entidade
eventLocated
Entidade
and
Fisico
(=>
(
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
AutonomousAgent
e' uma
instancia
de
Restaurant
Processo
Entidade
and
Objeto
Processo
e' uma
instancia
de
CommercialService
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
Vender
Objeto
e' uma
instancia
de
RestaurantBuilding
eventLocated
Processo
and
Objeto
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
FoodForFn
Humano
(=>
(
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
Entidade
e' uma
instancia
de
Cactus
o argumento
Entidade
Entidade
e' uma
instancia
de
Area Geografica
Entidade
e'
situado
em
Entidade
Entidade
Entidade
e' uma
instancia
de
Drought
eventLocated
Entidade
and
Entidade
tem a
forca
modal
de
Likely
(=>
(
instance
?CF
CoastalFlooding
)
(
exists
(?AREA)
(
and
(
instance
?AREA
Seacoast
)
(
eventLocated
?CF ?AREA))))
Weather.kif 1616-1621
Processo
e' uma
instancia
de
CoastalFlooding
Objeto
Objeto
e' uma
instancia
de
Seacoast
eventLocated
Processo
and
Objeto
(=>
(
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
Proposicao
e' uma
instancia
de
EducationalCourse
Processo
Objeto
Processo
exprime
o conteudo de
Proposicao
Processo
e' uma
instancia
de
Processo Educacional
eventLocated
Processo
and
Objeto
Objeto
e' uma
instancia
de
Organizacao Educacional
(=>
(
instance
?COURT
TennisCourt
)
(
hasPurpose
?COURT
(
exists
(?TENNIS)
(
and
(
instance
?TENNIS
Tennis
)
(
eventLocated
?TENNIS ?COURT)))))
Sports.kif 880-886
Fisico
e' uma
instancia
de
TennisCourt
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Tennis
eventLocated
Entidade
and
Fisico
(=>
(
instance
?D
DiningArea
)
(
hasPurpose
?D
(
exists
(?E)
(
and
(
instance
?E
Eating
)
(
eventLocated
?E ?D)))))
Mid-level-ontology.kif 15571-15577
Fisico
e' uma
instancia
de
DiningArea
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Comer
eventLocated
Entidade
and
Fisico
(=>
(
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
Fisico
e' uma
instancia
de
DrivingRange
Fisico
tem por
fim
Fisico
RIVE
Fisico
RIVE e' uma
instancia
de
GolfDrive
eventLocated
Fisico
RIVE and
Fisico
Entidade
eventLocated
Entidade
and
Fisico
Entidade
e' uma
instancia
de
GolfManeuver
Entidade
e' uma
instancia
de
GolfDrive
(=>
(
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
Fisico
e' uma
instancia
de
DanceHall
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
MakingMusic
Entidade
e' uma
instancia
de
Dancar
Entidade
acontece
ao mesmo tempo que
Entidade
eventLocated
Entidade
and
Fisico
eventLocated
Entidade
and
Fisico
(=>
(
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
Processo
e' uma
instancia
de
DustStorm
Area Geografica
Area Geografica
e' uma
instancia
de
Area Geografica
climateTypeInArea
Area Geografica
and
AridClimateZone
eventLocated
Processo
and
Area Geografica
Area Geografica
Area Geografica
e' uma
instancia
de
Area Geografica
climateTypeInArea
Area Geografica
and
SemiaridClimateZone
eventLocated
Processo
and
Area Geografica
(=>
(
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
Fisico
e' uma
instancia
de
EngineControlModule
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Automobile
Entidade
e' uma
instancia
de
Engine
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma &parte de
Entidade
Fisico
e' uma &parte de
Entidade
eventLocated
Entidade
and
Fisico
eventLocated
Entidade
and
Entidade
Entidade
causa
Entidade
(=>
(
instance
?ERUPTING
VolcanicEruption
)
(
exists
(?VOLCANO)
(
and
(
instance
?VOLCANO
Volcano
)
(
eventLocated
?ERUPTING ?VOLCANO))))
Geography.kif 2436-2441
Processo
e' uma
instancia
de
VolcanicEruption
Objeto
Objeto
e' uma
instancia
de
Volcano
eventLocated
Processo
and
Objeto
(=>
(
instance
?F
BaseballField
)
(
hasPurpose
?F
(
exists
(?S)
(
and
(
instance
?S
Baseball
)
(
eventLocated
?S ?F)))))
Sports.kif 676-682
Fisico
e' uma
instancia
de
BaseballField
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Baseball
eventLocated
Entidade
and
Fisico
(=>
(
instance
?F
Fireplace
)
(
hasPurpose
?F
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
eventLocated
?C ?F)))))
Mid-level-ontology.kif 15358-15364
Fisico
e' uma
instancia
de
Fireplace
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Combustao
eventLocated
Entidade
and
Fisico
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