Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
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 14202-14204
(
domain
geographicSubregion
1
GeographicArea
)
Merge.kif 14200-14200
Le nombre 1 argument de
geographicSubregion
est une
instance
de
secteur g�ographique
(
domain
geographicSubregion
2
GeographicArea
)
Merge.kif 14201-14201
Le nombre 2 argument de
geographicSubregion
est une
instance
de
secteur g�ographique
(
instance
geographicSubregion
AsymmetricRelation
)
Merge.kif 14197-14197
geographicSubregion
est une
instance
de
relation asym�trique
(
instance
geographicSubregion
BinaryPredicate
)
Merge.kif 14195-14195
geographicSubregion
est une
instance
de
pr�dicat binaire
(
instance
geographicSubregion
TransitiveRelation
)
Merge.kif 14196-14196
geographicSubregion
est une
instance
de
relation transitive
(
subrelation
geographicSubregion
located
)
Merge.kif 14199-14199
geographicSubregion
est une
sous
-relation de
located
(
subrelation
geographicSubregion
properPart
)
Merge.kif 14198-14198
geographicSubregion
est une
sous
-relation 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 14242-14242
geopoliticalSubdivision
est une
sous
-relation de
geographicSubregion
(
termFormat
ChineseLanguage
geographicSubregion
"地理分区域")
domainEnglishFormat.kif 25787-25787
geopoliticalSubdivision
est une
sous
-relation de
geographicSubregion
(
termFormat
ChineseTraditionalLanguage
geographicSubregion
"地理分區域")
domainEnglishFormat.kif 25786-25786
geopoliticalSubdivision
est une
sous
-relation de
geographicSubregion
(
termFormat
EnglishLanguage
geographicSubregion
"geographic subregion")
domainEnglishFormat.kif 25785-25785
geopoliticalSubdivision
est une
sous
-relation de
geographicSubregion
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 2122-2133
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
equal
secteur g�ographique
and
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
(=>
(
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 2098-2112
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
equal
secteur g�ographique
and
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
(=>
(
and
(
instance
?NATION
Nation
)
(
or
(
geographicSubregion
?NATION
NorthAmerica
)
(
geographicSubregion
?NATION
SouthAmerica
)
(
geographicSubregion
?NATION
WesternEurope
)))
(
holdsDuring
(
WhenFn
?NATION)
(
nationalHoliday
?NATION
ChristmasDay
)))
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
(=>
(
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 5683-5698
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
equal
secteur g�ographique
and
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
equal
objet
and
secteur g�ographique
equal
objet
and
secteur g�ographique
objet
est une
partie
de
secteur g�ographique
objet
relie
secteur g�ographique
et
secteur g�ographique
(=>
(
and
(
instance
?W
InteriorChinookWind
)
(
eventLocated
?W ?A)
(
geographicSubregion
?A
WesternNorthAmerica
)
(
instance
?M
MountainRange
))
(
orientation
?A ?M
East
))
Weather.kif 1715-1721
Processus
est une
instance
de
InteriorChinookWind
eventLocated
processus
and
secteur g�ographique
geographicSubregion
secteur g�ographique
and
WesternNorthAmerica
objet
est une
instance
de
MountainRange
secteur g�ographique
est
East
�
objet
(=>
(
and
(
instance
?W
PuelcheWind
)
(
eventLocated
?W ?A)
(
geographicSubregion
?A
Chile
)
(
orientation
?A
SantiagoChile
South
))
(
holdsDuring
(
WhenFn
?W)
(
surfaceWindDirection
?A
East
)))
Weather.kif 1772-1780
Processus
est une
instance
de
PuelcheWind
eventLocated
processus
and
secteur g�ographique
geographicSubregion
secteur g�ographique
and
Chile
secteur g�ographique
est
South
�
SantiagoChile
surfaceWindDirection
secteur g�ographique
and
East
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?W
ZondaWind
)
(
eventLocated
?W ?A)
(
geographicSubregion
?A
Argentina
))
(
orientation
?A
AndesMountains
East
))
Weather.kif 1759-1764
Processus
est une
instance
de
ZondaWind
eventLocated
processus
and
secteur g�ographique
geographicSubregion
secteur g�ographique
and
Argentina
secteur g�ographique
est
East
�
AndesMountains
(=>
(
and
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
geographicSubregion
?PLACE ?REGION))
(
locatedAtTime
?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 25028-25032
locatedAtTime
objet
,
position temporel
and
secteur g�ographique
geographicSubregion
secteur g�ographique
and
secteur g�ographique
locatedAtTime
objet
,
position temporel
and
secteur g�ographique
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
geographicSubregion
?AREA ?COUNTRY)
(
instance
?COUNTRY
Nation
))
(
naturalHazardTypeInArea
?COUNTRY ?TYPE))
Geography.kif 2422-2427
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
(=>
(
and
(
partlyLocated
?PLACE ?SUBAREA)
(
instance
?SUBAREA
GeographicArea
)
(
geographicSubregion
?SUBAREA ?AREA))
(
partlyLocated
?PLACE ?AREA))
Geography.kif 677-682
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
(=>
(
and
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
instance
?AREA
StateOrProvince
))
(
postDistrict
?PLACE ?AREA))
Mid-level-ontology.kif 26384-26389
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
(=>
(
and
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
or
(
instance
?AREA
Nation
)
(
instance
?AREA
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?AREA))
Mid-level-ontology.kif 26391-26398
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
(=>
(
and
(
postNeighborhood
?PLACE ?NEIGHBORHOOD)
(
geographicSubregion
?NEIGHBORHOOD ?CITY)
(
instance
?CITY
City
))
(
postCity
?PLACE ?CITY))
Mid-level-ontology.kif 26345-26350
postNeighborhood
PostalPlace
and
Neighborhood
geographicSubregion
Neighborhood
and
ville
ville
est une
instance
de
ville
postCity
PostalPlace
and
ville
(=>
(
and
(
postNeighborhood
?PLACE ?NEIGHBORHOOD)
(
geographicSubregion
?NEIGHBORHOOD ?STATE)
(
instance
?STATE
StateOrProvince
))
(
postDistrict
?PLACE ?STATE))
Mid-level-ontology.kif 26352-26357
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
(=>
(
and
(
postPostcodeArea
?PLACE ?AREA)
(
geographicSubregion
?AREA ?CITY)
(
instance
?CITY
City
))
(
postCity
?PLACE ?CITY))
Mid-level-ontology.kif 26459-26464
postPostcodeArea
PostalPlace
and
PostcodeArea
geographicSubregion
PostcodeArea
and
ville
ville
est une
instance
de
ville
postCity
PostalPlace
and
ville
(=>
(
and
(
postPostcodeArea
?PLACE ?AREA)
(
geographicSubregion
?AREA ?GEO)
(
instance
?GEO
StateOrProvince
))
(
postDistrict
?PLACE ?GEO))
Mid-level-ontology.kif 26466-26471
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
(=>
(
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 2250-2264
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)
(=>
(
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
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
equal
secteur g�ographique
and
entit�
_PLACE
equal
entit�
and
entit�
_RES
geographicSubregion
secteur g�ographique
and
entit�
_PLACE
geographicSubregion
entit�
_PLACE and
secteur g�ographique
entit�
vie
�
entit�
_RES
pendant
interval temporel
(=>
(
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 2122-2133
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
equal
secteur g�ographique
and
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
(=>
(
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 2098-2112
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
equal
secteur g�ographique
and
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
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
geographicSubregion
(
DirectionalSubregionFn
?DIRECTION ?AREA) ?AREA))
Geography.kif 663-668
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
(=>
(
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 2550-2564
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
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
instance
(
GeographicCenterFn
?REGION)
GeographicArea
))
(
geographicSubregion
(
GeographicCenterFn
?REGION) ?REGION))
Geography.kif 512-516
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
(=>
(
and
(
instance
?W
Mistral
)
(
eventLocated
?W ?A)
(
instance
?A
GeographicArea
)
(
origin
?W
SouthernFrance
)
(
destination
?W
GulfOfLion
))
(
and
(
geographicSubregion
?A
MediterraneanRegion
)
(
orientation
?A
MediterraneanSea
North
)
(
geographicSubregion
?A
SoutheasternEurope
)))
Weather.kif 1639-1649
Processus
est une
instance
de
Mistral
eventLocated
processus
and
secteur g�ographique
secteur g�ographique
est une
instance
de
secteur g�ographique
processus
a pour
origine
SouthernFrance
processus
aboutit
�
GulfOfLion
geographicSubregion
secteur g�ographique
and
MediterraneanRegion
secteur g�ographique
est
North
�
MediterraneanSea
geographicSubregion
secteur g�ographique
and
SoutheasternEurope
(=>
(
and
(
instance
?W
Pampero
)
(
eventLocated
?W ?A)
(
instance
?A
Pampa
))
(
or
(
geographicSubregion
?A
Argentina
)
(
geographicSubregion
?A
Brazil
)
(
geographicSubregion
?A
Bolivia
)
(
geographicSubregion
?A
Paraguay
)
(
geographicSubregion
?A
Uruguay
)))
Weather.kif 1791-1801
Processus
est une
instance
de
Pampero
eventLocated
processus
and
secteur g�ographique
secteur g�ographique
est une
instance
de
Pampa
geographicSubregion
secteur g�ographique
and
Argentina
geographicSubregion
secteur g�ographique
and
Brazil
geographicSubregion
secteur g�ographique
and
Bolivia
geographicSubregion
secteur g�ographique
and
Paraguay
geographicSubregion
secteur g�ographique
and
Uruguay
(=>
(
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
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
(=>
(
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
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
equal
objet
and
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 2397-2407
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)
(=>
(
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 2336-2354
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)
(=>
(
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 2296-2310
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)
(=>
(
instance
?AREA
Continent
)
(
geographicSubregion
?AREA
PlanetEarth
))
Geography.kif 3673-3675
Secteur g�ographique
est une
instance
de
continent
geographicSubregion
secteur g�ographique
and
PlanetEarth
(=>
(
instance
?AREA
Hemisphere
)
(
geographicSubregion
?AREA
PlanetEarth
))
Geography.kif 3626-3628
Secteur g�ographique
est une
instance
de
Hemisphere
geographicSubregion
secteur g�ographique
and
PlanetEarth
(=>
(
instance
?AREA
PostcodeArea
)
(
exists
(?GEO)
(
geographicSubregion
?AREA ?GEO)))
Mid-level-ontology.kif 26437-26440
Secteur g�ographique
est une
instance
de
PostcodeArea
secteur g�ographique
geographicSubregion
secteur g�ographique
and
secteur g�ographique
(=>
(
instance
?PLACE
Neighborhood
)
(
exists
(?AREA)
(
geographicSubregion
?PLACE ?AREA)))
Mid-level-ontology.kif 26325-26328
Secteur g�ographique
est une
instance
de
Neighborhood
secteur g�ographique
geographicSubregion
secteur g�ographique
and
secteur g�ographique
(=>
(
instance
?PORT
DeepDraftPort
)
(
exists
(?HARBOR)
(
and
(
instance
?HARBOR
DeepDraftHarbor
)
(
geographicSubregion
?HARBOR ?PORT))))
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
(=>
(
instance
?STORM
TropicalCyclonicSystem
)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeographicArea
)
(
geographicSubregion
?PLACE
Tropics
)
(
origin
?STORM ?PLACE))))
Weather.kif 603-609
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
(=>
(
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 5651-5659
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
equal
secteur g�ographique
and
secteur g�ographique
geographicSubregion
secteur g�ographique
and
secteur g�ographique
geographicSubregion
secteur g�ographique
and
secteur g�ographique
appearance as argument number 0
(
geographicSubregion
AdanaTurkey
Turkey
)
CountriesAndRegions.kif 2496-2496
geographicSubregion
AdanaTurkey
and
Turkey
(
geographicSubregion
AddisAbabaEthiopia
Ethiopia
)
CountriesAndRegions.kif 2498-2498
geographicSubregion
AddisAbabaEthiopia
and
Ethiopia
(
geographicSubregion
AdenYemen
Yemen
)
CountriesAndRegions.kif 2500-2500
geographicSubregion
AdenYemen
and
Yemen
(
geographicSubregion
AdoraWestBank
WestBank
)
CountriesAndRegions.kif 2502-2502
geographicSubregion
AdoraWestBank
and
WestBank
(
geographicSubregion
Afghanistan
SouthernAsia
)
CountriesAndRegions.kif 567-567
geographicSubregion
Afghanistan
and
SouthernAsia
(
geographicSubregion
Africa
EasternHemisphere
)
Geography.kif 3683-3683
geographicSubregion
Africa
and
EasternHemisphere
(
geographicSubregion
AfulaIsrael
Israel
)
CountriesAndRegions.kif 2504-2504
geographicSubregion
AfulaIsrael
and
Israel
(
geographicSubregion
AgriTurkey
Turkey
)
CountriesAndRegions.kif 2506-2506
geographicSubregion
AgriTurkey
and
Turkey
(
geographicSubregion
AinDeflaAlgeria
Algeria
)
CountriesAndRegions.kif 2508-2508
geographicSubregion
AinDeflaAlgeria
and
Algeria
(
geographicSubregion
AinElHajarAlgeria
Algeria
)
CountriesAndRegions.kif 2510-2510
geographicSubregion
AinElHajarAlgeria
and
Algeria
(
geographicSubregion
AjaccioFrance
France
)
CountriesAndRegions.kif 2512-2512
geographicSubregion
AjaccioFrance
and
France
(
geographicSubregion
AlBalamandLebanon
Lebanon
)
CountriesAndRegions.kif 2514-2514
geographicSubregion
AlBalamandLebanon
and
Lebanon
(
geographicSubregion
Alaska
WesternNorthAmerica
)
Geography.kif 422-422
geographicSubregion
Alaska
and
WesternNorthAmerica
(
geographicSubregion
Albania
SoutheasternEurope
)
CountriesAndRegions.kif 370-370
geographicSubregion
Albania
and
SoutheasternEurope
(
geographicSubregion
AleiSinaiGazaStrip
GazaStrip
)
CountriesAndRegions.kif 2516-2516
geographicSubregion
AleiSinaiGazaStrip
and
GazaStrip
(
geographicSubregion
AleiZahavWestBank
WestBank
)
CountriesAndRegions.kif 2518-2518
geographicSubregion
AleiZahavWestBank
and
WestBank
(
geographicSubregion
AleyLebanon
Lebanon
)
CountriesAndRegions.kif 2520-2520
geographicSubregion
AleyLebanon
and
Lebanon
(
geographicSubregion
Algeria
NorthernAfrica
)
CountriesAndRegions.kif 116-116
geographicSubregion
Algeria
and
NorthernAfrica
(
geographicSubregion
AlgiersAlgeria
Algeria
)
CountriesAndRegions.kif 2522-2522
geographicSubregion
AlgiersAlgeria
and
Algeria
(
geographicSubregion
AlkhanYurtRussia
Russia
)
CountriesAndRegions.kif 2524-2524
geographicSubregion
AlkhanYurtRussia
and
Russia
(
geographicSubregion
AlonMorehWestBank
WestBank
)
CountriesAndRegions.kif 2526-2526
geographicSubregion
AlonMorehWestBank
and
WestBank
(
geographicSubregion
AmbonIndonesia
Indonesia
)
CountriesAndRegions.kif 2528-2528
geographicSubregion
AmbonIndonesia
and
Indonesia
(
geographicSubregion
AmericanSamoa
Oceania
)
CountriesAndRegions.kif 659-659
geographicSubregion
AmericanSamoa
and
Oceania
(
geographicSubregion
AmmanJordan
Jordan
)
CountriesAndRegions.kif 2530-2530
geographicSubregion
AmmanJordan
and
Jordan
(
geographicSubregion
AnNuwaydiratBahrain
Bahrain
)
CountriesAndRegions.kif 2532-2532
geographicSubregion
AnNuwaydiratBahrain
and
Bahrain
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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