GeographicArea
(secteur g�ographique)
(=>
(
instance
?X
Kidnapping
)
(
exists
(?A ?LOC1 ?LOC2)
(
and
(
instance
?A
SentientAgent
)
(
instance
?LOC1
GeographicArea
)
(
instance
?LOC2
GeographicArea
)
(
not
(
equal
?LOC1 ?LOC2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?X))
(
located
?A ?LOC1))
(
holdsDuring
(
WhenFn
?X)
(
located
?A ?LOC2)))))
Mid-level-ontology.kif 21960-21975
Physique
est une
instance
de
Kidnapping
entit�
entit�
and
entit�
entit�
est une
instance
de
sentient agent
entit�
est une
instance
de
secteur g�ographique
entit�
est une
instance
de
secteur g�ographique
entit�
est
entit�
entit�
est
situ
� �
entit�
pendant
immediatement
avant
temps
d'existence de
physique
entit�
est
situ
� �
entit�
pendant
temps
d'existence de
physique
(=>
(
instance
?X
LandVehicle
)
(
hasPurpose
?X
(
exists
(?EV ?SURF)
(
and
(
surface
?SURF
GeographicArea
)
(
instance
?EV
Transportation
)
(
holdsDuring
(
WhenFn
?EV)
(
meetsSpatially
?X ?SURF))))))
Mid-level-ontology.kif 3472-3481
Physique
est une
instance
de
LandVehicle
physique
a pour
but
entit�
entit�
entit�
est une
surface
de
secteur g�ographique
entit�
est une
instance
de
transporter
physique
rencontre
entit�
pendant
temps
d'existence de
entit�
(=>
(
instance
?X
SubwaySystem
)
(
exists
(?SURF)
(
and
(
surface
?SURF
GeographicArea
)
(
orientation
?X ?SURF
Below
))))
Transportation.kif 328-333
Objet
est une
instance
de
SubwaySystem
objet en une partie
objet en une partie
est une
surface
de
secteur g�ographique
objet
est
Below
�
objet en une partie
(=>
(
terrainInArea
?AREA ?ATTRIBUTE)
(
exists
(?REGION)
(
and
(
instance
?REGION
GeographicArea
)
(
attribute
?REGION ?ATTRIBUTE)
(
partlyLocated
?REGION ?AREA))))
Geography.kif 1719-1725
terrainInArea
secteur g�ographique
and
TerrainAttribute
objet
objet
est une
instance
de
secteur g�ographique
TerrainAttribute
est un
attribut
de
objet
objet
est
partiellement
localis� �
secteur g�ographique
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