GeographicArea
(Area Geografica)
(=>
(
and
(
instance
?OBJ1
GeographicArea
)
(
instance
?OBJ2
GeographicArea
))
(
equal
(
BorderFn
?OBJ1 ?OBJ2)
(
BorderFn
?OBJ2 ?OBJ1)))
Geography.kif 699-703
Area Geografica
e' uma
instancia
de
Area Geografica
Area Geografica
e' uma
instancia
de
Area Geografica
BorderFn
Area Geografica
and
Area Geografica
e'
igual
a
BorderFn
Area Geografica
and
Area Geografica
(=>
(
and
(
instance
?PLACE
GeographicArea
)
(
located
?PLACE ?T)
(
instance
?T
Tropics
))
(
exists
(?NUM1 ?LONG ?DIR ?NUM2 ?U)
(
and
(
objectGeographicCoordinates
?PLACE
(
MeasureFn
?NUM1 ?U) ?LONG)
(
instance
?U
UnitOfAngularMeasure
)
(
lessThan
?NUM1 ?NUM2)
(
equal
(
MeasureFn
?NUM2 ?U)
(
LatitudeFn
?DIR
(
MeasureFn
23.0
AngularDegree
)
(
MeasureFn
26.0
ArcMinute
)
(
MeasureFn
11.5
ArcSecond
)))
(
instance
?DIR
DirectionalAttribute
)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
)))))
Geography.kif 3595-3615
Objeto
e' uma
instancia
de
Area Geografica
Objeto
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Tropics
Numero Real
Longitude
,
Atributo Directional
,
Numero Real
and
Unidade de Medida
objectGeographicCoordinates
Objeto
,
Numero Real
Unidade de Medida
(s) and
Longitude
Unidade de Medida
e' uma
instancia
de
UnitOfAngularMeasure
Numero Real
e'
menos
que
Numero Real
Numero Real
Unidade de Medida
(s) e'
igual
a
LatitudeFn
Atributo Directional
, 23.0
AngularDegree
(s), 26.0
ArcMinute
(s) and 11.5
ArcSecond
(s)
Atributo Directional
e' uma
instancia
de
Atributo Directional
Atributo Directional
e'
igual
a
North
Atributo Directional
e'
igual
a
South
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
instance
(
GeographicCenterFn
?REGION)
GeographicArea
))
(
geographicSubregion
(
GeographicCenterFn
?REGION) ?REGION))
Geography.kif 342-346
Area Geografica
e' uma
instancia
de
Area Geografica
GeographicCenterFn
Area Geografica
e' uma
instancia
de
Area Geografica
geographicSubregion
GeographicCenterFn
Area Geografica
and
Area Geografica
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
AntarcticArea
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3631-3640
Fisico
e' uma
instancia
de
Area Geografica
Fisico
e'
situado
em
AntarcticArea
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Dia
Illuminated
e' um
atributo
de
Fisico
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
ArcticRegion
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3570-3579
Fisico
e' uma
instancia
de
Area Geografica
Fisico
e'
situado
em
ArcticRegion
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Dia
Illuminated
e' um
atributo
de
Fisico
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
objectGeographicCoordinates
(
GeographicCenterFn
?REGION) ?LAT ?LONG))
(
objectGeographicCoordinates
?REGION ?LAT ?LONG))
Geography.kif 348-353
Area Geografica
e' uma
instancia
de
Area Geografica
objectGeographicCoordinates
GeographicCenterFn
Area Geografica
,
Latitude
and
Longitude
objectGeographicCoordinates
Area Geografica
,
Latitude
and
Longitude
(=>
(
and
(
instance
?T
Typhoon
)
(
eventLocated
?T ?P)
(
instance
?P
GeographicArea
))
(
or
(
located
?P
NorthwesternPacificOcean
)
(
meetsSpatially
?P
NorthwesternPacificOcean
)))
Weather.kif 787-794
Processo
e' uma
instancia
de
Typhoon
eventLocated
Processo
and
Objeto
Objeto
e' uma
instancia
de
Area Geografica
Objeto
e'
situado
em
NorthwesternPacificOcean
Objeto
encontra
NorthwesternPacificOcean
(=>
(
and
(
instance
?TC
TropicalCyclone
)
(
destination
?TC ?DEST)
(
instance
?DEST
GeographicArea
))
(
not
(
exists
(?L ?SL ?X)
(
and
(
instance
?L
LandArea
)
(
instance
?SL
Shoreline
)
(
located
?DEST ?L)
(
distance
?L ?SL
(
MeasureFn
?X
Mile
))
(
greaterThan
?X 200.0)))))
Weather.kif 693-706
Processo
e' uma
instancia
de
TropicalCyclone
Processo
termina
em
Fisico
Fisico
e' uma
instancia
de
Area Geografica
Objeto
Fisico
and
Numero Real
Objeto
e' uma
instancia
de
Area terrestre
Fisico
e' uma
instancia
de
Shoreline
Fisico
e'
situado
em
Objeto
a
distancia
entre
Objeto
e
Fisico
e'
Numero Real
Mile
(s)
Numero Real
e'
maior
que 200.0
(=>
(
and
(
instance
?area
GeographicArea
)
(
groundSurfaceType
?area
Loam
))
(
attribute
?area
FertileTerrain
))
Geography.kif 4355-4359
Area terrestre
e' uma
instancia
de
Area Geografica
groundSurfaceType
Area terrestre
and
Loam
FertileTerrain
e' um
atributo
de
Area terrestre
(=>
(
and
(
instance
?area
GeographicArea
)
(
groundSurfaceType
?area
Rock
))
(
not
(
attribute
?area
FertileTerrain
)))
Geography.kif 1824-1828
Area terrestre
e' uma
instancia
de
Area Geografica
groundSurfaceType
Area terrestre
and
Rock
FertileTerrain
e' um
atributo
de
Area terrestre
(=>
(
and
(
not
(
vegetationType
?REGION ?TYPE))
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
not
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION)))))
Geography.kif 6201-6209
vegetationType
Area Geografica
and
Planta
Planta
e' uma
sub
-classe de
Planta
Area Geografica
e' uma
instancia
de
Area Geografica
Fisico
Fisico
e' uma
instancia
de
Planta
Fisico
e'
situado
em
Area Geografica
(=>
(
and
(
partlyLocated
?PLACE ?SUBAREA)
(
instance
?SUBAREA
GeographicArea
)
(
geographicSubregion
?SUBAREA ?AREA))
(
partlyLocated
?PLACE ?AREA))
Geography.kif 507-512
Fisico
e'
parcialmente
localizado em
Area Geografica
Area Geografica
e' uma
instancia
de
Area Geografica
geographicSubregion
Area Geografica
and
Area Geografica
Fisico
e'
parcialmente
localizado em
Area Geografica
(=>
(
and
(
subclass
?TYPE
Process
)
(
instance
?EVENT ?TYPE)
(
eventLocated
?EVENT ?REGION)
(
instance
?ROLE
CaseRole
)
(
instance
?OBJECT
Object
)
(
instance
?REGION
GeographicArea
)
(?ROLE ?EVENT ?OBJECT))
(
capableAtLocation
?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 2692-2701
Processo
e' uma
sub
-classe de
Processo
Processo
e' uma
instancia
de
Processo
eventLocated
Processo
and
Regiao
Role em Caso
e' uma
instancia
de
Role em Caso
Objeto
e' uma
instancia
de
Objeto
Regiao
e' uma
instancia
de
Area Geografica
Role em Caso
Processo
and
Objeto
capableAtLocation
Processo
,
Role em Caso
,
Objeto
and
Regiao
(=>
(
and
(
vegetationType
?REGION ?TYPE)
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION))))
Geography.kif 6191-6199
vegetationType
Area Geografica
and
Planta
Planta
e' uma
sub
-classe de
Planta
Area Geografica
e' uma
instancia
de
Area Geografica
Fisico
Fisico
e' uma
instancia
de
Planta
Fisico
e'
situado
em
Area Geografica
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
meetsSpatially
?AREA1 ?AREA2))
Geography.kif 695-697
BorderFn
Area Geografica
and
Area Geografica
e' uma
instancia
de
Area Geografica
Area Geografica
encontra
Area Geografica
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
orientation
?AREA1 ?AREA2
Adjacent
))
Geography.kif 712-714
BorderFn
Area Geografica
and
Area Geografica
e' uma
instancia
de
Area Geografica
Area Geografica
e'
Adjacent
em relacao a
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