GeographicArea
(AreaGeografica)
(=>
(
and
(
instance
?OBJ1
GeographicArea
)
(
instance
?OBJ2
GeographicArea
))
(
equal
(
BorderFn
?OBJ1 ?OBJ2)
(
BorderFn
?OBJ2 ?OBJ1)))
Geography.kif 699-703
AreaGeografica
è un'
istanza
di
AreaGeografica
AreaGeografica
è un'
istanza
di
AreaGeografica
BorderFn
AreaGeografica
and
AreaGeografica
is
uguale
a
BorderFn
AreaGeografica
and
AreaGeografica
(=>
(
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
Oggetto
è un'
istanza
di
AreaGeografica
Oggetto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Tropics
NumeroReale
Longitude
,
AttributoDirezionale
,
NumeroReale
and
Unit�DiMisura
objectGeographicCoordinates
Oggetto
,
NumeroReale
Unit�DiMisura
(s and
Longitude
Unit�DiMisura
è un'
istanza
di
UnitOfAngularMeasure
NumeroReale
è
meno
di
NumeroReale
NumeroReale
Unit�DiMisura
(s is
uguale
a
LatitudeFn
AttributoDirezionale
, 23.0
AngularDegree
(s, 26.0
ArcMinute
(s and 11.5
ArcSecond
(s
AttributoDirezionale
è un'
istanza
di
AttributoDirezionale
AttributoDirezionale
is
uguale
a
North
AttributoDirezionale
is
uguale
a
South
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
instance
(
GeographicCenterFn
?REGION)
GeographicArea
))
(
geographicSubregion
(
GeographicCenterFn
?REGION) ?REGION))
Geography.kif 342-346
AreaGeografica
è un'
istanza
di
AreaGeografica
GeographicCenterFn
AreaGeografica
è un'
istanza
di
AreaGeografica
geographicSubregion
GeographicCenterFn
AreaGeografica
and
AreaGeografica
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
AntarcticArea
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3631-3640
Entit�Concreta
è un'
istanza
di
AreaGeografica
Entit�Concreta
è
localizzato
in
AntarcticArea
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
Giorno
attribute
Entit�Concreta
and
Illuminated
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
ArcticRegion
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3570-3579
Entit�Concreta
è un'
istanza
di
AreaGeografica
Entit�Concreta
è
localizzato
in
ArcticRegion
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
Giorno
attribute
Entit�Concreta
and
Illuminated
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
objectGeographicCoordinates
(
GeographicCenterFn
?REGION) ?LAT ?LONG))
(
objectGeographicCoordinates
?REGION ?LAT ?LONG))
Geography.kif 348-353
AreaGeografica
è un'
istanza
di
AreaGeografica
objectGeographicCoordinates
GeographicCenterFn
AreaGeografica
,
Latitude
and
Longitude
objectGeographicCoordinates
AreaGeografica
,
Latitude
and
Longitude
(=>
(
and
(
instance
?T
Typhoon
)
(
eventLocated
?T ?P)
(
instance
?P
GeographicArea
))
(
or
(
located
?P
NorthwesternPacificOcean
)
(
meetsSpatially
?P
NorthwesternPacificOcean
)))
Weather.kif 783-790
Processo
è un'
istanza
di
Typhoon
eventLocated
Processo
and
Oggetto
Oggetto
è un'
istanza
di
AreaGeografica
Oggetto
è
localizzato
in
NorthwesternPacificOcean
Oggetto
incontra
s
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 689-702
Processo
è un'
istanza
di
TropicalCyclone
Processo
fine
s in
Entit�Concreta
Entit�Concreta
è un'
istanza
di
AreaGeografica
Oggetto
Entit�Concreta
and
NumeroReale
Oggetto
è un'
istanza
di
SuperficieTerrestre
Entit�Concreta
è un'
istanza
di
Shoreline
Entit�Concreta
è
localizzato
in
Oggetto
la
distanza
tra
Oggetto
e
Entit�Concreta
è
NumeroReale
Mile
(s
NumeroReale
è
pi
ù grande di 200.0
(=>
(
and
(
instance
?area
GeographicArea
)
(
groundSurfaceType
?area
Loam
))
(
attribute
?area
FertileTerrain
))
Geography.kif 4355-4359
SuperficieTerrestre
è un'
istanza
di
AreaGeografica
groundSurfaceType
SuperficieTerrestre
and
Loam
attribute
SuperficieTerrestre
and
FertileTerrain
(=>
(
and
(
instance
?area
GeographicArea
)
(
groundSurfaceType
?area
Rock
))
(
not
(
attribute
?area
FertileTerrain
)))
Geography.kif 1824-1828
SuperficieTerrestre
è un'
istanza
di
AreaGeografica
groundSurfaceType
SuperficieTerrestre
and
Rock
attribute
SuperficieTerrestre
and
FertileTerrain
(=>
(
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
AreaGeografica
and
Pianta
Pianta
è una
sottoclasse
di
Pianta
AreaGeografica
è un'
istanza
di
AreaGeografica
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Pianta
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
and
(
partlyLocated
?PLACE ?SUBAREA)
(
instance
?SUBAREA
GeographicArea
)
(
geographicSubregion
?SUBAREA ?AREA))
(
partlyLocated
?PLACE ?AREA))
Geography.kif 507-512
Entit�Concreta
è
in
parte localizzato in
AreaGeografica
AreaGeografica
è un'
istanza
di
AreaGeografica
geographicSubregion
AreaGeografica
and
AreaGeografica
Entit�Concreta
è
in
parte localizzato in
AreaGeografica
(=>
(
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
è una
sottoclasse
di
Processo
Processo
è un'
istanza
di
Processo
eventLocated
Processo
and
Regione
RuoloSemantico
è un'
istanza
di
RuoloSemantico
Oggetto
è un'
istanza
di
Oggetto
Regione
è un'
istanza
di
AreaGeografica
RuoloSemantico
Processo
and
Oggetto
capableAtLocation
Processo
,
RuoloSemantico
,
Oggetto
and
Regione
(=>
(
and
(
vegetationType
?REGION ?TYPE)
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION))))
Geography.kif 6191-6199
vegetationType
AreaGeografica
and
Pianta
Pianta
è una
sottoclasse
di
Pianta
AreaGeografica
è un'
istanza
di
AreaGeografica
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Pianta
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
meetsSpatially
?AREA1 ?AREA2))
Geography.kif 695-697
BorderFn
AreaGeografica
and
AreaGeografica
è un'
istanza
di
AreaGeografica
AreaGeografica
incontra
s
AreaGeografica
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
orientation
?AREA1 ?AREA2
Adjacent
))
Geography.kif 712-714
BorderFn
AreaGeografica
and
AreaGeografica
è un'
istanza
di
AreaGeografica
AreaGeografica
è
Adjacent
a
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