Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
geographicSubregion
Sigma KEE - geographicSubregion
geographicSubregion
appearance as argument number 1
(
documentation
geographicSubregion
ChineseLanguage
"(
geographicSubregion
?PART ?WHOLE)的 意思是
GeographicArea
?PART 是
GeographicArea
?WHOLE 的一部分。")
chinese_format.kif 1438-1439
(
documentation
geographicSubregion
EnglishLanguage
"(
geographicSubregion
?PART ?WHOLE) means that the
GeographicArea
?PART is part of the
GeographicArea
?WHOLE.")
Merge.kif 14049-14051
(
domain
geographicSubregion
1
GeographicArea
)
Merge.kif 14047-14047
Il numero 1 argomenti di
geographicSubregion
è un
istanza
di
AreaGeografica
(
domain
geographicSubregion
2
GeographicArea
)
Merge.kif 14048-14048
Il numero 2 argomenti di
geographicSubregion
è un
istanza
di
AreaGeografica
(
instance
geographicSubregion
AsymmetricRelation
)
Merge.kif 14044-14044
geographicSubregion
è un'
istanza
di
RelazioneAsimmetrica
(
instance
geographicSubregion
BinaryPredicate
)
Merge.kif 14042-14042
geographicSubregion
è un'
istanza
di
PredicatoBinario
(
instance
geographicSubregion
TransitiveRelation
)
Merge.kif 14043-14043
geographicSubregion
è un'
istanza
di
RelazioneTransitiva
(
subrelation
geographicSubregion
located
)
Merge.kif 14046-14046
geographicSubregion
è una
sottorelazione
di
located
(
subrelation
geographicSubregion
properPart
)
Merge.kif 14045-14045
geographicSubregion
è una
sottorelazione
di
properPart
appearance as argument number 2
(
format
ChineseLanguage
geographicSubregion
"%1 %n 是 %2 的 geographic 次要地区")
domainEnglishFormat.kif 1097-1097
(
format
ChineseTraditionalLanguage
geographicSubregion
"%1 %n 是 %2 的 geographic 次要地區")
domainEnglishFormat.kif 1096-1096
(
format
EnglishLanguage
geographicSubregion
"%1 is %n a geographic subregion of %2")
domainEnglishFormat.kif 1095-1095
(
subrelation
geopoliticalSubdivision
geographicSubregion
)
Merge.kif 14089-14089
geopoliticalSubdivision
è una
sottorelazione
di
geographicSubregion
(
termFormat
ChineseLanguage
geographicSubregion
"地理分区域")
domainEnglishFormat.kif 25776-25776
(
termFormat
ChineseTraditionalLanguage
geographicSubregion
"地理分區域")
domainEnglishFormat.kif 25775-25775
(
termFormat
EnglishLanguage
geographicSubregion
"geographic subregion")
domainEnglishFormat.kif 25774-25774
antecedent
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationHighPointFn
?AREA) ?AREA)
(
elevation
(
ElevationHighPointFn
?AREA)
(
MeasureFn
?ELEV1 ?UNIT)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationHighPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?UNIT))
(
greaterThan
?ELEV2 ?ELEV1)))))
Geography.kif 1964-1975
AreaGeografica
è un'
istanza
di
AreaGeografica
geographicSubregion
ElevationHighPointFn
AreaGeografica
and
AreaGeografica
elevation
ElevationHighPointFn
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
AreaGeografica
NumeroReale
geographicSubregion
AreaGeografica
and
AreaGeografica
AreaGeografica
is
uguale
a
ElevationHighPointFn
AreaGeografica
elevation
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationLowPointFn
?AREA) ?AREA)
(
instance
?U
UnitOfLength
)
(
elevation
(
ElevationLowPointFn
?AREA)
(
MeasureFn
?ELEV1 ?U)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationLowPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?U))
(
lessThan
?ELEV2 ?ELEV1)))))
Geography.kif 1940-1954
AreaGeografica
è un'
istanza
di
AreaGeografica
geographicSubregion
ElevationLowPointFn
AreaGeografica
and
AreaGeografica
Unit�DiMisura
è un'
istanza
di
UnitOfLength
elevation
ElevationLowPointFn
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
AreaGeografica
NumeroReale
geographicSubregion
AreaGeografica
and
AreaGeografica
AreaGeografica
is
uguale
a
ElevationLowPointFn
AreaGeografica
elevation
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
NumeroReale
(=>
(
and
(
instance
?NATION
Nation
)
(
or
(
geographicSubregion
?NATION
NorthAmerica
)
(
geographicSubregion
?NATION
SouthAmerica
)
(
geographicSubregion
?NATION
WesternEurope
)))
(
holdsDuring
(
WhenFn
?NATION)
(
nationalHoliday
?NATION
ChristmasDay
)))
Media.kif 349-357
AreaGeografica
è un'
istanza
di
Nazione
geographicSubregion
AreaGeografica
and
NorthAmerica
geographicSubregion
AreaGeografica
and
SouthAmerica
geographicSubregion
AreaGeografica
and
WesternEurope
nationalHoliday
AreaGeografica
and
ChristmasDay
vales
durante
il
tempo
di esistenza di
AreaGeografica
(=>
(
and
(
instance
?SYSTEM
InlandWaterSystem
)
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
not
(
equal
?WATER1 ?WATER2))
(
not
(
connected
?WATER1 ?WATER2))
(
geographicSubregion
?WATER1 ?SYSTEM)
(
geographicSubregion
?WATER2 ?SYSTEM))
(
exists
(?WATER3)
(
and
(
instance
?WATER3
WaterArea
)
(
not
(
equal
?WATER3 ?WATER1))
(
not
(
equal
?WATER3 ?WATER1))
(
part
?WATER3 ?SYSTEM)
(
connects
?WATER3 ?WATER1 ?WATER2))))
Geography.kif 5380-5395
AreaGeografica
è un'
istanza
di
InlandWaterSystem
AreaGeografica
è un'
istanza
di
SuperficieAcquatica
AreaGeografica
è un'
istanza
di
SuperficieAcquatica
AreaGeografica
is
uguale
a
AreaGeografica
AreaGeografica
è
connesso
a
AreaGeografica
geographicSubregion
AreaGeografica
and
AreaGeografica
geographicSubregion
AreaGeografica
and
AreaGeografica
Oggetto
Oggetto
è un'
istanza
di
SuperficieAcquatica
Oggetto
is
uguale
a
AreaGeografica
Oggetto
is
uguale
a
AreaGeografica
Oggetto
è una
parte
di
AreaGeografica
Oggetto
connette
AreaGeografica
e
AreaGeografica
(=>
(
and
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
geographicSubregion
?PLACE ?REGION))
(
locatedAtTime
?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 23387-23391
locatedAtTime
Oggetto
,
PosizioneTemporale
and
AreaGeografica
geographicSubregion
AreaGeografica
and
AreaGeografica
locatedAtTime
Oggetto
,
PosizioneTemporale
and
AreaGeografica
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
geographicSubregion
?AREA ?COUNTRY)
(
instance
?COUNTRY
Nation
))
(
naturalHazardTypeInArea
?COUNTRY ?TYPE))
Geography.kif 2264-2269
naturalHazardTypeInArea
AreaGeografica
and
Entit�Concreta
geographicSubregion
AreaGeografica
and
AreaGeografica
AreaGeografica
è un'
istanza
di
Nazione
naturalHazardTypeInArea
AreaGeografica
and
Entit�Concreta
(=>
(
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
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
instance
?AREA
StateOrProvince
))
(
postDistrict
?PLACE ?AREA))
Mid-level-ontology.kif 24722-24727
postCity
PostalPlace
and
Citt�
geographicSubregion
Citt�
and
StatoOProvincia
StatoOProvincia
è un'
istanza
di
StatoOProvincia
postDistrict
PostalPlace
and
StatoOProvincia
(=>
(
and
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
or
(
instance
?AREA
Nation
)
(
instance
?AREA
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?AREA))
Mid-level-ontology.kif 24729-24736
postCity
PostalPlace
and
Citt�
geographicSubregion
Citt�
and
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
Nazione
AreaGeopolitica
è un'
istanza
di
DependencyOrSpecialSovereigntyArea
postCountry
PostalPlace
and
AreaGeopolitica
(=>
(
and
(
postNeighborhood
?PLACE ?NEIGHBORHOOD)
(
geographicSubregion
?NEIGHBORHOOD ?CITY)
(
instance
?CITY
City
))
(
postCity
?PLACE ?CITY))
Mid-level-ontology.kif 24683-24688
postNeighborhood
PostalPlace
and
Neighborhood
geographicSubregion
Neighborhood
and
Citt�
Citt�
è un'
istanza
di
Citt�
postCity
PostalPlace
and
Citt�
(=>
(
and
(
postNeighborhood
?PLACE ?NEIGHBORHOOD)
(
geographicSubregion
?NEIGHBORHOOD ?STATE)
(
instance
?STATE
StateOrProvince
))
(
postDistrict
?PLACE ?STATE))
Mid-level-ontology.kif 24690-24695
postNeighborhood
PostalPlace
and
Neighborhood
geographicSubregion
Neighborhood
and
StatoOProvincia
StatoOProvincia
è un'
istanza
di
StatoOProvincia
postDistrict
PostalPlace
and
StatoOProvincia
(=>
(
and
(
postPostcodeArea
?PLACE ?AREA)
(
geographicSubregion
?AREA ?CITY)
(
instance
?CITY
City
))
(
postCity
?PLACE ?CITY))
Mid-level-ontology.kif 24797-24802
postPostcodeArea
PostalPlace
and
PostcodeArea
geographicSubregion
PostcodeArea
and
Citt�
Citt�
è un'
istanza
di
Citt�
postCity
PostalPlace
and
Citt�
(=>
(
and
(
postPostcodeArea
?PLACE ?AREA)
(
geographicSubregion
?AREA ?GEO)
(
instance
?GEO
StateOrProvince
))
(
postDistrict
?PLACE ?GEO))
Mid-level-ontology.kif 24804-24809
postPostcodeArea
PostalPlace
and
PostcodeArea
geographicSubregion
PostcodeArea
and
StatoOProvincia
StatoOProvincia
è un'
istanza
di
StatoOProvincia
postDistrict
PostalPlace
and
StatoOProvincia
consequent
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2092-2106
arableLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfArea
AreaGeografica
AreaGeografica
è un'
istanza
di
ArableLand
geographicSubregion
AreaGeografica
and
AreaGeografica
la
misura
AreaGeografica
è
NumeroReale
+
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?PERSON
DislocatedCivilian
)
(
inhabits
?PERSON ?RESIDENCE)
(
located
?RESIDENCE ?PLACE)))
(
instance
?PLACE
GeographicArea
)
(
instance
?T1
TimeInterval
))
(
exists
(?T0 ?PRIOR-PLACE ?PRIOR-RES)
(
and
(
instance
?T0
TimeInterval
)
(
earlier
?T0 ?T1)
(
instance
?PRIOR-RES
Object
)
(
instance
?PRIOR-PLACE
GeopoliticalArea
)
(
located
?PRIOR-RES ?PRIOR-PLACE)
(
not
(
equal
?PLACE ?PRIOR-PLACE))
(
not
(
equal
?RESIDENCE ?PRIOR-RES))
(
not
(
geographicSubregion
?PLACE ?PRIOR-PLACE))
(
not
(
geographicSubregion
?PRIOR-PLACE ?PLACE))
(
holdsDuring
?T0
(
inhabits
?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
attribute
Entit�
and
DislocatedCivilian
Entit�
abita
s in
Entit�
Entit�
è
localizzato
in
AreaGeografica
vales
durante
IntervalloTemporale
AreaGeografica
è un'
istanza
di
AreaGeografica
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
Entit�
-PLACE and
Entit�
-RES
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
Entit�
-RES è un'
istanza
di
Oggetto
Entit�
-PLACE è un'
istanza
di
AreaGeopolitica
Entit�
-RES è
localizzato
in
Entit�
-PLACE
AreaGeografica
is
uguale
a
Entit�
-PLACE
Entit�
is
uguale
a
Entit�
-RES
geographicSubregion
AreaGeografica
and
Entit�
-PLACE
geographicSubregion
Entit�
-PLACE and
AreaGeografica
Entit�
abita
s in
Entit�
-RES vales
durante
IntervalloTemporale
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationHighPointFn
?AREA) ?AREA)
(
elevation
(
ElevationHighPointFn
?AREA)
(
MeasureFn
?ELEV1 ?UNIT)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationHighPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?UNIT))
(
greaterThan
?ELEV2 ?ELEV1)))))
Geography.kif 1964-1975
AreaGeografica
è un'
istanza
di
AreaGeografica
geographicSubregion
ElevationHighPointFn
AreaGeografica
and
AreaGeografica
elevation
ElevationHighPointFn
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
AreaGeografica
NumeroReale
geographicSubregion
AreaGeografica
and
AreaGeografica
AreaGeografica
is
uguale
a
ElevationHighPointFn
AreaGeografica
elevation
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationLowPointFn
?AREA) ?AREA)
(
instance
?U
UnitOfLength
)
(
elevation
(
ElevationLowPointFn
?AREA)
(
MeasureFn
?ELEV1 ?U)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationLowPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?U))
(
lessThan
?ELEV2 ?ELEV1)))))
Geography.kif 1940-1954
AreaGeografica
è un'
istanza
di
AreaGeografica
geographicSubregion
ElevationLowPointFn
AreaGeografica
and
AreaGeografica
Unit�DiMisura
è un'
istanza
di
UnitOfLength
elevation
ElevationLowPointFn
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
AreaGeografica
NumeroReale
geographicSubregion
AreaGeografica
and
AreaGeografica
AreaGeografica
is
uguale
a
ElevationLowPointFn
AreaGeografica
elevation
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
NumeroReale
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
geographicSubregion
(
DirectionalSubregionFn
?DIRECTION ?AREA) ?AREA))
Geography.kif 493-498
AttributoDirezionale
è un'
istanza
di
AttributoDirezionale
AreaGeografica
è un'
istanza
di
AreaGeografica
DirectionalSubregionFn
AttributoDirezionale
and
AreaGeografica
è un'
istanza
di
AreaGeografica
geographicSubregion
DirectionalSubregionFn
AttributoDirezionale
and
AreaGeografica
and
AreaGeografica
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?OR)
(
agent
?EV ?A))
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
geographicSubregion
?OR
(
WhereFn
?P
(
BeginFn
(
WhenFn
?EV))))
(
causes
?P ?EV)
(
believes
?A
(
attribute
?P
Dangerous
)))))
MilitaryProcesses.kif 2516-2530
Processo
è un'
istanza
di
Evacuation
Processo
si
originas in
AreaGeografica
Processo
è un
agente
di
AgenteCognitivo
Processo
Processo
è un'
istanza
di
Processo
geographicSubregion
AreaGeografica
and il luogo
dove
Processo
era in l'
inizio
di il
tempo
di esistenza di
Processo
Processo
causa
s
Processo
AgenteCognitivo
crede
s
attribute
Processo
and
Dangerous
(=>
(
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
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesFreightTransportation
))
(
exists
(?FREIGHT ?SHIP ?WATER)
(
and
(
subProcess
?FREIGHT ?X)
(
instance
?FREIGHT
WaterTransportation
)
(
instrument
?FREIGHT ?SHIP)
(
instance
?SHIP
CargoShip
)
(
eventLocated
?FREIGHT ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
))))
naics.kif 8184-8197
ServiceProcess
è un'
istanza
di
WaterTransportationService
serviceProvider
ServiceProcess
and
AgenteCognitivo
attribute
AgenteCognitivo
and
CoastalAndGreatLakesFreightTransportation
Processo
Oggetto
and
AreaGeografica
Processo
è un
sottoprocesso
di
ServiceProcess
Processo
è un'
istanza
di
WaterTransportation
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
CargoShip
eventLocated
Processo
and
AreaGeografica
AreaGeografica
è un'
istanza
di
SuperficieAcquatica
geographicSubregion
AreaGeografica
and
UnitedStates
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesPassengerTransportation
))
(
exists
(?CRUISE ?SHIP ?WATER)
(
and
(
subProcess
?CRUISE ?X)
(
instance
?CRUISE
WaterTransportation
)
(
instrument
?CRUISE ?SHIP)
(
instance
?SHIP
PassengerShip
)
(
eventLocated
?CRUISE ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
)
(
not
(
exists
(?FERRY)
(
and
(
instance
?FERRY
ShortSeaPassengerShip
)
(
equal
?SHIP ?FERRY)))))))
naics.kif 8207-8225
ServiceProcess
è un'
istanza
di
WaterTransportationService
serviceProvider
ServiceProcess
and
AgenteCognitivo
attribute
AgenteCognitivo
and
CoastalAndGreatLakesPassengerTransportation
Processo
Oggetto
and
AreaGeografica
Processo
è un
sottoprocesso
di
ServiceProcess
Processo
è un'
istanza
di
WaterTransportation
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
PassengerShip
eventLocated
Processo
and
AreaGeografica
AreaGeografica
è un'
istanza
di
SuperficieAcquatica
geographicSubregion
AreaGeografica
and
UnitedStates
Entit�
Entit�
è un'
istanza
di
ShortSeaPassengerShip
Oggetto
is
uguale
a
Entit�
(=>
(
and
(
irrigatedLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?IRRLAND)
(
and
(
instance
?IRRLAND
IrrigatedLand
)
(
geographicSubregion
?IRRLAND ?REGION)
(
measure
?IRRLAND
(
MeasureFn
?AMOUNT ?UNIT)))))
Geography.kif 2239-2249
irrigatedLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfArea
AreaGeografica
AreaGeografica
è un'
istanza
di
IrrigatedLand
geographicSubregion
AreaGeografica
and
AreaGeografica
la
misura
AreaGeografica
è
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
otherLandUseArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?OTHER)
(
and
(
instance
?OTHER
LandArea
)
(
not
(
instance
?OTHER
ArableLand
))
(
not
(
instance
?OTHER
PermanentCropLand
))
(
geographicSubregion
?OTHER ?REGION)
(
measure
?OTHER
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2178-2196
otherLandUseArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfArea
AreaGeografica
AreaGeografica
è un'
istanza
di
SuperficieTerrestre
AreaGeografica
è un'
istanza
di
ArableLand
AreaGeografica
è un'
istanza
di
PermanentCropLand
geographicSubregion
AreaGeografica
and
AreaGeografica
la
misura
AreaGeografica
è
NumeroReale
+
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
permanentCropLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?PERMCROP)
(
and
(
instance
?PERMCROP
PermanentCropLand
)
(
geographicSubregion
?PERMCROP ?REGION)
(
measure
?PERMCROP
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2138-2152
permanentCropLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfArea
AreaGeografica
AreaGeografica
è un'
istanza
di
PermanentCropLand
geographicSubregion
AreaGeografica
and
AreaGeografica
la
misura
AreaGeografica
è
NumeroReale
+
NumeroReale
Unit�DiMisura
(s
(=>
(
instance
?AREA
Continent
)
(
geographicSubregion
?AREA
PlanetEarth
))
Geography.kif 3515-3517
AreaGeografica
è un'
istanza
di
Continente
geographicSubregion
AreaGeografica
and
PlanetEarth
(=>
(
instance
?AREA
Hemisphere
)
(
geographicSubregion
?AREA
PlanetEarth
))
Geography.kif 3468-3470
AreaGeografica
è un'
istanza
di
Hemisphere
geographicSubregion
AreaGeografica
and
PlanetEarth
(=>
(
instance
?AREA
PostcodeArea
)
(
exists
(?GEO)
(
geographicSubregion
?AREA ?GEO)))
Mid-level-ontology.kif 24775-24778
AreaGeografica
è un'
istanza
di
PostcodeArea
AreaGeografica
geographicSubregion
AreaGeografica
and
AreaGeografica
(=>
(
instance
?PLACE
Neighborhood
)
(
exists
(?AREA)
(
geographicSubregion
?PLACE ?AREA)))
Mid-level-ontology.kif 24663-24666
AreaGeografica
è un'
istanza
di
Neighborhood
AreaGeografica
geographicSubregion
AreaGeografica
and
AreaGeografica
(=>
(
instance
?PORT
DeepDraftPort
)
(
exists
(?HARBOR)
(
and
(
instance
?HARBOR
DeepDraftHarbor
)
(
geographicSubregion
?HARBOR ?PORT))))
Transportation.kif 888-893
AreaGeografica
è un'
istanza
di
DeepDraftPort
AreaGeografica
AreaGeografica
è un'
istanza
di
DeepDraftHarbor
geographicSubregion
AreaGeografica
and
AreaGeografica
(=>
(
instance
?STORM
TropicalCyclonicSystem
)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeographicArea
)
(
geographicSubregion
?PLACE
Tropics
)
(
origin
?STORM ?PLACE))))
Weather.kif 619-625
Processo
è un'
istanza
di
TropicalCyclonicSystem
AreaGeografica
AreaGeografica
è un'
istanza
di
AreaGeografica
geographicSubregion
AreaGeografica
and
Tropics
Processo
si
originas in
AreaGeografica
(=>
(
instance
?SYSTEM
InlandWaterSystem
)
(
exists
(?BODY1 ?BODY2)
(
and
(
instance
?BODY1
BodyOfWater
)
(
instance
?BODY2
BodyOfWater
)
(
not
(
equal
?BODY1 ?BODY2))
(
geographicSubregion
?BODY1 ?SYSTEM)
(
geographicSubregion
?BODY2 ?SYSTEM))))
Geography.kif 5348-5356
AreaGeografica
è un'
istanza
di
InlandWaterSystem
AreaGeografica
AreaGeografica
AreaGeografica
è un'
istanza
di
BodyOfWater
AreaGeografica
è un'
istanza
di
BodyOfWater
AreaGeografica
is
uguale
a
AreaGeografica
geographicSubregion
AreaGeografica
and
AreaGeografica
geographicSubregion
AreaGeografica
and
AreaGeografica
appearance as argument number 0
(
geographicSubregion
AdanaTurkey
Turkey
)
CountriesAndRegions.kif 2494-2494
geographicSubregion
AdanaTurkey
and
Turkey
(
geographicSubregion
AddisAbabaEthiopia
Ethiopia
)
CountriesAndRegions.kif 2496-2496
geographicSubregion
AddisAbabaEthiopia
and
Ethiopia
(
geographicSubregion
AdenYemen
Yemen
)
CountriesAndRegions.kif 2498-2498
geographicSubregion
AdenYemen
and
Yemen
(
geographicSubregion
AdoraWestBank
WestBank
)
CountriesAndRegions.kif 2500-2500
geographicSubregion
AdoraWestBank
and
WestBank
(
geographicSubregion
Afghanistan
SouthernAsia
)
CountriesAndRegions.kif 567-567
geographicSubregion
Afghanistan
and
SouthernAsia
(
geographicSubregion
Africa
EasternHemisphere
)
Geography.kif 3525-3525
geographicSubregion
Africa
and
EasternHemisphere
(
geographicSubregion
AfulaIsrael
Israel
)
CountriesAndRegions.kif 2502-2502
geographicSubregion
AfulaIsrael
and
Israel
(
geographicSubregion
AgriTurkey
Turkey
)
CountriesAndRegions.kif 2504-2504
geographicSubregion
AgriTurkey
and
Turkey
(
geographicSubregion
AinDeflaAlgeria
Algeria
)
CountriesAndRegions.kif 2506-2506
geographicSubregion
AinDeflaAlgeria
and
Algeria
(
geographicSubregion
AinElHajarAlgeria
Algeria
)
CountriesAndRegions.kif 2508-2508
geographicSubregion
AinElHajarAlgeria
and
Algeria
(
geographicSubregion
AjaccioFrance
France
)
CountriesAndRegions.kif 2510-2510
geographicSubregion
AjaccioFrance
and
France
(
geographicSubregion
AlBalamandLebanon
Lebanon
)
CountriesAndRegions.kif 2512-2512
geographicSubregion
AlBalamandLebanon
and
Lebanon
(
geographicSubregion
Albania
SoutheasternEurope
)
CountriesAndRegions.kif 370-370
geographicSubregion
Albania
and
SoutheasternEurope
(
geographicSubregion
AleiSinaiGazaStrip
GazaStrip
)
CountriesAndRegions.kif 2514-2514
geographicSubregion
AleiSinaiGazaStrip
and
GazaStrip
(
geographicSubregion
AleiZahavWestBank
WestBank
)
CountriesAndRegions.kif 2516-2516
geographicSubregion
AleiZahavWestBank
and
WestBank
(
geographicSubregion
AleyLebanon
Lebanon
)
CountriesAndRegions.kif 2518-2518
geographicSubregion
AleyLebanon
and
Lebanon
(
geographicSubregion
Algeria
NorthernAfrica
)
CountriesAndRegions.kif 116-116
geographicSubregion
Algeria
and
NorthernAfrica
(
geographicSubregion
AlgiersAlgeria
Algeria
)
CountriesAndRegions.kif 2520-2520
geographicSubregion
AlgiersAlgeria
and
Algeria
(
geographicSubregion
AlkhanYurtRussia
Russia
)
CountriesAndRegions.kif 2522-2522
geographicSubregion
AlkhanYurtRussia
and
Russia
(
geographicSubregion
AlonMorehWestBank
WestBank
)
CountriesAndRegions.kif 2524-2524
geographicSubregion
AlonMorehWestBank
and
WestBank
(
geographicSubregion
AmbonIndonesia
Indonesia
)
CountriesAndRegions.kif 2526-2526
geographicSubregion
AmbonIndonesia
and
Indonesia
(
geographicSubregion
AmericanSamoa
Oceania
)
CountriesAndRegions.kif 659-659
geographicSubregion
AmericanSamoa
and
Oceania
(
geographicSubregion
AmmanJordan
Jordan
)
CountriesAndRegions.kif 2528-2528
geographicSubregion
AmmanJordan
and
Jordan
(
geographicSubregion
AnNuwaydiratBahrain
Bahrain
)
CountriesAndRegions.kif 2530-2530
geographicSubregion
AnNuwaydiratBahrain
and
Bahrain
(
geographicSubregion
AndeanSpain
Spain
)
CountriesAndRegions.kif 2532-2532
geographicSubregion
AndeanSpain
and
Spain
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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