GeographicArea
(AreaGeografica)
(=>
(
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 21959-21974
Entit�Concreta
è un'
istanza
di
Kidnapping
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
AgenteSensibile
Entit�
è un'
istanza
di
AreaGeografica
Entit�
è un'
istanza
di
AreaGeografica
Entit�
is
uguale
a
Entit�
Entit�
è
localizzato
in
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�Concreta
Entit�
è
localizzato
in
Entit�
vales
durante
il
tempo
di esistenza di
Entit�Concreta
(=>
(
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
Entit�Concreta
è un'
istanza
di
LandVehicle
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è una
superficie
di
AreaGeografica
Entit�
è un'
istanza
di
Trasporto
Entit�Concreta
incontra
s
Entit�
vales
durante
il
tempo
di esistenza di
Entit�
(=>
(
instance
?X
SubwaySystem
)
(
exists
(?SURF)
(
and
(
surface
?SURF
GeographicArea
)
(
orientation
?X ?SURF
Below
))))
Transportation.kif 328-333
Oggetto
è un'
istanza
di
SubwaySystem
OggettoIntegro
OggettoIntegro
è una
superficie
di
AreaGeografica
Oggetto
è
Below
a
OggettoIntegro
(=>
(
terrainInArea
?AREA ?ATTRIBUTE)
(
exists
(?REGION)
(
and
(
instance
?REGION
GeographicArea
)
(
attribute
?REGION ?ATTRIBUTE)
(
partlyLocated
?REGION ?AREA))))
Geography.kif 1719-1725
terrainInArea
AreaGeografica
and
TerrainAttribute
Oggetto
Oggetto
è un'
istanza
di
AreaGeografica
attribute
Oggetto
and
TerrainAttribute
Oggetto
è
in
parte localizzato in
AreaGeografica
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