GeographicArea
(地理的地域)
(=>
(
instance
?X
Kidnapping
)
(
exists
(?A ?LOC1 ?LOC2)
(
and
(
instance
?A
SentientAgent
)
(
instance
?LOC1
GeographicArea
)
(
instance
?LOC2
GeographicArea
)
(
not
(
equal
?LOC1 ?LOC2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?X))
(
located
?A ?LOC1))
(
holdsDuring
(
WhenFn
?X)
(
located
?A ?LOC2)))))
Mid-level-ontology.kif 21960-21975
物理
は
Kidnapping
の
instance
では %n
エンティティー
エンティティー
and
エンティティー
エンティティー
は
意識[知覚]を持つ代理(人)
の
instance
では %n
エンティティー
は
地理的地域
の
instance
では %n
エンティティー
は
地理的地域
の
instance
では %n
エンティティー
は
エンティティー
と
equal
では
エンティティー
は
エンティティー
に
located
して %n は
物理
の
time
の existence の immediately
before
の
during
holds %n{ない}
エンティティー
は
エンティティー
に
located
して %n は
物理
の
time
の existence の
during
holds %n{ない}
(=>
(
instance
?X
LandVehicle
)
(
hasPurpose
?X
(
exists
(?EV ?SURF)
(
and
(
surface
?SURF
GeographicArea
)
(
instance
?EV
Transportation
)
(
holdsDuring
(
WhenFn
?EV)
(
meetsSpatially
?X ?SURF))))))
Mid-level-ontology.kif 3472-3481
物理
は
LandVehicle
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
地理的地域
の
surface
では %n
エンティティー
は
交通手段
の
instance
では %n
物理
は
エンティティー
と
meet
s %n{ない} は
エンティティー
の
time
の existence の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
instance
?X
SubwaySystem
)
(
exists
(?SURF)
(
and
(
surface
?SURF
GeographicArea
)
(
orientation
?X ?SURF
Below
))))
Transportation.kif 328-333
オブジェクト
は
SubwaySystem
の
instance
では %n
自己接続オブジェクト
自己接続オブジェクト
は
地理的地域
の
surface
では %n
オブジェクト
は
Below
対
自己接続オブジェクト
では %n
(=>
(
terrainInArea
?AREA ?ATTRIBUTE)
(
exists
(?REGION)
(
and
(
instance
?REGION
GeographicArea
)
(
attribute
?REGION ?ATTRIBUTE)
(
partlyLocated
?REGION ?AREA))))
Geography.kif 1719-1725
terrainInArea
地理的地域
and
TerrainAttribute
オブジェクト
オブジェクト
は
地理的地域
の
instance
では %n
TerrainAttribute
は
オブジェクト
の
attribute
では %n
オブジェクト
は
partly
に
地理的地域
に 位置して %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