GeographicArea
(地理区域)
(=>
(
and
(
instance
?OBJ1
GeographicArea
)
(
instance
?OBJ2
GeographicArea
))
(
equal
(
BorderFn
?OBJ1 ?OBJ2)
(
BorderFn
?OBJ2 ?OBJ1)))
Geography.kif 699-703
如果
地理区域
是
地理区域
的
instance
和
另一个 地理区域
是
地理区域
的
instance
,
然后
那个 地理区域
和
那个 另外 地理区域
的
border
equal
那个 另外 地理区域
和
那个 地理区域
的
border
(=>
(
and
(
instance
?PLACE
GeographicArea
)
(
located
?PLACE ?T)
(
instance
?T
Tropics
))
(
exists
(?NUM1 ?LONG ?DIR ?NUM2 ?U)
(
and
(
objectGeographicCoordinates
?PLACE
(
MeasureFn
?NUM1 ?U) ?LONG)
(
instance
?U
UnitOfAngularMeasure
)
(
lessThan
?NUM1 ?NUM2)
(
equal
(
MeasureFn
?NUM2 ?U)
(
LatitudeFn
?DIR
(
MeasureFn
23.0
AngularDegree
)
(
MeasureFn
26.0
ArcMinute
)
(
MeasureFn
11.5
ArcSecond
)))
(
instance
?DIR
DirectionalAttribute
)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
)))))
Geography.kif 3595-3615
如果
客体
是
地理区域
的
instance
和
那个 客体
是
located
在
另一个 客体
和
那个 另外 客体
是
热带
的
instance
,
然后 有存在
实数
,
经度
,, ,
方向属性
,, ,
另一个 实数
, and 和
测量单位
这样
那个 客体
是 对于
那个 经度
的
object
地理座标
那个 实数
那个 测量单位
和
那个 测量单位
是
UnitOfAngularMeasure
的
instance
和
那个 实数
是
lessThan
那个 另外 实数
和
那个 另外 实数
那个 测量单位
equal
23.0
圆周角度
的
region
那个 方向属性
和
那个 方向属性
是
方向属性
的
instance
和
那个 方向属性
equal
北
或
那个 方向属性
equal
南
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
instance
(
GeographicCenterFn
?REGION)
GeographicArea
))
(
geographicSubregion
(
GeographicCenterFn
?REGION) ?REGION))
Geography.kif 342-346
如果
地理区域
是
地理区域
的
instance
和
那个 地理区域
的
geographic
中心 是
地理区域
的
instance
,
然后
那个 地理区域
的
geographic
中心 是
那个 地理区域
的
geographic
次要地区
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
AntarcticArea
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3631-3640
如果
物理
是
地理区域
的
instance
和
那个 物理
是
located
在
南极地区
,
然后 有存在
时间位置
这样
那个 时间位置
是
日
的
instance
和
发光的
不 是
那个 物理
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
ArcticRegion
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3570-3579
如果
物理
是
地理区域
的
instance
和
那个 物理
是
located
在
北极地区
,
然后 有存在
时间位置
这样
那个 时间位置
是
日
的
instance
和
发光的
不 是
那个 物理
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
objectGeographicCoordinates
(
GeographicCenterFn
?REGION) ?LAT ?LONG))
(
objectGeographicCoordinates
?REGION ?LAT ?LONG))
Geography.kif 348-353
如果
地理区域
是
地理区域
的
instance
和
那个 地理区域
的
geographic
中心 是 对于
经度
的
object
地理座标
纬度
,
然后
那个 地理区域
是 对于
那个 经度
的
object
地理座标
那个 纬度
(=>
(
and
(
instance
?T
Typhoon
)
(
eventLocated
?T ?P)
(
instance
?P
GeographicArea
))
(
or
(
located
?P
NorthwesternPacificOcean
)
(
meetsSpatially
?P
NorthwesternPacificOcean
)))
Weather.kif 787-794
如果
过程
是
台风
的
instance
和
那个 过程
是
located
在
客体
和
那个 客体
是
地理区域
的
instance
,
然后
那个 客体
是
located
在
NorthwesternPacificOcean
或
那个 客体
接上
NorthwesternPacificOcean
(=>
(
and
(
instance
?TC
TropicalCyclone
)
(
destination
?TC ?DEST)
(
instance
?DEST
GeographicArea
))
(
not
(
exists
(?L ?SL ?X)
(
and
(
instance
?L
LandArea
)
(
instance
?SL
Shoreline
)
(
located
?DEST ?L)
(
distance
?L ?SL
(
MeasureFn
?X
Mile
))
(
greaterThan
?X 200.0)))))
Weather.kif 693-706
如果
过程
是
热带气旋
的
instance
和
那个 过程
在
物理
结束 和
那个 物理
是
地理区域
的
instance
,
然后 不存在
客体
,
另一个 物理
, and 和
实数
这样
那个 客体
是
土地面积
的
instance
和
那个 另外 物理
是
海岸线
的
instance
和
那个 物理
是
located
在
那个 客体
和
那个 客体
和
那个 另外 物理
的
distance
是
那个 实数
英里
和
那个 实数
是
greaterThan
200.0
(=>
(
and
(
instance
?area
GeographicArea
)
(
groundSurfaceType
?area
Loam
))
(
attribute
?area
FertileTerrain
))
Geography.kif 4355-4359
如果
土地面积
是
地理区域
的
instance
和
壤土
是
那个 土地面积
的
ground
表面类别,
然后
肥沃的地形
是
那个 土地面积
的
attribute
(=>
(
and
(
instance
?area
GeographicArea
)
(
groundSurfaceType
?area
Rock
))
(
not
(
attribute
?area
FertileTerrain
)))
Geography.kif 1824-1828
如果
土地面积
是
地理区域
的
instance
和
岩石
是
那个 土地面积
的
ground
表面类别,
然后
肥沃的地形
不 是
那个 土地面积
的
attribute
(=>
(
and
(
not
(
vegetationType
?REGION ?TYPE))
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
not
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION)))))
Geography.kif 6201-6209
如果 不
有点 植物
是
found
在
地理区域
和
有点 植物
是
植物
的
subclass
和
那个 地理区域
是
地理区域
的
instance
,
然后 不存在
物理
这样
那个 物理
是
那个 有点 植物
的
instance
和
那个 物理
是
located
在
那个 地理区域
(=>
(
and
(
partlyLocated
?PLACE ?SUBAREA)
(
instance
?SUBAREA
GeographicArea
)
(
geographicSubregion
?SUBAREA ?AREA))
(
partlyLocated
?PLACE ?AREA))
Geography.kif 507-512
如果
物理
是
partlyLocated
在
地理区域
和
那个 地理区域
是
地理区域
的
instance
和
那个 地理区域
是
另一个 地理区域
的
geographic
次要地区,
然后
那个 物理
是
partlyLocated
在
那个 另外 地理区域
(=>
(
and
(
subclass
?TYPE
Process
)
(
instance
?EVENT ?TYPE)
(
eventLocated
?EVENT ?REGION)
(
instance
?ROLE
CaseRole
)
(
instance
?OBJECT
Object
)
(
instance
?REGION
GeographicArea
)
(?ROLE ?EVENT ?OBJECT))
(
capableAtLocation
?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 2692-2701
如果
有点 过程
是
过程
的
subclass
和
另一个 过程
是
有点 过程
的
instance
和
那个 另外 过程
是
located
在
地区
和
格角色
是
格角色
的
instance
和
客体
是
客体
的
instance
和
那个 地区
是
地理区域
的
instance
和
那个 格角色
那个 另外 过程
and
那个 客体
,
然后
那个 有点 过程
capable
在地点
那个 格角色
对于
那个 客体
跟
那个 地区
在一起
(=>
(
and
(
vegetationType
?REGION ?TYPE)
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION))))
Geography.kif 6191-6199
如果
有点 植物
是
found
在
地理区域
和
有点 植物
是
植物
的
subclass
和
那个 地理区域
是
地理区域
的
instance
,
然后 有存在
物理
这样
那个 物理
是
那个 有点 植物
的
instance
和
那个 物理
是
located
在
那个 地理区域
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
meetsSpatially
?AREA1 ?AREA2))
Geography.kif 695-697
如果
地理区域
和
另一个 地理区域
的
border
是
地理区域
的
instance
,
然后
那个 地理区域
接上
那个 另外 地理区域
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
orientation
?AREA1 ?AREA2
Adjacent
))
Geography.kif 712-714
如果
地理区域
和
另一个 地理区域
的
border
是
地理区域
的
instance
,
然后
那个 地理区域
在
那个 另外 地理区域
的
邻
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