WaterArea
(Area Aquatica)
(=>
(
instance
?S
Sinking
)
(
exists
(?W)
(
and
(
instance
?W
WaterArea
)
(
eventLocated
?S ?W))))
Mid-level-ontology.kif 13111-13116
Processo
e' uma
instancia
de
Sinking
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
eventLocated
Processo
and
Objeto
(=>
(
instance
?SCUBA
ScubaDiving
)
(
exists
(?WATER ?DEVICE ?BREATH)
(
and
(
instance
?WATER
WaterArea
)
(
orientation
?SCUBA ?WATER
Below
)
(
instance
?DEVICE
Device
)
(
instance
?BREATH
Breathing
)
(
instrument
?BREATH ?DEVICE)
(
subProcess
?BREATH ?SCUBA))))
Mid-level-ontology.kif 26902-26911
Objeto
e' uma
instancia
de
ScubaDiving
Objeto
Objeto
and
Processo
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e'
Below
em relacao a
Objeto
Objeto
e' uma
instancia
de
Aparelho
Processo
e' uma
instancia
de
Respirar
Objeto
e' um
instrumento
para
Processo
Processo
e' um
sub
-processo de
Objeto
(=>
(
instance
?SEA
Sea
)
(
exists
(?OCEAN ?PATH)
(
and
(
instance
?OCEAN
Ocean
)
(
instance
?PATH
WaterArea
)
(
connects
?PATH ?OCEAN ?SEA))))
Geography.kif 4783-4789
Objeto
e' uma
instancia
de
Sea
Objeto
Objeto
Objeto
e' uma
instancia
de
Ocean
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
conecta
Objeto
e
Objeto
(=>
(
instance
?SKI
WaterSki
)
(
hasPurpose
?SKI
(
exists
(?GLIDE ?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
instance
?GLIDE
Transportation
)
(
instrument
?GLIDE ?SKI)
(
eventLocated
?GLIDE ?WATER)))))
Sports.kif 1230-1238
Fisico
e' uma
instancia
de
WaterSki
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Area Aquatica
Entidade
e' uma
instancia
de
Transporte
Fisico
e' um
instrumento
para
Entidade
eventLocated
Entidade
and
Entidade
(=>
(
instance
?TRANSPORT
WaterTransportation
)
(
exists
(?CRAFT ?AREA)
(
and
(
instance
?CRAFT
WaterVehicle
)
(
instance
?AREA
WaterArea
)
(
instrument
?TRANSPORT ?CRAFT)
(
eventLocated
?TRANSPORT ?AREA))))
Mid-level-ontology.kif 17743-17750
Processo
e' uma
instancia
de
WaterTransportation
Objeto
Objeto
Objeto
e' uma
instancia
de
WaterVehicle
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e' um
instrumento
para
Processo
eventLocated
Processo
and
Objeto
(=>
(
instance
?WAVE
WaterWave
)
(
exists
(?AREA)
(
and
(
instance
?AREA
WaterArea
)
(
eventLocated
?WAVE ?AREA))))
Mid-level-ontology.kif 17558-17563
Processo
e' uma
instancia
de
WaterWave
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
eventLocated
Processo
and
Objeto
(=>
(
instance
?X
WaterSkiing
)
(
exists
(?HUMAN ?SKI ?BOAT ?LINE ?WATER ?TRANS ?MOTION)
(
and
(
instance
?BOAT
WaterVehicle
)
(
instance
?WATER
WaterArea
)
(
instance
?SKI
WaterSki
)
(
eventLocated
?X ?WATER)
(
instance
?HUMAN
Human
)
(
located
?HUMAN ?SKI)
(
connects
?LINE ?HUMAN ?BOAT)
(
instance
?TRANS
Transportation
)
(
instrument
?TRANS ?BOAT)
(
instance
?MOTION
Motion
)
(
agent
?MOTION ?HUMAN)
(
instrument
?MOTION ?SKI)
(
causes
?TRANS ?MOTION)
(
subProcess
?MOTION ?X))))
Sports.kif 1246-1263
Processo
e' uma
instancia
de
WaterSkiing
AutonomousAgent
Objeto
,
Objeto
,
Objeto
,
Objeto
,
Processo
and
Processo
Objeto
e' uma
instancia
de
WaterVehicle
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e' uma
instancia
de
WaterSki
eventLocated
Processo
and
Objeto
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
e'
situado
em
Objeto
Objeto
conecta
AutonomousAgent
e
Objeto
Processo
e' uma
instancia
de
Transporte
Objeto
e' um
instrumento
para
Processo
Processo
e' uma
instancia
de
Movimento
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
instrumento
para
Processo
Processo
causa
Processo
Processo
e' um
sub
-processo de
Processo
(=>
(
instance
?X
WaterSport
)
(
exists
(?W)
(
and
(
or
(
instance
?W
WaterArea
)
(
and
(
instance
?W
FluidContainer
)
(
exists
(?WATER)
(
and
(
instance
?WATER
Water
)
(
located
?WATER ?W)))))
(
eventLocated
?X ?W))))
Sports.kif 1211-1223
Processo
e' uma
instancia
de
WaterSport
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e' uma
instancia
de
FluidContainer
Objeto
ATER
Objeto
ATER e' uma
instancia
de
Agua
Objeto
ATER e'
situado
em
Objeto
eventLocated
Processo
and
Objeto
(=>
(
instance
?X
WindSurfing
)
(
exists
(?BOARD ?WATER ?MOTION ?WIND)
(
and
(
instance
?BOARD
WindSurfingBoard
)
(
instance
?WATER
WaterArea
)
(
instance
?WIND
Wind
)
(
instance
?MOTION
Motion
)
(
eventLocated
?X ?WATER)
(
subProcess
?MOTION ?X)
(
instrument
?MOTION ?BOARD)
(
causes
?WIND ?MOTION))))
Sports.kif 1304-1315
Processo
e' uma
instancia
de
WindSurfing
Objeto
Objeto
,
Processo
and
Processo
Objeto
e' uma
instancia
de
WindSurfingBoard
Objeto
e' uma
instancia
de
Area Aquatica
Processo
e' uma
instancia
de
Wind
Processo
e' uma
instancia
de
Movimento
eventLocated
Processo
and
Objeto
Processo
e' um
sub
-processo de
Processo
Objeto
e' um
instrumento
para
Processo
Processo
causa
Processo
(=>
(
streamOutfall
?MOUTH ?RIVER)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
flows
?RIVER ?WATER)
(
connected
?MOUTH ?WATER))))
Geography.kif 5693-5699
streamOutfall
Area Aquatica
and
River
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
flows
River
and
Objeto
Area Aquatica
e'
conectado
com
Objeto
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