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
Le nombre 1 argument de
geographicSubregion
est une
instance
de
secteur g�ographique
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14048-14048
Le nombre 2 argument de
geographicSubregion
est une
instance
de
secteur g�ographique
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14044-14044
geographicSubregion
est une
instance
de
relation asym�trique
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14042-14042
geographicSubregion
est une
instance
de
pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14043-14043
geographicSubregion
est une
instance
de
relation transitive
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14046-14046
geographicSubregion
est une
sous
-relation de
located
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14045-14045
geographicSubregion
est une
sous
-relation 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
est une
sous
-relation 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
Secteur g�ographique
est une
instance
de
secteur g�ographique
geographicSubregion
ElevationHighPointFn
secteur g�ographique
and
secteur g�ographique
elevation
ElevationHighPointFn
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
secteur g�ographique
nombre r�el
geographicSubregion
secteur g�ographique
and
secteur g�ographique
secteur g�ographique
est
ElevationHighPointFn
secteur g�ographique
elevation
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1940-1954
Secteur g�ographique
est une
instance
de
secteur g�ographique
geographicSubregion
ElevationLowPointFn
secteur g�ographique
and
secteur g�ographique
unit� de mesure
est une
instance
de
UnitOfLength
elevation
ElevationLowPointFn
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
secteur g�ographique
nombre r�el
geographicSubregion
secteur g�ographique
and
secteur g�ographique
secteur g�ographique
est
ElevationLowPointFn
secteur g�ographique
elevation
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Media.kif 349-357
Secteur g�ographique
est une
instance
de
nation
geographicSubregion
secteur g�ographique
and
NorthAmerica
geographicSubregion
secteur g�ographique
and
SouthAmerica
geographicSubregion
secteur g�ographique
and
WesternEurope
nationalHoliday
secteur g�ographique
and
ChristmasDay
pendant
temps
d'existence de
secteur g�ographique
No TPTP formula. May not be expressible in strict first order.
Geography.kif 5380-5395
Secteur g�ographique
est une
instance
de
InlandWaterSystem
secteur g�ographique
est une
instance
de
plan d'eau
secteur g�ographique
est une
instance
de
plan d'eau
secteur g�ographique
est
secteur g�ographique
secteur g�ographique
est
connect
� �
secteur g�ographique
geographicSubregion
secteur g�ographique
and
secteur g�ographique
geographicSubregion
secteur g�ographique
and
secteur g�ographique
objet
objet
est une
instance
de
plan d'eau
objet
est
secteur g�ographique
objet
est
secteur g�ographique
objet
est une
partie
de
secteur g�ographique
objet
relie
secteur g�ographique
et
secteur g�ographique
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23387-23391
locatedAtTime
objet
,
position temporel
and
secteur g�ographique
geographicSubregion
secteur g�ographique
and
secteur g�ographique
locatedAtTime
objet
,
position temporel
and
secteur g�ographique
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2264-2269
naturalHazardTypeInArea
secteur g�ographique
and
physique
geographicSubregion
secteur g�ographique
and
secteur g�ographique
secteur g�ographique
est une
instance
de
nation
naturalHazardTypeInArea
secteur g�ographique
and
physique
No TPTP formula. May not be expressible in strict first order.
Geography.kif 507-512
Physique
est
partiellement
localis� �
secteur g�ographique
secteur g�ographique
est une
instance
de
secteur g�ographique
geographicSubregion
secteur g�ographique
and
secteur g�ographique
physique
est
partiellement
localis� �
secteur g�ographique
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24722-24727
postCity
PostalPlace
and
ville
geographicSubregion
ville
and
Etat ou province
Etat ou province
est une
instance
de
Etat ou province
postDistrict
PostalPlace
and
Etat ou province
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24729-24736
postCity
PostalPlace
and
ville
geographicSubregion
ville
and
secteur g�opolitique
secteur g�opolitique
est une
instance
de
nation
secteur g�opolitique
est une
instance
de
DependencyOrSpecialSovereigntyArea
postCountry
PostalPlace
and
secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24683-24688
postNeighborhood
PostalPlace
and
Neighborhood
geographicSubregion
Neighborhood
and
ville
ville
est une
instance
de
ville
postCity
PostalPlace
and
ville
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24690-24695
postNeighborhood
PostalPlace
and
Neighborhood
geographicSubregion
Neighborhood
and
Etat ou province
Etat ou province
est une
instance
de
Etat ou province
postDistrict
PostalPlace
and
Etat ou province
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24797-24802
postPostcodeArea
PostalPlace
and
PostcodeArea
geographicSubregion
PostcodeArea
and
ville
ville
est une
instance
de
ville
postCity
PostalPlace
and
ville
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24804-24809
postPostcodeArea
PostalPlace
and
PostcodeArea
geographicSubregion
PostcodeArea
and
Etat ou province
Etat ou province
est une
instance
de
Etat ou province
postDistrict
PostalPlace
and
Etat ou province
consequent
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2092-2106
arableLandArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfArea
secteur g�ographique
secteur g�ographique
est une
instance
de
ArableLand
geographicSubregion
secteur g�ographique
and
secteur g�ographique
la
mesure
de
secteur g�ographique
est
nombre r�el
+
nombre r�el
unit� de mesure
(s)
No TPTP formula. May not be expressible in strict first order.
MilitaryPersons.kif 26-47
DislocatedCivilian
est un
attribut
de
entit�
entit�
vie
�
entit�
entit�
est
situ
� �
secteur g�ographique
pendant
interval temporel
secteur g�ographique
est une
instance
de
secteur g�ographique
interval temporel
est une
instance
de
interval temporel
interval temporel
entit�
-PLACE and
entit�
-RES
interval temporel
est une
instance
de
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
entit�
-RES est une
instance
de
objet
entit�
-PLACE est une
instance
de
secteur g�opolitique
entit�
-RES est
situ
� �
entit�
-PLACE
secteur g�ographique
est
entit�
-PLACE
entit�
est
entit�
-RES
geographicSubregion
secteur g�ographique
and
entit�
-PLACE
geographicSubregion
entit�
-PLACE and
secteur g�ographique
entit�
vie
�
entit�
-RES
pendant
interval temporel
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1964-1975
Secteur g�ographique
est une
instance
de
secteur g�ographique
geographicSubregion
ElevationHighPointFn
secteur g�ographique
and
secteur g�ographique
elevation
ElevationHighPointFn
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
secteur g�ographique
nombre r�el
geographicSubregion
secteur g�ographique
and
secteur g�ographique
secteur g�ographique
est
ElevationHighPointFn
secteur g�ographique
elevation
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1940-1954
Secteur g�ographique
est une
instance
de
secteur g�ographique
geographicSubregion
ElevationLowPointFn
secteur g�ographique
and
secteur g�ographique
unit� de mesure
est une
instance
de
UnitOfLength
elevation
ElevationLowPointFn
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
secteur g�ographique
nombre r�el
geographicSubregion
secteur g�ographique
and
secteur g�ographique
secteur g�ographique
est
ElevationLowPointFn
secteur g�ographique
elevation
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Geography.kif 493-498
Attribut directionnel
est une
instance
de
attribut directionnel
secteur g�ographique
est une
instance
de
secteur g�ographique
DirectionalSubregionFn
attribut directionnel
and
secteur g�ographique
est une
instance
de
secteur g�ographique
geographicSubregion
DirectionalSubregionFn
attribut directionnel
and
secteur g�ographique
and
secteur g�ographique
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2516-2530
Processus
est une
instance
de
Evacuation
processus
a pour
origine
secteur g�ographique
processus
est un
agent
de
agent cognitif
processus
processus
est une
instance
de
processus
geographicSubregion
secteur g�ographique
and la place
o
�
processus
�tait � le
d
�but de
temps
d'existence de
processus
processus
cause
processus
agent cognitif
croit
Dangerous
est un
attribut
de
processus
No TPTP formula. May not be expressible in strict first order.
Geography.kif 342-346
Secteur g�ographique
est une
instance
de
secteur g�ographique
GeographicCenterFn
secteur g�ographique
est une
instance
de
secteur g�ographique
geographicSubregion
GeographicCenterFn
secteur g�ographique
and
secteur g�ographique
No TPTP formula. May not be expressible in strict first order.
naics.kif 8184-8197
ServiceProcess
est une
instance
de
WaterTransportationService
serviceProvider
ServiceProcess
and
agent cognitif
CoastalAndGreatLakesFreightTransportation
est un
attribut
de
agent cognitif
processus
objet
and
secteur g�ographique
processus
est un
sous
-processus de
ServiceProcess
processus
est une
instance
de
WaterTransportation
objet
est un
instrument
pour
processus
objet
est une
instance
de
CargoShip
eventLocated
processus
and
secteur g�ographique
secteur g�ographique
est une
instance
de
plan d'eau
geographicSubregion
secteur g�ographique
and
UnitedStates
No TPTP formula. May not be expressible in strict first order.
naics.kif 8207-8225
ServiceProcess
est une
instance
de
WaterTransportationService
serviceProvider
ServiceProcess
and
agent cognitif
CoastalAndGreatLakesPassengerTransportation
est un
attribut
de
agent cognitif
processus
objet
and
secteur g�ographique
processus
est un
sous
-processus de
ServiceProcess
processus
est une
instance
de
WaterTransportation
objet
est un
instrument
pour
processus
objet
est une
instance
de
PassengerShip
eventLocated
processus
and
secteur g�ographique
secteur g�ographique
est une
instance
de
plan d'eau
geographicSubregion
secteur g�ographique
and
UnitedStates
entit�
entit�
est une
instance
de
ShortSeaPassengerShip
objet
est
entit�
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2239-2249
irrigatedLandArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfArea
secteur g�ographique
secteur g�ographique
est une
instance
de
IrrigatedLand
geographicSubregion
secteur g�ographique
and
secteur g�ographique
la
mesure
de
secteur g�ographique
est
nombre r�el
unit� de mesure
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2178-2196
otherLandUseArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfArea
secteur g�ographique
secteur g�ographique
est une
instance
de
zone de terre
secteur g�ographique
est une
instance
de
ArableLand
secteur g�ographique
est une
instance
de
PermanentCropLand
geographicSubregion
secteur g�ographique
and
secteur g�ographique
la
mesure
de
secteur g�ographique
est
nombre r�el
+
nombre r�el
unit� de mesure
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2138-2152
permanentCropLandArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfArea
secteur g�ographique
secteur g�ographique
est une
instance
de
PermanentCropLand
geographicSubregion
secteur g�ographique
and
secteur g�ographique
la
mesure
de
secteur g�ographique
est
nombre r�el
+
nombre r�el
unit� de mesure
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3515-3517
Secteur g�ographique
est une
instance
de
continent
geographicSubregion
secteur g�ographique
and
PlanetEarth
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3468-3470
Secteur g�ographique
est une
instance
de
Hemisphere
geographicSubregion
secteur g�ographique
and
PlanetEarth
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24775-24778
Secteur g�ographique
est une
instance
de
PostcodeArea
secteur g�ographique
geographicSubregion
secteur g�ographique
and
secteur g�ographique
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24663-24666
Secteur g�ographique
est une
instance
de
Neighborhood
secteur g�ographique
geographicSubregion
secteur g�ographique
and
secteur g�ographique
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 888-893
Secteur g�ographique
est une
instance
de
DeepDraftPort
secteur g�ographique
secteur g�ographique
est une
instance
de
DeepDraftHarbor
geographicSubregion
secteur g�ographique
and
secteur g�ographique
No TPTP formula. May not be expressible in strict first order.
Weather.kif 619-625
Processus
est une
instance
de
TropicalCyclonicSystem
secteur g�ographique
secteur g�ographique
est une
instance
de
secteur g�ographique
geographicSubregion
secteur g�ographique
and
Tropics
processus
a pour
origine
secteur g�ographique
No TPTP formula. May not be expressible in strict first order.
Geography.kif 5348-5356
Secteur g�ographique
est une
instance
de
InlandWaterSystem
secteur g�ographique
secteur g�ographique
secteur g�ographique
est une
instance
de
BodyOfWater
secteur g�ographique
est une
instance
de
BodyOfWater
secteur g�ographique
est
secteur g�ographique
geographicSubregion
secteur g�ographique
and
secteur g�ographique
geographicSubregion
secteur g�ographique
and
secteur g�ographique
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