eventLocated
(=>
(
holdsDuring
?TIME
(
instance
?AREA
MilitaryFront
))
(
exists
(?BATTLE)
(
and
(
instance
?BATTLE
Battle
)
(
eventLocated
?BATTLE ?AREA)
(
temporalPart
?TIME ?BATTLE))))
Mid-level-ontology.kif 9017-9023
オブジェクト
は
MilitaryFront
の
instance
では %n は
時間位置
の
during
holds %n{ない}
工程
工程
は
戦い
の
instance
では %n
eventLocated
工程
and
オブジェクト
時間位置
は
工程
の
part
では %n
(=>
(
instance
?A
CultivatedLandArea
)
(
exists
(?C)
(
and
(
instance
?C
Agriculture
)
(
eventLocated
?C ?A))))
Mid-level-ontology.kif 8138-8143
オブジェクト
は
CultivatedLandArea
の
instance
では %n
工程
工程
は
Agriculture
の
instance
では %n
eventLocated
工程
and
オブジェクト
(=>
(
instance
?AUDITORIUM
Auditorium
)
(
hasPurpose
?AUDITORIUM
(
exists
(?DEMO)
(
and
(
instance
?DEMO
Demonstrating
)
(
eventLocated
?DEMO ?AUDITORIUM)))))
Mid-level-ontology.kif 7324-7330
物理
は
Auditorium
の
instance
では %n
物理
は
エンティティー
エンティティー
は
Demonstrating
の
instance
では %n
eventLocated
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
instance
?B
Backfire
)
(
exists
(?E ?NC)
(
and
(
not
(
instance
?NC
EngineCylinder
))
(
instance
?E
Engine
)
(
part
?NC ?E)
(
eventLocated
?B ?NC))))
Cars.kif 1354-1362
工程
は
Backfire
の
instance
では %n
オブジェクト
オブジェクト
オブジェクト
は
EngineCylinder
の
instance
では
オブジェクト
は
Engine
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
eventLocated
工程
and
オブジェクト
(=>
(
instance
?B
Warehouse
)
(
hasPurpose
?B
(
exists
(?K ?P)
(
and
(
instance
?K
Keeping
)
(
patient
?K ?P)
(
instance
?P
Product
)
(
eventLocated
?K ?B)))))
Mid-level-ontology.kif 7053-7061
物理
は
Warehouse
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
保持
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
製品
の
instance
では %n
eventLocated
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
instance
?BF
BowlingFacility
)
(
hasPurpose
?BF
(
exists
(?B)
(
and
(
instance
?B
Bowling
)
(
eventLocated
?B ?BF)))))
Sports.kif 1171-1177
物理
は
BowlingFacility
の
instance
では %n
物理
は
エンティティー
エンティティー
は
Bowling
の
instance
では %n
eventLocated
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
instance
?BOARD
GameBoard
)
(
hasPurpose
?BOARD
(
exists
(?GAME)
(
and
(
instance
?GAME
Game
)
(
eventLocated
?GAME ?BOARD)))))
Mid-level-ontology.kif 16991-16997
物理
は
GameBoard
の
instance
では %n
物理
は
エンティティー
エンティティー
は
ゲーム
の
instance
では %n
eventLocated
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
instance
?BR
BoxingRing
)
(
hasPurpose
?BR
(
exists
(?B)
(
and
(
instance
?B
Boxing
)
(
eventLocated
?B ?BR)))))
Sports.kif 592-598
物理
は
BoxingRing
の
instance
では %n
物理
は
エンティティー
エンティティー
は
Boxing
の
instance
では %n
eventLocated
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
instance
?BREAK
BreakingWave
)
(
exists
(?SURF)
(
and
(
instance
?SURF
SurfZone
)
(
eventLocated
?BREAK ?SURF))))
Weather.kif 1382-1387
工程
は
BreakingWave
の
instance
では %n
オブジェクト
オブジェクト
は
SurfZone
の
instance
では %n
eventLocated
工程
and
オブジェクト
(=>
(
instance
?BUILDING
EntertainmentBuilding
)
(
hasPurpose
?BUILDING
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
eventLocated
?REC ?BUILDING)))))
Mid-level-ontology.kif 22393-22399
物理
は
EntertainmentBuilding
の
instance
では %n
物理
は
エンティティー
エンティティー
は
レクリエーションまたは運動
の
instance
では %n
eventLocated
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
instance
?C
Cinema
)
(
hasPurpose
?C
(
exists
(?FILM ?P)
(
and
(
instance
?P
Performance
)
(
instance
?FILM
MotionPicture
)
(
patient
?P ?FILM)
(
eventLocated
?P ?C)))))
Mid-level-ontology.kif 22504-22512
物理
は
Cinema
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
Performance
の
instance
では %n
エンティティー
は
映画
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
eventLocated
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
instance
?C
CruiseShip
)
(
hasPurpose
?C
(
exists
(?E ?A ?O)
(
and
(
instance
?E
RecreationOrExercise
)
(
possesses
?O ?C)
(
agent
?E ?A)
(
customer
?O ?A)
(
eventLocated
?E ?C)))))
Transportation.kif 2471-2480
物理
は
CruiseShip
の
instance
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
レクリエーションまたは運動
の
instance
では %n
エンティティー
は
物理
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
agent
では %n
customer
エンティティー
and
エンティティー
eventLocated
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
instance
?C
Restaurant
)
(
exists
(?S ?F ?B)
(
and
(
instance
?S
CommercialService
)
(
agent
?S ?C)
(
instance
?S
Selling
)
(
instance
?B
RestaurantBuilding
)
(
eventLocated
?S ?B)
(
patient
?S ?F)
(
instance
?F
(
FoodForFn
Human
)))))
Mid-level-ontology.kif 7280-7290
AutonomousAgent
は
Restaurant
の
instance
では %n
工程
エンティティー
and
オブジェクト
工程
は
CommercialService
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
販売
の
instance
では %n
オブジェクト
は
RestaurantBuilding
の
instance
では %n
eventLocated
工程
and
オブジェクト
エンティティー
は
工程
の
patient
では %n
エンティティー
は
FoodForFn
人[人間]
の
instance
では %n
(=>
(
instance
?CAC
Cactus
)
(
modalAttribute
(
exists
(?AREA)
(
and
(
instance
?AREA
GeographicArea
)
(
located
?CAC ?AREA)
(
exists
(?D)
(
and
(
instance
?D
Drought
)
(
eventLocated
?D ?AREA)))))
Likely
))
Geography.kif 6302-6312
エンティティー
は
Cactus
の
instance
では %n
ステートメント
エンティティー
エンティティー
は
地理的地域
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
エンティティー
エンティティー
は
Drought
の
instance
では %n
eventLocated
エンティティー
and
エンティティー
には
Likely
の
modal
force
が ある
(=>
(
instance
?CF
CoastalFlooding
)
(
exists
(?AREA)
(
and
(
instance
?AREA
Seacoast
)
(
eventLocated
?CF ?AREA))))
Weather.kif 1612-1617
工程
は
CoastalFlooding
の
instance
では %n
オブジェクト
オブジェクト
は
Seacoast
の
instance
では %n
eventLocated
工程
and
オブジェクト
(=>
(
instance
?COURSE
EducationalCourse
)
(
exists
(?CLASS ?ORG)
(
and
(
realization
?CLASS ?COURSE)
(
instance
?CLASS
EducationalProcess
)
(
eventLocated
?CLASS ?ORG)
(
instance
?ORG
EducationalOrganization
))))
Mid-level-ontology.kif 16630-16637
命題
は
EducationalCourse
の
instance
では %n
工程
オブジェクト
工程
は
命題
の内容を
express
es %n{ない}
工程
は
教育過程
の
instance
では %n
eventLocated
工程
and
オブジェクト
オブジェクト
は
教育組織
の
instance
では %n
(=>
(
instance
?COURT
TennisCourt
)
(
hasPurpose
?COURT
(
exists
(?TENNIS)
(
and
(
instance
?TENNIS
Tennis
)
(
eventLocated
?TENNIS ?COURT)))))
Sports.kif 880-886
物理
は
TennisCourt
の
instance
では %n
物理
は
エンティティー
エンティティー
は
Tennis
の
instance
では %n
eventLocated
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
instance
?D
DiningArea
)
(
hasPurpose
?D
(
exists
(?E)
(
and
(
instance
?E
Eating
)
(
eventLocated
?E ?D)))))
Mid-level-ontology.kif 15570-15576
物理
は
DiningArea
の
instance
では %n
物理
は
エンティティー
エンティティー
は
摂食
の
instance
では %n
eventLocated
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
instance
?D
DrivingRange
)
(
hasPurpose
?D
(
and
(
exists
(?DRIVE)
(
and
(
instance
?DRIVE
GolfDrive
)
(
eventLocated
?DRIVE ?D)))
(
not
(
exists
(?GOLF)
(
and
(
eventLocated
?GOLF ?D)
(
instance
?GOLF
GolfManeuver
)
(
not
(
instance
?GOLF
GolfDrive
))))))))
Sports.kif 980-993
物理
は
DrivingRange
の
instance
では %n
物理
は
物理
RIVE
物理
RIVE は
GolfDrive
の
instance
では %n
eventLocated
物理
RIVE and
物理
エンティティー
eventLocated
エンティティー
and
物理
エンティティー
は
GolfManeuver
の
instance
では %n
エンティティー
は
GolfDrive
の
instance
では の 目的 %n{ない}
(=>
(
instance
?DISCO
DanceHall
)
(
hasPurpose
?DISCO
(
exists
(?DANCE ?MUSIC)
(
and
(
instance
?MUSIC
MakingMusic
)
(
instance
?DANCE
Dancing
)
(
cooccur
?MUSIC ?DANCE)
(
eventLocated
?MUSIC ?DISCO)
(
eventLocated
?DANCE ?DISCO)))))
Mid-level-ontology.kif 26849-26858
物理
は
DanceHall
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
MakingMusic
の
instance
では %n
エンティティー
は
踊り
の
instance
では %n
エンティティー
は
エンティティー
と同時に
occur
s %n{ない}
eventLocated
エンティティー
and
物理
eventLocated
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
instance
?DUSTSTORM
DustStorm
)
(
or
(
exists
(?AREA1)
(
and
(
instance
?AREA1
GeographicArea
)
(
climateTypeInArea
?AREA1
AridClimateZone
)
(
eventLocated
?DUSTSTORM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeographicArea
)
(
climateTypeInArea
?AREA2
SemiaridClimateZone
)
(
eventLocated
?DUSTSTORM ?AREA2)))))
Weather.kif 1257-1269
工程
は
DustStorm
の
instance
では %n
地理的地域
地理的地域
は
地理的地域
の
instance
では %n
climateTypeInArea
地理的地域
and
AridClimateZone
eventLocated
工程
and
地理的地域
地理的地域
地理的地域
は
地理的地域
の
instance
では %n
climateTypeInArea
地理的地域
and
SemiaridClimateZone
eventLocated
工程
and
地理的地域
(=>
(
instance
?ECM
EngineControlModule
)
(
hasPurpose
?ECM
(
exists
(?A ?E ?P1 ?P2)
(
and
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?P1
Process
)
(
instance
?P2
Process
)
(
part
?E ?A)
(
part
?ECM ?A)
(
eventLocated
?P1 ?ECM)
(
eventLocated
?P2 ?E)
(
causes
?P1 ?P2)))))
Cars.kif 2525-2538
物理
は
EngineControlModule
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Automobile
の
instance
では %n
エンティティー
は
Engine
の
instance
では %n
エンティティー
は
工程
の
instance
では %n
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n
物理
は
エンティティー
の
part
では %n
eventLocated
エンティティー
and
物理
eventLocated
エンティティー
and
エンティティー
エンティティー
は
エンティティー
を
cause
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?ERUPTING
VolcanicEruption
)
(
exists
(?VOLCANO)
(
and
(
instance
?VOLCANO
Volcano
)
(
eventLocated
?ERUPTING ?VOLCANO))))
Geography.kif 2436-2441
工程
は
VolcanicEruption
の
instance
では %n
オブジェクト
オブジェクト
は
Volcano
の
instance
では %n
eventLocated
工程
and
オブジェクト
(=>
(
instance
?F
BaseballField
)
(
hasPurpose
?F
(
exists
(?S)
(
and
(
instance
?S
Baseball
)
(
eventLocated
?S ?F)))))
Sports.kif 676-682
物理
は
BaseballField
の
instance
では %n
物理
は
エンティティー
エンティティー
は
Baseball
の
instance
では %n
eventLocated
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
instance
?F
Fireplace
)
(
hasPurpose
?F
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
eventLocated
?C ?F)))))
Mid-level-ontology.kif 15357-15363
物理
は
Fireplace
の
instance
では %n
物理
は
エンティティー
エンティティー
は
燃焼
の
instance
では %n
eventLocated
エンティティー
and
物理
の 目的 %n{ない}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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