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 14019-14021
(
domain
geographicSubregion
1
GeographicArea
)
Merge.kif 14017-14017
geographicSubregion
の数値 1 引数は
地理的地域
の
instance
では %n
(
domain
geographicSubregion
2
GeographicArea
)
Merge.kif 14018-14018
geographicSubregion
の数値 2 引数は
地理的地域
の
instance
では %n
(
instance
geographicSubregion
AsymmetricRelation
)
Merge.kif 14014-14014
geographicSubregion
は
非対称関係
の
instance
では %n
(
instance
geographicSubregion
BinaryPredicate
)
Merge.kif 14012-14012
geographicSubregion
は
2進述語
の
instance
では %n
(
instance
geographicSubregion
TransitiveRelation
)
Merge.kif 14013-14013
geographicSubregion
は
推移関係
の
instance
では %n
(
subrelation
geographicSubregion
located
)
Merge.kif 14016-14016
geographicSubregion
は
located
の
subrelation
では %n
(
subrelation
geographicSubregion
properPart
)
Merge.kif 14015-14015
geographicSubregion
は
properPart
の
subrelation
では %n
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 14059-14059
geopoliticalSubdivision
は
geographicSubregion
の
subrelation
では %n
(
termFormat
ChineseLanguage
geographicSubregion
"地理分区域")
domainEnglishFormat.kif 25782-25782
(
termFormat
ChineseTraditionalLanguage
geographicSubregion
"地理分區域")
domainEnglishFormat.kif 25781-25781
(
termFormat
EnglishLanguage
geographicSubregion
"geographic subregion")
domainEnglishFormat.kif 25780-25780
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
地理的地域
は
地理的地域
の
instance
では %n
geographicSubregion
ElevationHighPointFn
地理的地域
and
地理的地域
elevation
ElevationHighPointFn
地理的地域
and
実数
の
測定単位
(s)
地理的地域
実数
geographicSubregion
地理的地域
and
地理的地域
地理的地域
は
ElevationHighPointFn
地理的地域
と
equal
では
elevation
地理的地域
and
実数
の
測定単位
(s)
実数
は
実数
より
greater
では %n
(=>
(
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
地理的地域
は
地理的地域
の
instance
では %n
geographicSubregion
ElevationLowPointFn
地理的地域
and
地理的地域
測定単位
は
UnitOfLength
の
instance
では %n
elevation
ElevationLowPointFn
地理的地域
and
実数
の
測定単位
(s)
地理的地域
実数
geographicSubregion
地理的地域
and
地理的地域
地理的地域
は
ElevationLowPointFn
地理的地域
と
equal
では
elevation
地理的地域
and
実数
の
測定単位
(s)
実数
は
実数
より
less
では %n
(=>
(
and
(
instance
?NATION
Nation
)
(
or
(
geographicSubregion
?NATION
NorthAmerica
)
(
geographicSubregion
?NATION
SouthAmerica
)
(
geographicSubregion
?NATION
WesternEurope
)))
(
holdsDuring
(
WhenFn
?NATION)
(
nationalHoliday
?NATION
ChristmasDay
)))
Media.kif 349-357
地理的地域
は
国民
の
instance
では %n
geographicSubregion
地理的地域
and
NorthAmerica
geographicSubregion
地理的地域
and
SouthAmerica
geographicSubregion
地理的地域
and
WesternEurope
nationalHoliday
地理的地域
and
ChristmasDay
は
地理的地域
の
time
の existence の
during
holds %n{ない}
(=>
(
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 5358-5373
地理的地域
は
InlandWaterSystem
の
instance
では %n
地理的地域
は
水域
の
instance
では %n
地理的地域
は
水域
の
instance
では %n
地理的地域
は
地理的地域
と
equal
では
地理的地域
は
地理的地域
と
connected
して
geographicSubregion
地理的地域
and
地理的地域
geographicSubregion
地理的地域
and
地理的地域
オブジェクト
オブジェクト
は
水域
の
instance
では %n
オブジェクト
は
地理的地域
と
equal
では
オブジェクト
は
地理的地域
と
equal
では
オブジェクト
は
地理的地域
の
part
では %n
オブジェクト
は
地理的地域
と
地理的地域
に
connect
s %n{ない}
(=>
(
and
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
geographicSubregion
?PLACE ?REGION))
(
locatedAtTime
?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 23336-23340
locatedAtTime
オブジェクト
,
時間位置
and
地理的地域
geographicSubregion
地理的地域
and
地理的地域
locatedAtTime
オブジェクト
,
時間位置
and
地理的地域
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
geographicSubregion
?AREA ?COUNTRY)
(
instance
?COUNTRY
Nation
))
(
naturalHazardTypeInArea
?COUNTRY ?TYPE))
Geography.kif 2264-2269
naturalHazardTypeInArea
地理的地域
and
物理
geographicSubregion
地理的地域
and
地理的地域
地理的地域
は
国民
の
instance
では %n
naturalHazardTypeInArea
地理的地域
and
物理
(=>
(
and
(
partlyLocated
?PLACE ?SUBAREA)
(
instance
?SUBAREA
GeographicArea
)
(
geographicSubregion
?SUBAREA ?AREA))
(
partlyLocated
?PLACE ?AREA))
Geography.kif 507-512
物理
は
partly
に
地理的地域
に 位置して %n
地理的地域
は
地理的地域
の
instance
では %n
geographicSubregion
地理的地域
and
地理的地域
物理
は
partly
に
地理的地域
に 位置して %n
(=>
(
and
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
instance
?AREA
StateOrProvince
))
(
postDistrict
?PLACE ?AREA))
Mid-level-ontology.kif 24671-24676
postCity
PostalPlace
and
都市
geographicSubregion
都市
and
州
州
は
州
の
instance
では %n
postDistrict
PostalPlace
and
州
(=>
(
and
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
or
(
instance
?AREA
Nation
)
(
instance
?AREA
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?AREA))
Mid-level-ontology.kif 24678-24685
postCity
PostalPlace
and
都市
geographicSubregion
都市
and
地政学的地域
地政学的地域
は
国民
の
instance
では %n
地政学的地域
は
DependencyOrSpecialSovereigntyArea
の
instance
では %n
postCountry
PostalPlace
and
地政学的地域
(=>
(
and
(
postNeighborhood
?PLACE ?NEIGHBORHOOD)
(
geographicSubregion
?NEIGHBORHOOD ?CITY)
(
instance
?CITY
City
))
(
postCity
?PLACE ?CITY))
Mid-level-ontology.kif 24632-24637
postNeighborhood
PostalPlace
and
Neighborhood
geographicSubregion
Neighborhood
and
都市
都市
は
都市
の
instance
では %n
postCity
PostalPlace
and
都市
(=>
(
and
(
postNeighborhood
?PLACE ?NEIGHBORHOOD)
(
geographicSubregion
?NEIGHBORHOOD ?STATE)
(
instance
?STATE
StateOrProvince
))
(
postDistrict
?PLACE ?STATE))
Mid-level-ontology.kif 24639-24644
postNeighborhood
PostalPlace
and
Neighborhood
geographicSubregion
Neighborhood
and
州
州
は
州
の
instance
では %n
postDistrict
PostalPlace
and
州
(=>
(
and
(
postPostcodeArea
?PLACE ?AREA)
(
geographicSubregion
?AREA ?CITY)
(
instance
?CITY
City
))
(
postCity
?PLACE ?CITY))
Mid-level-ontology.kif 24746-24751
postPostcodeArea
PostalPlace
and
PostcodeArea
geographicSubregion
PostcodeArea
and
都市
都市
は
都市
の
instance
では %n
postCity
PostalPlace
and
都市
(=>
(
and
(
postPostcodeArea
?PLACE ?AREA)
(
geographicSubregion
?AREA ?GEO)
(
instance
?GEO
StateOrProvince
))
(
postDistrict
?PLACE ?GEO))
Mid-level-ontology.kif 24753-24758
postPostcodeArea
PostalPlace
and
PostcodeArea
geographicSubregion
PostcodeArea
and
州
州
は
州
の
instance
では %n
postDistrict
PostalPlace
and
州
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
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
地理的地域
地理的地域
は
ArableLand
の
instance
では %n
geographicSubregion
地理的地域
and
地理的地域
地理的地域
の
measure
は
実数
+
実数
の
測定単位
(s) では %n
(=>
(
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
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
に
live
s %n{ない}
エンティティー
は
地理的地域
に
located
して %n は
時間間隔
の
during
holds %n{ない}
地理的地域
は
地理的地域
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
エンティティー
-PLACE and
エンティティー
-RES
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
エンティティー
-RES は
オブジェクト
の
instance
では %n
エンティティー
-PLACE は
地政学的地域
の
instance
では %n
エンティティー
-RES は
エンティティー
-PLACE に
located
して %n
地理的地域
は
エンティティー
-PLACE と
equal
では
エンティティー
は
エンティティー
-RES と
equal
では
geographicSubregion
地理的地域
and
エンティティー
-PLACE
geographicSubregion
エンティティー
-PLACE and
地理的地域
エンティティー
は
エンティティー
-RES に
live
s %n{ない} は
時間間隔
の
during
holds %n{ない}
(=>
(
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
地理的地域
は
地理的地域
の
instance
では %n
geographicSubregion
ElevationHighPointFn
地理的地域
and
地理的地域
elevation
ElevationHighPointFn
地理的地域
and
実数
の
測定単位
(s)
地理的地域
実数
geographicSubregion
地理的地域
and
地理的地域
地理的地域
は
ElevationHighPointFn
地理的地域
と
equal
では
elevation
地理的地域
and
実数
の
測定単位
(s)
実数
は
実数
より
greater
では %n
(=>
(
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
地理的地域
は
地理的地域
の
instance
では %n
geographicSubregion
ElevationLowPointFn
地理的地域
and
地理的地域
測定単位
は
UnitOfLength
の
instance
では %n
elevation
ElevationLowPointFn
地理的地域
and
実数
の
測定単位
(s)
地理的地域
実数
geographicSubregion
地理的地域
and
地理的地域
地理的地域
は
ElevationLowPointFn
地理的地域
と
equal
では
elevation
地理的地域
and
実数
の
測定単位
(s)
実数
は
実数
より
less
では %n
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
geographicSubregion
(
DirectionalSubregionFn
?DIRECTION ?AREA) ?AREA))
Geography.kif 493-498
方向属性
は
方向属性
の
instance
では %n
地理的地域
は
地理的地域
の
instance
では %n
DirectionalSubregionFn
方向属性
and
地理的地域
は
地理的地域
の
instance
では %n
geographicSubregion
DirectionalSubregionFn
方向属性
and
地理的地域
and
地理的地域
(=>
(
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
工程
は
Evacuation
の
instance
では %n
工程
は
地理的地域
から
originate
s %n{ない}
認識エージェント
は
工程
の
agent
では %n
工程
工程
は
工程
の
instance
では %n
geographicSubregion
地理的地域
and
工程
が
工程
の
time
の existence の
beginning
に
where
場所
工程
は
工程
を
cause
s %n{ない}
認識エージェント
は
Dangerous
は
工程
の
attribute
では %n を
believe
s %n{ない}
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
instance
(
GeographicCenterFn
?REGION)
GeographicArea
))
(
geographicSubregion
(
GeographicCenterFn
?REGION) ?REGION))
Geography.kif 342-346
地理的地域
は
地理的地域
の
instance
では %n
GeographicCenterFn
地理的地域
は
地理的地域
の
instance
では %n
geographicSubregion
GeographicCenterFn
地理的地域
and
地理的地域
(=>
(
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
は
WaterTransportationService
の
instance
では %n
認識エージェント
は
ServiceProcess
の間サービスを provides %n{ない}
CoastalAndGreatLakesFreightTransportation
は
認識エージェント
の
attribute
では %n
工程
オブジェクト
and
地理的地域
工程
は
ServiceProcess
% の
subprocess
では %n
工程
は
WaterTransportation
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
CargoShip
の
instance
では %n
eventLocated
工程
and
地理的地域
地理的地域
は
水域
の
instance
では %n
geographicSubregion
地理的地域
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
は
WaterTransportationService
の
instance
では %n
認識エージェント
は
ServiceProcess
の間サービスを provides %n{ない}
CoastalAndGreatLakesPassengerTransportation
は
認識エージェント
の
attribute
では %n
工程
オブジェクト
and
地理的地域
工程
は
ServiceProcess
% の
subprocess
では %n
工程
は
WaterTransportation
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
PassengerShip
の
instance
では %n
eventLocated
工程
and
地理的地域
地理的地域
は
水域
の
instance
では %n
geographicSubregion
地理的地域
and
UnitedStates
エンティティー
エンティティー
は
ShortSeaPassengerShip
の
instance
では %n
オブジェクト
は
エンティティー
と
equal
では %n
(=>
(
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
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
地理的地域
地理的地域
は
IrrigatedLand
の
instance
では %n
geographicSubregion
地理的地域
and
地理的地域
地理的地域
の
measure
は
実数
の
測定単位
(s) では %n
(=>
(
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
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
地理的地域
地理的地域
は
土地面積
の
instance
では %n
地理的地域
は
ArableLand
の
instance
では
地理的地域
は
PermanentCropLand
の
instance
では
geographicSubregion
地理的地域
and
地理的地域
地理的地域
の
measure
は
実数
+
実数
の
測定単位
(s) では %n
(=>
(
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
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
地理的地域
地理的地域
は
PermanentCropLand
の
instance
では %n
geographicSubregion
地理的地域
and
地理的地域
地理的地域
の
measure
は
実数
+
実数
の
測定単位
(s) では %n
(=>
(
instance
?AREA
Continent
)
(
geographicSubregion
?AREA
PlanetEarth
))
Geography.kif 3515-3517
地理的地域
は
大陸
の
instance
では %n
geographicSubregion
地理的地域
and
PlanetEarth
(=>
(
instance
?AREA
Hemisphere
)
(
geographicSubregion
?AREA
PlanetEarth
))
Geography.kif 3468-3470
地理的地域
は
Hemisphere
の
instance
では %n
geographicSubregion
地理的地域
and
PlanetEarth
(=>
(
instance
?AREA
PostcodeArea
)
(
exists
(?GEO)
(
geographicSubregion
?AREA ?GEO)))
Mid-level-ontology.kif 24724-24727
地理的地域
は
PostcodeArea
の
instance
では %n
地理的地域
geographicSubregion
地理的地域
and
地理的地域
(=>
(
instance
?PLACE
Neighborhood
)
(
exists
(?AREA)
(
geographicSubregion
?PLACE ?AREA)))
Mid-level-ontology.kif 24612-24615
地理的地域
は
Neighborhood
の
instance
では %n
地理的地域
geographicSubregion
地理的地域
and
地理的地域
(=>
(
instance
?PORT
DeepDraftPort
)
(
exists
(?HARBOR)
(
and
(
instance
?HARBOR
DeepDraftHarbor
)
(
geographicSubregion
?HARBOR ?PORT))))
Transportation.kif 888-893
地理的地域
は
DeepDraftPort
の
instance
では %n
地理的地域
地理的地域
は
DeepDraftHarbor
の
instance
では %n
geographicSubregion
地理的地域
and
地理的地域
(=>
(
instance
?STORM
TropicalCyclonicSystem
)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeographicArea
)
(
geographicSubregion
?PLACE
Tropics
)
(
origin
?STORM ?PLACE))))
Weather.kif 619-625
工程
は
TropicalCyclonicSystem
の
instance
では %n
地理的地域
地理的地域
は
地理的地域
の
instance
では %n
geographicSubregion
地理的地域
and
Tropics
工程
は
地理的地域
から
originate
s %n{ない}
(=>
(
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 5326-5334
地理的地域
は
InlandWaterSystem
の
instance
では %n
地理的地域
地理的地域
地理的地域
は
BodyOfWater
の
instance
では %n
地理的地域
は
BodyOfWater
の
instance
では %n
地理的地域
は
地理的地域
と
equal
では
geographicSubregion
地理的地域
and
地理的地域
geographicSubregion
地理的地域
and
地理的地域
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