GeographicArea
(地理的地域)
(=>
(
and
(
instance
?OBJ1
GeographicArea
)
(
instance
?OBJ2
GeographicArea
))
(
equal
(
BorderFn
?OBJ1 ?OBJ2)
(
BorderFn
?OBJ2 ?OBJ1)))
Geography.kif 699-703
地理的地域
は
地理的地域
の
instance
では %n
地理的地域
は
地理的地域
の
instance
では %n
BorderFn
地理的地域
and
地理的地域
は
BorderFn
地理的地域
and
地理的地域
と
equal
では %n
(=>
(
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
では %n
オブジェクト
は
オブジェクト
に
located
して %n
オブジェクト
は
Tropics
の
instance
では %n
実数
Longitude
,
方向属性
,
実数
and
測定単位
objectGeographicCoordinates
オブジェクト
,
実数
の
測定単位
(s) and
Longitude
測定単位
は
UnitOfAngularMeasure
の
instance
では %n
実数
は
実数
より
less
では %n
実数
の
測定単位
(s) は
LatitudeFn
方向属性
, 23.0 の
AngularDegree
(s), 26.0 の
ArcMinute
(s) and 11.5 の
ArcSecond
(s) と
equal
では %n
方向属性
は
方向属性
の
instance
では %n
方向属性
は
North
と
equal
では %n
方向属性
は
South
と
equal
では %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
?REGION
GeographicArea
)
(
located
?REGION
AntarcticArea
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3631-3640
物理
は
地理的地域
の
instance
では %n
物理
は
AntarcticArea
に
located
して %n
時間位置
時間位置
は
日
の
instance
では %n
Illuminated
は
物理
の
attribute
では は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
ArcticRegion
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3570-3579
物理
は
地理的地域
の
instance
では %n
物理
は
ArcticRegion
に
located
して %n
時間位置
時間位置
は
日
の
instance
では %n
Illuminated
は
物理
の
attribute
では は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
objectGeographicCoordinates
(
GeographicCenterFn
?REGION) ?LAT ?LONG))
(
objectGeographicCoordinates
?REGION ?LAT ?LONG))
Geography.kif 348-353
地理的地域
は
地理的地域
の
instance
では %n
objectGeographicCoordinates
GeographicCenterFn
地理的地域
,
Latitude
and
Longitude
objectGeographicCoordinates
地理的地域
,
Latitude
and
Longitude
(=>
(
and
(
instance
?T
Typhoon
)
(
eventLocated
?T ?P)
(
instance
?P
GeographicArea
))
(
or
(
located
?P
NorthwesternPacificOcean
)
(
meetsSpatially
?P
NorthwesternPacificOcean
)))
Weather.kif 787-794
工程
は
Typhoon
の
instance
では %n
eventLocated
工程
and
オブジェクト
オブジェクト
は
地理的地域
の
instance
では %n
オブジェクト
は
NorthwesternPacificOcean
に
located
して %n
オブジェクト
は
NorthwesternPacificOcean
と
meet
s %n{ない}
(=>
(
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
工程
は
TropicalCyclone
の
instance
では %n
工程
は
物理
に
end
s %n{ない}
物理
は
地理的地域
の
instance
では %n
オブジェクト
物理
and
実数
オブジェクト
は
土地面積
の
instance
では %n
物理
は
Shoreline
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
オブジェクト
と
物理
の
distance
は
実数
の
Mile
(s) では %n
実数
は 200.0 より
greater
では %n
(=>
(
and
(
instance
?area
GeographicArea
)
(
groundSurfaceType
?area
Loam
))
(
attribute
?area
FertileTerrain
))
Geography.kif 4355-4359
土地面積
は
地理的地域
の
instance
では %n
groundSurfaceType
土地面積
and
Loam
FertileTerrain
は
土地面積
の
attribute
では %n
(=>
(
and
(
instance
?area
GeographicArea
)
(
groundSurfaceType
?area
Rock
))
(
not
(
attribute
?area
FertileTerrain
)))
Geography.kif 1824-1828
土地面積
は
地理的地域
の
instance
では %n
groundSurfaceType
土地面積
and
Rock
FertileTerrain
は
土地面積
の
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
vegetationType
地理的地域
and
植物
植物
は
植物
の
subclass
では %n
地理的地域
は
地理的地域
の
instance
では %n
物理
物理
は
植物
の
instance
では %n
物理
は
地理的地域
に
located
して %n
(=>
(
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
(
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
では %n
工程
は
工程
の
instance
では %n
eventLocated
工程
and
地域
格役割
は
格役割
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
地域
は
地理的地域
の
instance
では %n
格役割
工程
and
オブジェクト
capableAtLocation
工程
,
格役割
,
オブジェクト
and
地域
(=>
(
and
(
vegetationType
?REGION ?TYPE)
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION))))
Geography.kif 6191-6199
vegetationType
地理的地域
and
植物
植物
は
植物
の
subclass
では %n
地理的地域
は
地理的地域
の
instance
では %n
物理
物理
は
植物
の
instance
では %n
物理
は
地理的地域
に
located
して %n
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
meetsSpatially
?AREA1 ?AREA2))
Geography.kif 695-697
BorderFn
地理的地域
and
地理的地域
は
地理的地域
の
instance
では %n
地理的地域
は
地理的地域
と
meet
s %n{ない}
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
orientation
?AREA1 ?AREA2
Adjacent
))
Geography.kif 712-714
BorderFn
地理的地域
and
地理的地域
は
地理的地域
の
instance
では %n
地理的地域
は
Adjacent
対
地理的地域
では %n
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