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
ShipRegistration
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
域
地理分區域
, 1 and
GeographicArea
(
domain
geographicSubregion
2
GeographicArea
)
Merge.kif 14048-14048
域
地理分區域
, 2 and
GeographicArea
(
instance
geographicSubregion
AsymmetricRelation
)
Merge.kif 14044-14044
例
地理分區域
and
AsymmetricRelation
(
instance
geographicSubregion
BinaryPredicate
)
Merge.kif 14042-14042
例
地理分區域
and
BinaryPredicate
(
instance
geographicSubregion
TransitiveRelation
)
Merge.kif 14043-14043
例
地理分區域
and
TransitiveRelation
(
subrelation
geographicSubregion
located
)
Merge.kif 14046-14046
子關係
地理分區域
and
位於
(
subrelation
geographicSubregion
properPart
)
Merge.kif 14045-14045
子關係
地理分區域
and
適當的部分
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
子關係
地緣政治細分
and
地理分區域
(
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
例
GeographicArea
and
GeographicArea
GeographicArea
的
elevation
高點 是
GeographicArea
的
geographic
次要地區
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
elevation
高點 的
elevation
GeographicArea
RealNumber
GeographicArea
是
GeographicArea
的
geographic
次要地區
等於
GeographicArea
and
GeographicArea
的
elevation
高點
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
elevation
比較多
RealNumber
and
RealNumber
(=>
(
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
例
GeographicArea
and
GeographicArea
GeographicArea
的
elevation
低點 是
GeographicArea
的
geographic
次要地區
例
UnitOfMeasure
and
UnitOfLength
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
elevation
低點 的
elevation
GeographicArea
RealNumber
GeographicArea
是
GeographicArea
的
geographic
次要地區
等於
GeographicArea
and
GeographicArea
的
elevation
低點
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
elevation
少於
RealNumber
and
RealNumber
(=>
(
and
(
instance
?NATION
Nation
)
(
or
(
geographicSubregion
?NATION
NorthAmerica
)
(
geographicSubregion
?NATION
SouthAmerica
)
(
geographicSubregion
?NATION
WesternEurope
)))
(
holdsDuring
(
WhenFn
?NATION)
(
nationalHoliday
?NATION
ChristmasDay
)))
Media.kif 349-357
例
GeographicArea
and
Nation
GeographicArea
是
北美
的
geographic
次要地區
GeographicArea
是
南美洲
的
geographic
次要地區
GeographicArea
是
西歐
的
geographic
次要地區
持有期間
何時
GeographicArea
and
ChristmasDay
是
GeographicArea
的
national
節日
(=>
(
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
例
GeographicArea
and
內陸水系統
例
GeographicArea
and
WaterArea
例
GeographicArea
and
WaterArea
等於
GeographicArea
and
GeographicArea
連接的
GeographicArea
and
GeographicArea
GeographicArea
是
GeographicArea
的
geographic
次要地區
GeographicArea
是
GeographicArea
的
geographic
次要地區
Object
例
Object
and
WaterArea
等於
Object
and
GeographicArea
等於
Object
and
GeographicArea
部分
Object
and
GeographicArea
連接
Object
,
GeographicArea
and
GeographicArea
(=>
(
and
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
geographicSubregion
?PLACE ?REGION))
(
locatedAtTime
?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 23387-23391
Object
對於
GeographicArea
在時間
TimePosition
located
GeographicArea
是
GeographicArea
的
geographic
次要地區
Object
對於
GeographicArea
在時間
TimePosition
located
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
geographicSubregion
?AREA ?COUNTRY)
(
instance
?COUNTRY
Nation
))
(
naturalHazardTypeInArea
?COUNTRY ?TYPE))
Geography.kif 2264-2269
Physical
是區域
GeographicArea
的
natural
有害類別
GeographicArea
是
GeographicArea
的
geographic
次要地區
例
GeographicArea
and
Nation
Physical
是區域
GeographicArea
的
natural
有害類別
(=>
(
and
(
partlyLocated
?PLACE ?SUBAREA)
(
instance
?SUBAREA
GeographicArea
)
(
geographicSubregion
?SUBAREA ?AREA))
(
partlyLocated
?PLACE ?AREA))
Geography.kif 507-512
部分位於
Physical
and
GeographicArea
例
GeographicArea
and
GeographicArea
GeographicArea
是
GeographicArea
的
geographic
次要地區
部分位於
Physical
and
GeographicArea
(=>
(
and
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
instance
?AREA
StateOrProvince
))
(
postDistrict
?PLACE ?AREA))
Mid-level-ontology.kif 24722-24727
PostalPlace
是在
City
City
是
StateOrProvince
的
geographic
次要地區
例
StateOrProvince
and
StateOrProvince
PostalPlace
是在
StateOrProvince
(=>
(
and
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
or
(
instance
?AREA
Nation
)
(
instance
?AREA
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?AREA))
Mid-level-ontology.kif 24729-24736
PostalPlace
是在
City
City
是
GeopoliticalArea
的
geographic
次要地區
例
GeopoliticalArea
and
Nation
例
GeopoliticalArea
and
依賴或特殊主權領域
PostalPlace
是在
GeopoliticalArea
(=>
(
and
(
postNeighborhood
?PLACE ?NEIGHBORHOOD)
(
geographicSubregion
?NEIGHBORHOOD ?CITY)
(
instance
?CITY
City
))
(
postCity
?PLACE ?CITY))
Mid-level-ontology.kif 24683-24688
PostalPlace
是在
Neighborhood
Neighborhood
是
City
的
geographic
次要地區
例
City
and
City
PostalPlace
是在
City
(=>
(
and
(
postNeighborhood
?PLACE ?NEIGHBORHOOD)
(
geographicSubregion
?NEIGHBORHOOD ?STATE)
(
instance
?STATE
StateOrProvince
))
(
postDistrict
?PLACE ?STATE))
Mid-level-ontology.kif 24690-24695
PostalPlace
是在
Neighborhood
Neighborhood
是
StateOrProvince
的
geographic
次要地區
例
StateOrProvince
and
StateOrProvince
PostalPlace
是在
StateOrProvince
(=>
(
and
(
postPostcodeArea
?PLACE ?AREA)
(
geographicSubregion
?AREA ?CITY)
(
instance
?CITY
City
))
(
postCity
?PLACE ?CITY))
Mid-level-ontology.kif 24797-24802
PostalPlace
是在
post
code
PostcodeArea
PostcodeArea
是
City
的
geographic
次要地區
例
City
and
City
PostalPlace
是在
City
(=>
(
and
(
postPostcodeArea
?PLACE ?AREA)
(
geographicSubregion
?AREA ?GEO)
(
instance
?GEO
StateOrProvince
))
(
postDistrict
?PLACE ?GEO))
Mid-level-ontology.kif 24804-24809
PostalPlace
是在
post
code
PostcodeArea
PostcodeArea
是
StateOrProvince
的
geographic
次要地區
例
StateOrProvince
and
StateOrProvince
PostalPlace
是在
StateOrProvince
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
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
arable
土地
大於或等於
RealNumber
and 0.0
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
區域
例
UnitOfMeasure
and
UnitOfArea
GeographicArea
例
GeographicArea
and
耕地
GeographicArea
是
GeographicArea
的
geographic
次要地區
測量
GeographicArea
and
測量
乘法
RealNumber
and
RealNumber
and
UnitOfMeasure
(=>
(
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
持有期間
TimeInterval
and
attribute
entity
and
平民流離失所
棲息
entity
and
entity
位於
entity
and
GeographicArea
例
GeographicArea
and
GeographicArea
例
TimeInterval
and
TimeInterval
TimeInterval
entity
-PLACE and
entity
-RES
例
TimeInterval
and
TimeInterval
早期
TimeInterval
and
TimeInterval
例
entity
-RES and
Object
例
entity
-PLACE and
GeopoliticalArea
位於
entity
-RES and
entity
-PLACE
等於
GeographicArea
and
entity
-PLACE
等於
entity
and
entity
-RES
GeographicArea
是
entity
-PLACE 的
geographic
次要地區
entity
-PLACE 是
GeographicArea
的
geographic
次要地區
持有期間
TimeInterval
and
棲息
entity
and
entity
-RES
(=>
(
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
例
GeographicArea
and
GeographicArea
GeographicArea
的
elevation
高點 是
GeographicArea
的
geographic
次要地區
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
elevation
高點 的
elevation
GeographicArea
RealNumber
GeographicArea
是
GeographicArea
的
geographic
次要地區
等於
GeographicArea
and
GeographicArea
的
elevation
高點
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
elevation
比較多
RealNumber
and
RealNumber
(=>
(
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
例
GeographicArea
and
GeographicArea
GeographicArea
的
elevation
低點 是
GeographicArea
的
geographic
次要地區
例
UnitOfMeasure
and
UnitOfLength
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
elevation
低點 的
elevation
GeographicArea
RealNumber
GeographicArea
是
GeographicArea
的
geographic
次要地區
等於
GeographicArea
and
GeographicArea
的
elevation
低點
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
elevation
少於
RealNumber
and
RealNumber
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
geographicSubregion
(
DirectionalSubregionFn
?DIRECTION ?AREA) ?AREA))
Geography.kif 493-498
例
DirectionalAttribute
and
DirectionalAttribute
例
GeographicArea
and
GeographicArea
例
DirectionalAttribute
和
GeographicArea
的
directional
次要地區 and
GeographicArea
DirectionalAttribute
和
GeographicArea
的
directional
次要地區 是
GeographicArea
的
geographic
次要地區
(=>
(
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
例
Process
and
疏散
起源
Process
and
GeographicArea
agent
Process
and
CognitiveAgent
Process
例
Process
and
Process
GeographicArea
是
哪裡
Process
and
開始
何時
Process
的
geographic
次要地區
原因
Process
and
Process
相信
CognitiveAgent
and
attribute
Process
and
危險
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
instance
(
GeographicCenterFn
?REGION)
GeographicArea
))
(
geographicSubregion
(
GeographicCenterFn
?REGION) ?REGION))
Geography.kif 342-346
例
GeographicArea
and
GeographicArea
例
GeographicArea
的
geographic
中心 and
GeographicArea
GeographicArea
的
geographic
中心 是
GeographicArea
的
geographic
次要地區
(=>
(
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
例
服務
and
WaterTransportationService
服務提供者
服務
and
CognitiveAgent
attribute
CognitiveAgent
and
沿海和大湖泊貨運
Process
Object
and
GeographicArea
子過程
Process
and
服務
例
Process
and
水運
儀器
Process
and
Object
例
Object
and
貨船
Process
是
located
在
GeographicArea
例
GeographicArea
and
WaterArea
GeographicArea
是
美國
的
geographic
次要地區
(=>
(
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
例
服務
and
WaterTransportationService
服務提供者
服務
and
CognitiveAgent
attribute
CognitiveAgent
and
沿海和大湖泊客運
Process
Object
and
GeographicArea
子過程
Process
and
服務
例
Process
and
水運
儀器
Process
and
Object
例
Object
and
客船
Process
是
located
在
GeographicArea
例
GeographicArea
and
WaterArea
GeographicArea
是
美國
的
geographic
次要地區
Entity
例
Entity
and
近海客船
等於
Object
and
Entity
(=>
(
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
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
irrigated
土地
例
UnitOfMeasure
and
UnitOfArea
GeographicArea
例
GeographicArea
and
灌溉土地
GeographicArea
是
GeographicArea
的
geographic
次要地區
測量
GeographicArea
and
測量
RealNumber
and
UnitOfMeasure
(=>
(
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
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
other
土地使用地區
大於或等於
RealNumber
and 0.0
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
區域
例
UnitOfMeasure
and
UnitOfArea
GeographicArea
例
GeographicArea
and
LandArea
例
GeographicArea
and
耕地
例
GeographicArea
and
永久性耕地
GeographicArea
是
GeographicArea
的
geographic
次要地區
測量
GeographicArea
and
測量
乘法
RealNumber
and
RealNumber
and
UnitOfMeasure
(=>
(
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
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
permanent
農作地區
大於或等於
RealNumber
and 0.0
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
區域
例
UnitOfMeasure
and
UnitOfArea
GeographicArea
例
GeographicArea
and
永久性耕地
GeographicArea
是
GeographicArea
的
geographic
次要地區
測量
GeographicArea
and
測量
乘法
RealNumber
and
RealNumber
and
UnitOfMeasure
(=>
(
instance
?AREA
Continent
)
(
geographicSubregion
?AREA
PlanetEarth
))
Geography.kif 3515-3517
例
GeographicArea
and
Continent
GeographicArea
是
行星地球
的
geographic
次要地區
(=>
(
instance
?AREA
Hemisphere
)
(
geographicSubregion
?AREA
PlanetEarth
))
Geography.kif 3468-3470
例
GeographicArea
and
半球
GeographicArea
是
行星地球
的
geographic
次要地區
(=>
(
instance
?AREA
PostcodeArea
)
(
exists
(?GEO)
(
geographicSubregion
?AREA ?GEO)))
Mid-level-ontology.kif 24775-24778
例
GeographicArea
and
PostcodeArea
GeographicArea
GeographicArea
是
GeographicArea
的
geographic
次要地區
(=>
(
instance
?PLACE
Neighborhood
)
(
exists
(?AREA)
(
geographicSubregion
?PLACE ?AREA)))
Mid-level-ontology.kif 24663-24666
例
GeographicArea
and
Neighborhood
GeographicArea
GeographicArea
是
GeographicArea
的
geographic
次要地區
(=>
(
instance
?PORT
DeepDraftPort
)
(
exists
(?HARBOR)
(
and
(
instance
?HARBOR
DeepDraftHarbor
)
(
geographicSubregion
?HARBOR ?PORT))))
Transportation.kif 888-893
例
GeographicArea
and
深水港
GeographicArea
例
GeographicArea
and
深海港口
GeographicArea
是
GeographicArea
的
geographic
次要地區
(=>
(
instance
?STORM
TropicalCyclonicSystem
)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeographicArea
)
(
geographicSubregion
?PLACE
Tropics
)
(
origin
?STORM ?PLACE))))
Weather.kif 619-625
例
Process
and
TropicalCyclonicSystem
GeographicArea
例
GeographicArea
and
GeographicArea
GeographicArea
是
熱帶
的
geographic
次要地區
起源
Process
and
GeographicArea
(=>
(
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
例
GeographicArea
and
內陸水系統
GeographicArea
GeographicArea
例
GeographicArea
and
水體
例
GeographicArea
and
水體
等於
GeographicArea
and
GeographicArea
GeographicArea
是
GeographicArea
的
geographic
次要地區
GeographicArea
是
GeographicArea
的
geographic
次要地區
appearance as argument number 0
(
geographicSubregion
AdanaTurkey
Turkey
)
CountriesAndRegions.kif 2494-2494
阿達納土耳其
是
火雞
的
geographic
次要地區
(
geographicSubregion
AddisAbabaEthiopia
Ethiopia
)
CountriesAndRegions.kif 2496-2496
亞的斯亞貝巴埃塞俄比亞
是
埃塞俄比亞
的
geographic
次要地區
(
geographicSubregion
AdenYemen
Yemen
)
CountriesAndRegions.kif 2498-2498
腺也門
是
葉門
的
geographic
次要地區
(
geographicSubregion
AdoraWestBank
WestBank
)
CountriesAndRegions.kif 2500-2500
阿多拉西岸
是
西方銀行
的
geographic
次要地區
(
geographicSubregion
Afghanistan
SouthernAsia
)
CountriesAndRegions.kif 567-567
阿富汗
是
南亞
的
geographic
次要地區
(
geographicSubregion
Africa
EasternHemisphere
)
Geography.kif 3525-3525
非洲
是
東半球
的
geographic
次要地區
(
geographicSubregion
AfulaIsrael
Israel
)
CountriesAndRegions.kif 2502-2502
阿富拉以色列
是
以色列
的
geographic
次要地區
(
geographicSubregion
AgriTurkey
Turkey
)
CountriesAndRegions.kif 2504-2504
阿格里土耳其
是
火雞
的
geographic
次要地區
(
geographicSubregion
AinDeflaAlgeria
Algeria
)
CountriesAndRegions.kif 2506-2506
Ain defla 阿爾及利亞
是
阿爾及利亞
的
geographic
次要地區
(
geographicSubregion
AinElHajarAlgeria
Algeria
)
CountriesAndRegions.kif 2508-2508
Ain el hajar 阿爾及利亞
是
阿爾及利亞
的
geographic
次要地區
(
geographicSubregion
AjaccioFrance
France
)
CountriesAndRegions.kif 2510-2510
Ajaccio 法國
是
法國
的
geographic
次要地區
(
geographicSubregion
AlBalamandLebanon
Lebanon
)
CountriesAndRegions.kif 2512-2512
Al balamand 黎巴嫩
是
黎巴嫩
的
geographic
次要地區
(
geographicSubregion
Albania
SoutheasternEurope
)
CountriesAndRegions.kif 370-370
阿爾巴尼亞
是
東南歐
的
geographic
次要地區
(
geographicSubregion
AleiSinaiGazaStrip
GazaStrip
)
CountriesAndRegions.kif 2514-2514
Alei sinai 加沙地帶
是
加沙地帶
的
geographic
次要地區
(
geographicSubregion
AleiZahavWestBank
WestBank
)
CountriesAndRegions.kif 2516-2516
Alei zahav 西方銀行
是
西方銀行
的
geographic
次要地區
(
geographicSubregion
AleyLebanon
Lebanon
)
CountriesAndRegions.kif 2518-2518
阿萊黎巴嫩
是
黎巴嫩
的
geographic
次要地區
(
geographicSubregion
Algeria
NorthernAfrica
)
CountriesAndRegions.kif 116-116
阿爾及利亞
是
北非
的
geographic
次要地區
(
geographicSubregion
AlgiersAlgeria
Algeria
)
CountriesAndRegions.kif 2520-2520
阿爾及爾,阿爾及利亞
是
阿爾及利亞
的
geographic
次要地區
(
geographicSubregion
AlkhanYurtRussia
Russia
)
CountriesAndRegions.kif 2522-2522
烷烴蒙古包俄羅斯
是
俄國
的
geographic
次要地區
(
geographicSubregion
AlonMorehWestBank
WestBank
)
CountriesAndRegions.kif 2524-2524
Alon
是
西方銀行
的
geographic
次要地區
(
geographicSubregion
AmbonIndonesia
Indonesia
)
CountriesAndRegions.kif 2526-2526
安汶印度尼西亞
是
印度尼西亞
的
geographic
次要地區
(
geographicSubregion
AmericanSamoa
Oceania
)
CountriesAndRegions.kif 659-659
美國薩摩亞
是
大洋洲
的
geographic
次要地區
(
geographicSubregion
AmmanJordan
Jordan
)
CountriesAndRegions.kif 2528-2528
安曼,約旦
是
約旦
的
geographic
次要地區
(
geographicSubregion
AnNuwaydiratBahrain
Bahrain
)
CountriesAndRegions.kif 2530-2530
一個 nuwaydirat 巴林
是
巴林
的
geographic
次要地區
(
geographicSubregion
AndeanSpain
Spain
)
CountriesAndRegions.kif 2532-2532
安第斯西班牙
是
西班牙
的
geographic
次要地區
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