GeographicArea
(Area Geografica)
(=>
(
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
Fisico
e' uma
instancia
de
Kidnapping
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Agente Sentiente
Entidade
e' uma
instancia
de
Area Geografica
Entidade
e' uma
instancia
de
Area Geografica
Entidade
e'
igual
a
Entidade
Entidade
e'
situado
em
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Fisico
Entidade
e'
situado
em
Entidade
vale
durante
tempo
de existencia de
Fisico
(=>
(
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
Fisico
e' uma
instancia
de
LandVehicle
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
superficie
de
Area Geografica
Entidade
e' uma
instancia
de
Transporte
Fisico
encontra
Entidade
vale
durante
tempo
de existencia de
Entidade
(=>
(
instance
?X
SubwaySystem
)
(
exists
(?SURF)
(
and
(
surface
?SURF
GeographicArea
)
(
orientation
?X ?SURF
Below
))))
Transportation.kif 328-333
Objeto
e' uma
instancia
de
SubwaySystem
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Area Geografica
Objeto
e'
Below
em relacao a
Objeto auto-conectado
(=>
(
terrainInArea
?AREA ?ATTRIBUTE)
(
exists
(?REGION)
(
and
(
instance
?REGION
GeographicArea
)
(
attribute
?REGION ?ATTRIBUTE)
(
partlyLocated
?REGION ?AREA))))
Geography.kif 1719-1725
terrainInArea
Area Geografica
and
TerrainAttribute
Objeto
Objeto
e' uma
instancia
de
Area Geografica
TerrainAttribute
e' um
atributo
de
Objeto
Objeto
e'
parcialmente
localizado em
Area Geografica
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