GeographicArea
(=>
(
and
(
instance
?OBJ1
GeographicArea
)
(
instance
?OBJ2
GeographicArea
))
(
equal
(
BorderFn
?OBJ1 ?OBJ2)
(
BorderFn
?OBJ2 ?OBJ1)))
Geography.kif 699-703
例
GeographicArea
and
GeographicArea
例
GeographicArea
and
GeographicArea
等於
GeographicArea
和
GeographicArea
的
border
and
GeographicArea
和
GeographicArea
的
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
例
Object
and
GeographicArea
位於
Object
and
Object
例
Object
and
熱帶
RealNumber
經度
,
DirectionalAttribute
,
RealNumber
and
UnitOfMeasure
Object
是 對於
經度
的
object
地理座標
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfAngularMeasure
少於
RealNumber
and
RealNumber
等於
測量
RealNumber
and
UnitOfMeasure
and
測量
23.0 and
圓周角度
的
region
DirectionalAttribute
例
DirectionalAttribute
and
DirectionalAttribute
等於
DirectionalAttribute
and
北
等於
DirectionalAttribute
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
?REGION
GeographicArea
)
(
located
?REGION
AntarcticArea
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3631-3640
例
Physical
and
GeographicArea
位於
Physical
and
南極地區
TimePosition
例
TimePosition
and
Day
持有期間
TimePosition
and
attribute
Physical
and
發光的
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
ArcticRegion
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3570-3579
例
Physical
and
GeographicArea
位於
Physical
and
北極地區
TimePosition
例
TimePosition
and
Day
持有期間
TimePosition
and
attribute
Physical
and
發光的
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
objectGeographicCoordinates
(
GeographicCenterFn
?REGION) ?LAT ?LONG))
(
objectGeographicCoordinates
?REGION ?LAT ?LONG))
Geography.kif 348-353
例
GeographicArea
and
GeographicArea
GeographicArea
的
geographic
中心 是 對於
經度
的
object
地理座標
緯度
GeographicArea
是 對於
經度
的
object
地理座標
緯度
(=>
(
and
(
instance
?T
Typhoon
)
(
eventLocated
?T ?P)
(
instance
?P
GeographicArea
))
(
or
(
located
?P
NorthwesternPacificOcean
)
(
meetsSpatially
?P
NorthwesternPacificOcean
)))
Weather.kif 787-794
例
Process
and
颱風
Process
是
located
在
Object
例
Object
and
GeographicArea
位於
Object
and
NorthwesternPacificOcean
空間的符合
Object
and
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
例
Process
and
熱帶氣旋
目的地
Process
and
Physical
例
Physical
and
GeographicArea
Object
Physical
and
RealNumber
例
Object
and
LandArea
例
Physical
and
海岸線
位於
Physical
and
Object
距離
Object
,
Physical
and
測量
RealNumber
and
英里
比較多
RealNumber
and 200.0
(=>
(
and
(
instance
?area
GeographicArea
)
(
groundSurfaceType
?area
Loam
))
(
attribute
?area
FertileTerrain
))
Geography.kif 4355-4359
例
LandArea
and
GeographicArea
壤土
是
LandArea
的
ground
表面類別
attribute
LandArea
and
肥沃的地形
(=>
(
and
(
instance
?area
GeographicArea
)
(
groundSurfaceType
?area
Rock
))
(
not
(
attribute
?area
FertileTerrain
)))
Geography.kif 1824-1828
例
LandArea
and
GeographicArea
岩石
是
LandArea
的
ground
表面類別
attribute
LandArea
and
肥沃的地形
(=>
(
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
Plant
是
found
在
GeographicArea
子類
Plant
and
Plant
例
GeographicArea
and
GeographicArea
Physical
例
Physical
and
Plant
位於
Physical
and
GeographicArea
(=>
(
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
(
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
子類
Process
and
Process
例
Process
and
Process
Process
是
located
在
Region
例
CaseRole
and
CaseRole
例
Object
and
Object
例
Region
and
GeographicArea
CaseRole
Process
and
Object
Process
capable
在地點
CaseRole
對於
Object
跟
Region
在一起
(=>
(
and
(
vegetationType
?REGION ?TYPE)
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION))))
Geography.kif 6191-6199
Plant
是
found
在
GeographicArea
子類
Plant
and
Plant
例
GeographicArea
and
GeographicArea
Physical
例
Physical
and
Plant
位於
Physical
and
GeographicArea
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
meetsSpatially
?AREA1 ?AREA2))
Geography.kif 695-697
例
GeographicArea
和
GeographicArea
的
border
and
GeographicArea
空間的符合
GeographicArea
and
GeographicArea
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
orientation
?AREA1 ?AREA2
Adjacent
))
Geography.kif 712-714
例
GeographicArea
和
GeographicArea
的
border
and
GeographicArea
方位
GeographicArea
,
GeographicArea
and
鄰
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