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
O argumento numero 1 de
geographicSubregion
e' uma
instancia
de
Area Geografica
(
domain
geographicSubregion
2
GeographicArea
)
Merge.kif 14048-14048
O argumento numero 2 de
geographicSubregion
e' uma
instancia
de
Area Geografica
(
instance
geographicSubregion
AsymmetricRelation
)
Merge.kif 14044-14044
geographicSubregion
e' uma
instancia
de
Relacao Assimetrica
(
instance
geographicSubregion
BinaryPredicate
)
Merge.kif 14042-14042
geographicSubregion
e' uma
instancia
de
Predicado Binario
(
instance
geographicSubregion
TransitiveRelation
)
Merge.kif 14043-14043
geographicSubregion
e' uma
instancia
de
Relacao Transitiva
(
subrelation
geographicSubregion
located
)
Merge.kif 14046-14046
geographicSubregion
e' uma
sub
-relacao de
located
(
subrelation
geographicSubregion
properPart
)
Merge.kif 14045-14045
geographicSubregion
e' uma
sub
-relacao de
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
e' uma
sub
-relacao de
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
Area Geografica
e' uma
instancia
de
Area Geografica
geographicSubregion
ElevationHighPointFn
Area Geografica
and
Area Geografica
elevation
ElevationHighPointFn
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Area Geografica
Numero Real
geographicSubregion
Area Geografica
and
Area Geografica
Area Geografica
e'
igual
a
ElevationHighPointFn
Area Geografica
elevation
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Area Geografica
e' uma
instancia
de
Area Geografica
geographicSubregion
ElevationLowPointFn
Area Geografica
and
Area Geografica
Unidade de Medida
e' uma
instancia
de
UnitOfLength
elevation
ElevationLowPointFn
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Area Geografica
Numero Real
geographicSubregion
Area Geografica
and
Area Geografica
Area Geografica
e'
igual
a
ElevationLowPointFn
Area Geografica
elevation
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
Numero Real
(=>
(
and
(
instance
?NATION
Nation
)
(
or
(
geographicSubregion
?NATION
NorthAmerica
)
(
geographicSubregion
?NATION
SouthAmerica
)
(
geographicSubregion
?NATION
WesternEurope
)))
(
holdsDuring
(
WhenFn
?NATION)
(
nationalHoliday
?NATION
ChristmasDay
)))
Media.kif 349-357
Area Geografica
e' uma
instancia
de
Nacao
geographicSubregion
Area Geografica
and
NorthAmerica
geographicSubregion
Area Geografica
and
SouthAmerica
geographicSubregion
Area Geografica
and
WesternEurope
nationalHoliday
Area Geografica
and
ChristmasDay
vale
durante
tempo
de existencia de
Area Geografica
(=>
(
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
Area Geografica
e' uma
instancia
de
InlandWaterSystem
Area Geografica
e' uma
instancia
de
Area Aquatica
Area Geografica
e' uma
instancia
de
Area Aquatica
Area Geografica
e'
igual
a
Area Geografica
Area Geografica
e'
conectado
com
Area Geografica
geographicSubregion
Area Geografica
and
Area Geografica
geographicSubregion
Area Geografica
and
Area Geografica
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e'
igual
a
Area Geografica
Objeto
e'
igual
a
Area Geografica
Objeto
e' uma &parte de
Area Geografica
Objeto
conecta
Area Geografica
e
Area Geografica
(=>
(
and
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
geographicSubregion
?PLACE ?REGION))
(
locatedAtTime
?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 23387-23391
locatedAtTime
Objeto
,
Posicao Temporal
and
Area Geografica
geographicSubregion
Area Geografica
and
Area Geografica
locatedAtTime
Objeto
,
Posicao Temporal
and
Area Geografica
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
geographicSubregion
?AREA ?COUNTRY)
(
instance
?COUNTRY
Nation
))
(
naturalHazardTypeInArea
?COUNTRY ?TYPE))
Geography.kif 2264-2269
naturalHazardTypeInArea
Area Geografica
and
Fisico
geographicSubregion
Area Geografica
and
Area Geografica
Area Geografica
e' uma
instancia
de
Nacao
naturalHazardTypeInArea
Area Geografica
and
Fisico
(=>
(
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
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
instance
?AREA
StateOrProvince
))
(
postDistrict
?PLACE ?AREA))
Mid-level-ontology.kif 24722-24727
postCity
PostalPlace
and
Cidade
geographicSubregion
Cidade
and
Estado ou Provincia
Estado ou Provincia
e' uma
instancia
de
Estado ou Provincia
postDistrict
PostalPlace
and
Estado ou Provincia
(=>
(
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
Cidade
geographicSubregion
Cidade
and
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
Area Geopolitica
e' uma
instancia
de
DependencyOrSpecialSovereigntyArea
postCountry
PostalPlace
and
Area Geopolitica
(=>
(
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
Cidade
Cidade
e' uma
instancia
de
Cidade
postCity
PostalPlace
and
Cidade
(=>
(
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
Estado ou Provincia
Estado ou Provincia
e' uma
instancia
de
Estado ou Provincia
postDistrict
PostalPlace
and
Estado ou Provincia
(=>
(
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
Cidade
Cidade
e' uma
instancia
de
Cidade
postCity
PostalPlace
and
Cidade
(=>
(
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
Estado ou Provincia
Estado ou Provincia
e' uma
instancia
de
Estado ou Provincia
postDistrict
PostalPlace
and
Estado ou Provincia
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
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a 0.0
totalArea
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfArea
Area Geografica
Area Geografica
e' uma
instancia
de
ArableLand
geographicSubregion
Area Geografica
and
Area Geografica
a
medida
de
Area Geografica
e'
Numero Real
+
Numero Real
Unidade de Medida
(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
DislocatedCivilian
e' um
atributo
de
Entidade
Entidade
vive
em
Entidade
Entidade
e'
situado
em
Area Geografica
vale
durante
Intervalo Temporal
Area Geografica
e' uma
instancia
de
Area Geografica
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
Entidade
-PLACE and
Entidade
-RES
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
Entidade
-RES e' uma
instancia
de
Objeto
Entidade
-PLACE e' uma
instancia
de
Area Geopolitica
Entidade
-RES e'
situado
em
Entidade
-PLACE
Area Geografica
e'
igual
a
Entidade
-PLACE
Entidade
e'
igual
a
Entidade
-RES
geographicSubregion
Area Geografica
and
Entidade
-PLACE
geographicSubregion
Entidade
-PLACE and
Area Geografica
Entidade
vive
em
Entidade
-RES
vale
durante
Intervalo Temporal
(=>
(
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
Area Geografica
e' uma
instancia
de
Area Geografica
geographicSubregion
ElevationHighPointFn
Area Geografica
and
Area Geografica
elevation
ElevationHighPointFn
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Area Geografica
Numero Real
geographicSubregion
Area Geografica
and
Area Geografica
Area Geografica
e'
igual
a
ElevationHighPointFn
Area Geografica
elevation
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Area Geografica
e' uma
instancia
de
Area Geografica
geographicSubregion
ElevationLowPointFn
Area Geografica
and
Area Geografica
Unidade de Medida
e' uma
instancia
de
UnitOfLength
elevation
ElevationLowPointFn
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Area Geografica
Numero Real
geographicSubregion
Area Geografica
and
Area Geografica
Area Geografica
e'
igual
a
ElevationLowPointFn
Area Geografica
elevation
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
Numero Real
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
geographicSubregion
(
DirectionalSubregionFn
?DIRECTION ?AREA) ?AREA))
Geography.kif 493-498
Atributo Directional
e' uma
instancia
de
Atributo Directional
Area Geografica
e' uma
instancia
de
Area Geografica
DirectionalSubregionFn
Atributo Directional
and
Area Geografica
e' uma
instancia
de
Area Geografica
geographicSubregion
DirectionalSubregionFn
Atributo Directional
and
Area Geografica
and
Area Geografica
(=>
(
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
e' uma
instancia
de
Evacuation
Processo
tem como
origem
Area Geografica
Processo
e' um
agente
de
Agente Cognitivo
Processo
Processo
e' uma
instancia
de
Processo
geographicSubregion
Area Geografica
and o lugar onde
Processo
estava em o
comeco
de
tempo
de existencia de
Processo
Processo
causa
Processo
Agente Cognitivo
acredita
que
Dangerous
e' um
atributo
de
Processo
(=>
(
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
?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
e' uma
instancia
de
WaterTransportationService
serviceProvider
ServiceProcess
and
Agente Cognitivo
CoastalAndGreatLakesFreightTransportation
e' um
atributo
de
Agente Cognitivo
Processo
Objeto
and
Area Geografica
Processo
e' um
sub
-processo de
ServiceProcess
Processo
e' uma
instancia
de
WaterTransportation
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
CargoShip
eventLocated
Processo
and
Area Geografica
Area Geografica
e' uma
instancia
de
Area Aquatica
geographicSubregion
Area Geografica
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
e' uma
instancia
de
WaterTransportationService
serviceProvider
ServiceProcess
and
Agente Cognitivo
CoastalAndGreatLakesPassengerTransportation
e' um
atributo
de
Agente Cognitivo
Processo
Objeto
and
Area Geografica
Processo
e' um
sub
-processo de
ServiceProcess
Processo
e' uma
instancia
de
WaterTransportation
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
PassengerShip
eventLocated
Processo
and
Area Geografica
Area Geografica
e' uma
instancia
de
Area Aquatica
geographicSubregion
Area Geografica
and
UnitedStates
Entidade
Entidade
e' uma
instancia
de
ShortSeaPassengerShip
Objeto
e'
igual
a
Entidade
(=>
(
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
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfArea
Area Geografica
Area Geografica
e' uma
instancia
de
IrrigatedLand
geographicSubregion
Area Geografica
and
Area Geografica
a
medida
de
Area Geografica
e'
Numero Real
Unidade de Medida
(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
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a 0.0
totalArea
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfArea
Area Geografica
Area Geografica
e' uma
instancia
de
Area terrestre
Area Geografica
e' uma
instancia
de
ArableLand
Area Geografica
e' uma
instancia
de
PermanentCropLand
geographicSubregion
Area Geografica
and
Area Geografica
a
medida
de
Area Geografica
e'
Numero Real
+
Numero Real
Unidade de Medida
(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
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a 0.0
totalArea
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfArea
Area Geografica
Area Geografica
e' uma
instancia
de
PermanentCropLand
geographicSubregion
Area Geografica
and
Area Geografica
a
medida
de
Area Geografica
e'
Numero Real
+
Numero Real
Unidade de Medida
(s)
(=>
(
instance
?AREA
Continent
)
(
geographicSubregion
?AREA
PlanetEarth
))
Geography.kif 3515-3517
Area Geografica
e' uma
instancia
de
Continente
geographicSubregion
Area Geografica
and
PlanetEarth
(=>
(
instance
?AREA
Hemisphere
)
(
geographicSubregion
?AREA
PlanetEarth
))
Geography.kif 3468-3470
Area Geografica
e' uma
instancia
de
Hemisphere
geographicSubregion
Area Geografica
and
PlanetEarth
(=>
(
instance
?AREA
PostcodeArea
)
(
exists
(?GEO)
(
geographicSubregion
?AREA ?GEO)))
Mid-level-ontology.kif 24775-24778
Area Geografica
e' uma
instancia
de
PostcodeArea
Area Geografica
geographicSubregion
Area Geografica
and
Area Geografica
(=>
(
instance
?PLACE
Neighborhood
)
(
exists
(?AREA)
(
geographicSubregion
?PLACE ?AREA)))
Mid-level-ontology.kif 24663-24666
Area Geografica
e' uma
instancia
de
Neighborhood
Area Geografica
geographicSubregion
Area Geografica
and
Area Geografica
(=>
(
instance
?PORT
DeepDraftPort
)
(
exists
(?HARBOR)
(
and
(
instance
?HARBOR
DeepDraftHarbor
)
(
geographicSubregion
?HARBOR ?PORT))))
Transportation.kif 888-893
Area Geografica
e' uma
instancia
de
DeepDraftPort
Area Geografica
Area Geografica
e' uma
instancia
de
DeepDraftHarbor
geographicSubregion
Area Geografica
and
Area Geografica
(=>
(
instance
?STORM
TropicalCyclonicSystem
)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeographicArea
)
(
geographicSubregion
?PLACE
Tropics
)
(
origin
?STORM ?PLACE))))
Weather.kif 619-625
Processo
e' uma
instancia
de
TropicalCyclonicSystem
Area Geografica
Area Geografica
e' uma
instancia
de
Area Geografica
geographicSubregion
Area Geografica
and
Tropics
Processo
tem como
origem
Area Geografica
(=>
(
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
Area Geografica
e' uma
instancia
de
InlandWaterSystem
Area Geografica
Area Geografica
Area Geografica
e' uma
instancia
de
BodyOfWater
Area Geografica
e' uma
instancia
de
BodyOfWater
Area Geografica
e'
igual
a
Area Geografica
geographicSubregion
Area Geografica
and
Area Geografica
geographicSubregion
Area Geografica
and
Area Geografica
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