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
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1438-1439
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14049-14051
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14047-14047
O argumento numero 1 de
geographicSubregion
e' uma
instancia
de
Area Geografica
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14048-14048
O argumento numero 2 de
geographicSubregion
e' uma
instancia
de
Area Geografica
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14044-14044
geographicSubregion
e' uma
instancia
de
Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14042-14042
geographicSubregion
e' uma
instancia
de
Predicado Binario
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14043-14043
geographicSubregion
e' uma
instancia
de
Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14046-14046
geographicSubregion
e' uma
sub
-relacao de
located
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14045-14045
geographicSubregion
e' uma
sub
-relacao de
properPart
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1097-1097
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1096-1096
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1095-1095
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14089-14089
geopoliticalSubdivision
e' uma
sub
-relacao de
geographicSubregion
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 25776-25776
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 25775-25775
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 25774-25774
antecedent
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24683-24688
postNeighborhood
PostalPlace
and
Neighborhood
geographicSubregion
Neighborhood
and
Cidade
Cidade
e' uma
instancia
de
Cidade
postCity
PostalPlace
and
Cidade
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24797-24802
postPostcodeArea
PostalPlace
and
PostcodeArea
geographicSubregion
PostcodeArea
and
Cidade
Cidade
e' uma
instancia
de
Cidade
postCity
PostalPlace
and
Cidade
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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)
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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)
No TPTP formula. May not be expressible in strict first order.
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)
No TPTP formula. May not be expressible in strict first order.
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)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3515-3517
Area Geografica
e' uma
instancia
de
Continente
geographicSubregion
Area Geografica
and
PlanetEarth
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3468-3470
Area Geografica
e' uma
instancia
de
Hemisphere
geographicSubregion
Area Geografica
and
PlanetEarth
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24775-24778
Area Geografica
e' uma
instancia
de
PostcodeArea
Area Geografica
geographicSubregion
Area Geografica
and
Area Geografica
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24663-24666
Area Geografica
e' uma
instancia
de
Neighborhood
Area Geografica
geographicSubregion
Area Geografica
and
Area Geografica
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2494-2494
geographicSubregion
AdanaTurkey
and
Turkey
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2496-2496
geographicSubregion
AddisAbabaEthiopia
and
Ethiopia
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2498-2498
geographicSubregion
AdenYemen
and
Yemen
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2500-2500
geographicSubregion
AdoraWestBank
and
WestBank
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 567-567
geographicSubregion
Afghanistan
and
SouthernAsia
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3525-3525
geographicSubregion
Africa
and
EasternHemisphere
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2502-2502
geographicSubregion
AfulaIsrael
and
Israel
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2504-2504
geographicSubregion
AgriTurkey
and
Turkey
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2506-2506
geographicSubregion
AinDeflaAlgeria
and
Algeria
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2508-2508
geographicSubregion
AinElHajarAlgeria
and
Algeria
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2510-2510
geographicSubregion
AjaccioFrance
and
France
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2512-2512
geographicSubregion
AlBalamandLebanon
and
Lebanon
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 370-370
geographicSubregion
Albania
and
SoutheasternEurope
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2514-2514
geographicSubregion
AleiSinaiGazaStrip
and
GazaStrip
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2516-2516
geographicSubregion
AleiZahavWestBank
and
WestBank
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2518-2518
geographicSubregion
AleyLebanon
and
Lebanon
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 116-116
geographicSubregion
Algeria
and
NorthernAfrica
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2520-2520
geographicSubregion
AlgiersAlgeria
and
Algeria
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2522-2522
geographicSubregion
AlkhanYurtRussia
and
Russia
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2524-2524
geographicSubregion
AlonMorehWestBank
and
WestBank
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2526-2526
geographicSubregion
AmbonIndonesia
and
Indonesia
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 659-659
geographicSubregion
AmericanSamoa
and
Oceania
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2528-2528
geographicSubregion
AmmanJordan
and
Jordan
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2530-2530
geographicSubregion
AnNuwaydiratBahrain
and
Bahrain
No TPTP formula. May not be expressible in strict first order.
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