WaterArea
(plan d'eau)
(=>
(
instance
?S
Sinking
)
(
exists
(?W)
(
and
(
instance
?W
WaterArea
)
(
eventLocated
?S ?W))))
Mid-level-ontology.kif 13111-13116
Processus
est une
instance
de
Sinking
objet
objet
est une
instance
de
plan d'eau
eventLocated
processus
and
objet
(=>
(
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
Objet
est une
instance
de
ScubaDiving
objet
objet
and
processus
objet
est une
instance
de
plan d'eau
objet
est
Below
�
objet
objet
est une
instance
de
appareil
processus
est une
instance
de
respirer
objet
est un
instrument
pour
processus
processus
est un
sous
-processus de
objet
(=>
(
instance
?SEA
Sea
)
(
exists
(?OCEAN ?PATH)
(
and
(
instance
?OCEAN
Ocean
)
(
instance
?PATH
WaterArea
)
(
connects
?PATH ?OCEAN ?SEA))))
Geography.kif 4783-4789
Objet
est une
instance
de
Sea
objet
objet
objet
est une
instance
de
Ocean
objet
est une
instance
de
plan d'eau
objet
relie
objet
et
objet
(=>
(
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
Physique
est une
instance
de
WaterSki
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
plan d'eau
entit�
est une
instance
de
transporter
physique
est un
instrument
pour
entit�
eventLocated
entit�
and
entit�
(=>
(
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
Processus
est une
instance
de
WaterTransportation
objet
objet
objet
est une
instance
de
WaterVehicle
objet
est une
instance
de
plan d'eau
objet
est un
instrument
pour
processus
eventLocated
processus
and
objet
(=>
(
instance
?WAVE
WaterWave
)
(
exists
(?AREA)
(
and
(
instance
?AREA
WaterArea
)
(
eventLocated
?WAVE ?AREA))))
Mid-level-ontology.kif 17558-17563
Processus
est une
instance
de
WaterWave
objet
objet
est une
instance
de
plan d'eau
eventLocated
processus
and
objet
(=>
(
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
Processus
est une
instance
de
WaterSkiing
AutonomousAgent
objet
,
objet
,
objet
,
objet
,
processus
and
processus
objet
est une
instance
de
WaterVehicle
objet
est une
instance
de
plan d'eau
objet
est une
instance
de
WaterSki
eventLocated
processus
and
objet
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
est
situ
� �
objet
objet
relie
AutonomousAgent
et
objet
processus
est une
instance
de
transporter
objet
est un
instrument
pour
processus
processus
est une
instance
de
d�palcement
processus
est un
agent
de
AutonomousAgent
objet
est un
instrument
pour
processus
processus
cause
processus
processus
est un
sous
-processus de
processus
(=>
(
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
Processus
est une
instance
de
WaterSport
objet
objet
est une
instance
de
plan d'eau
objet
est une
instance
de
FluidContainer
objet
ATER
objet
ATER est une
instance
de
eau
objet
ATER est
situ
� �
objet
eventLocated
processus
and
objet
(=>
(
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
Processus
est une
instance
de
WindSurfing
objet
objet
,
processus
and
processus
objet
est une
instance
de
WindSurfingBoard
objet
est une
instance
de
plan d'eau
processus
est une
instance
de
Wind
processus
est une
instance
de
d�palcement
eventLocated
processus
and
objet
processus
est un
sous
-processus de
processus
objet
est un
instrument
pour
processus
processus
cause
processus
(=>
(
streamOutfall
?MOUTH ?RIVER)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
flows
?RIVER ?WATER)
(
connected
?MOUTH ?WATER))))
Geography.kif 5693-5699
streamOutfall
plan d'eau
and
River
objet
objet
est une
instance
de
plan d'eau
flows
River
and
objet
plan d'eau
est
connect
� �
objet
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