eventLocated
(=>
(
instance
?F
FourStrokeEngineCycle
)
(
exists
(?E)
(
and
(
instance
?E
FourStrokeEngine
)
(
eventLocated
?F ?E))))
Cars.kif 140-145
例
Process
and
FourStrokeEngineCycle
Object
例
Object
and
FourStrokeEngine
Process
是
located
在
Object
(=>
(
instance
?F
TwoStrokeEngineCycle
)
(
exists
(?E)
(
and
(
instance
?E
TwoStrokeEngine
)
(
eventLocated
?F ?E))))
Cars.kif 257-262
例
Process
and
TwoStrokeEngineCycle
Object
例
Object
and
TwoStrokeEngine
Process
是
located
在
Object
(=>
(
instance
?FACILITY
SkiingFacility
)
(
exists
(?SLOPE ?SKIING)
(
and
(
instance
?SLOPE
SlopedArea
)
(
part
?SLOPE ?FACILITY)
(
instance
?SKIING
Skiing
)
(
eventLocated
?SKIING ?SLOPE))))
Sports.kif 1093-1100
例
Object
and
SkiingFacility
Object
Process
例
Object
and
傾斜的區域
部分
Object
and
Object
例
Process
and
Skiing
Process
是
located
在
Object
(=>
(
instance
?FACILITY
WMDWeaponsProductionFacility
)
(
exists
(?DEVELOP)
(
and
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
eventLocated
?DEVELOP ?FACILITY))))
WMD.kif 630-635
例
Object
and
大規模殺傷性武器生產設施
Process
例
Process
and
發展大規模殺傷性武器
Process
是
located
在
Object
(=>
(
instance
?FACILITY
WMDWeaponsResearchFacility
)
(
exists
(?RESEARCH)
(
and
(
instance
?RESEARCH
ResearchingWeaponOfMassDestruction
)
(
eventLocated
?RESEARCH ?FACILITY))))
WMD.kif 641-646
例
Object
and
WMD武器研究設施
Process
例
Process
and
研究大規模殺傷性武器
Process
是
located
在
Object
(=>
(
instance
?FIRE
ForestFire
)
(
exists
(?FOREST)
(
and
(
instance
?FOREST
Forest
)
(
eventLocated
?FIRE ?FOREST)
(
patient
?FIRE ?FOREST))))
Geography.kif 2407-2413
例
Process
and
森林火災
Object
例
Object
and
森林
Process
是
located
在
Object
患者
Process
and
Object
(=>
(
instance
?FIRE
GrassFire
)
(
exists
(?GRASS)
(
and
(
instance
?GRASS
Grass
)
(
eventLocated
?FIRE ?GRASS)
(
patient
?FIRE ?GRASS))))
Geography.kif 2417-2423
例
Process
and
草火
Object
例
Object
and
草
Process
是
located
在
Object
患者
Process
and
Object
(=>
(
instance
?FLY
Flying
)
(
exists
(?REGION)
(
and
(
instance
?REGION
AtmosphericRegion
)
(
eventLocated
?FLY ?REGION))))
Mid-level-ontology.kif 17229-17234
例
Process
and
飛行
Object
例
Object
and
大氣地區
Process
是
located
在
Object
(=>
(
instance
?FSE
FourStrokeEngine
)
(
hasPurpose
?FSE
(
exists
(?I ?CM ?CB ?E ?I2)
(
and
(
instance
?I
FourStrokeIntake
)
(
instance
?CM
FourStrokeCompression
)
(
instance
?CB
FourStrokeCombustion
)
(
instance
?E
FourStrokeExhaust
)
(
instance
?I2
FourStrokeIntake
)
(
eventLocated
?I ?FSE)
(
eventLocated
?CM ?FSE)
(
eventLocated
?CB ?FSE)
(
eventLocated
?E ?FSE)
(
eventLocated
?I2 ?FSE)
(
meetsTemporally
?I ?CM)
(
meetsTemporally
?CM ?CB)
(
meetsTemporally
?CB ?E)
(
meetsTemporally
?E ?I2)))))
Cars.kif 114-132
例
Physical
and
FourStrokeEngine
有目的
Physical
and
entity
entity
,
entity
,
entity
and
entity
2
例
entity
and
FourStrokeIntake
例
entity
and
FourStrokeCompression
例
entity
and
FourStrokeCombustion
例
entity
and
FourStrokeExhaust
例
entity
2 and
FourStrokeIntake
entity
是
located
在
Physical
entity
是
located
在
Physical
entity
是
located
在
Physical
entity
是
located
在
Physical
entity
2 是
located
在
Physical
短暫相遇
entity
and
entity
短暫相遇
entity
and
entity
短暫相遇
entity
and
entity
短暫相遇
entity
and
entity
2
(=>
(
instance
?G
MiniatureGolf
)
(
hasPurpose
?G
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
eventLocated
?REC ?G)))))
Sports.kif 1027-1033
例
Physical
and
MiniatureGolf
有目的
Physical
and
entity
例
entity
and
RecreationOrExercise
entity
是
located
在
Physical
(=>
(
instance
?G
SportsFacility
)
(
hasPurpose
?G
(
exists
(?S)
(
and
(
instance
?S
Sport
)
(
eventLocated
?S ?G)))))
Mid-level-ontology.kif 7011-7017
例
Physical
and
體育設施
有目的
Physical
and
entity
例
entity
and
Sport
entity
是
located
在
Physical
(=>
(
instance
?GROUND
SportsGround
)
(
hasPurpose
?GROUND
(
exists
(?SPORT)
(
and
(
instance
?SPORT
Sport
)
(
eventLocated
?SPORT ?GROUND)))))
Mid-level-ontology.kif 15677-15683
例
Physical
and
運動場
有目的
Physical
and
entity
例
entity
and
Sport
entity
是
located
在
Physical
(=>
(
instance
?H
Hurricane
)
(
exists
(?TC ?PLACE ?WIND)
(
and
(
instance
?TC
TropicalCyclone
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?TC ?PLACE)
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean1MinuteWindSpeedFn
?PLACE
(
WhenFn
?TC)))
(
greaterThanOrEqualTo
?WIND 74.0))))
Weather.kif 740-751
例
Entity
and
颶風
Process
GeographicArea
and
RealNumber
例
Process
and
熱帶氣旋
例
GeographicArea
and
GeographicArea
Process
是
located
在
GeographicArea
等於
測量
RealNumber
and
MilesPerHour
and
Mean1MinuteWindSpeedFn
GeographicArea
and
何時
Process
大於或等於
RealNumber
and 74.0
(=>
(
instance
?HR
HeavyRaining
)
(
holdsDuring
(
WhenFn
?HR)
(
exists
(?AREA ?NUM)
(
and
(
instance
?AREA
Region
)
(
eventLocated
?HR ?AREA)
(
rainfallIntensity
?AREA
(
WhenFn
?HR)
(
PerFn
(
MeasureFn
?NUM
Millimeter
)
(
MeasureFn
1
HourDuration
)))
(
greaterThan
?NUM 10.0)
(
greaterThan
50.0 ?NUM)))))
Weather.kif 1109-1123
例
Physical
and
大雨
持有期間
何時
Physical
and
entity
entity
例
entity
and
Region
Physical
是
located
在
entity
rain
的
rate
在
entity
期間
何時
Physical
是
測量
1 and
小時
是
測量
entity
and
毫米
的
per
比較多
entity
and 10.0
比較多
50.0 and
entity
(=>
(
instance
?HS
HeavySurf
)
(
exists
(?SZ ?SWH)
(
and
(
instance
?SZ
SurfZone
)
(
eventLocated
?HS ?SZ)
(
significantWaveHeight
?SZ
(
WhenFn
?HS)
(
MeasureFn
?SWH
FootLength
))
(
greaterThanOrEqualTo
?SWH 13.0))))
Weather.kif 1557-1566
例
Process
and
高激浪
WaterArea
RealNumber
例
WaterArea
and
SurfZone
Process
是
located
在
WaterArea
significantWaveHeight
WaterArea
,
何時
Process
and
測量
RealNumber
and
腳長
大於或等於
RealNumber
and 13.0
(=>
(
instance
?HS
HeavySurf
)
(
holdsDuring
(
WhenFn
?HS)
(
exists
(?SZ ?WW)
(
and
(
instance
?SZ
SurfZone
)
(
instance
?WW
WaterWave
)
(
subProcess
?WW ?HS)
(
eventLocated
?WW ?SZ)))))
Weather.kif 1568-1577
例
Physical
and
高激浪
持有期間
何時
Physical
and
entity
entity
例
entity
and
SurfZone
例
entity
and
水波
子過程
entity
and
Physical
entity
是
located
在
entity
(=>
(
instance
?I
Imprisoning
)
(
exists
(?P)
(
and
(
instance
?P
Prison
)
(
eventLocated
?I ?P))))
Mid-level-ontology.kif 13924-13929
例
Process
and
監禁
Object
例
Object
and
監獄
Process
是
located
在
Object
(=>
(
instance
?I
IntermittentCombustionEngine
)
(
hasPurpose
?I
(
exists
(?E ?M)
(
and
(
instance
?E
Explosion
)
(
instance
?M
Motion
)
(
eventLocated
?E ?I)
(
eventLocated
?M ?I)
(
causes
?E ?M)))))
Cars.kif 280-289
例
Physical
and
IntermittentCombustionEngine
有目的
Physical
and
entity
entity
例
entity
and
爆炸
例
entity
and
Motion
entity
是
located
在
Physical
entity
是
located
在
Physical
原因
entity
and
entity
(=>
(
instance
?ICM
IgnitionControlModule
)
(
hasPurpose
?ICM
(
exists
(?S ?A ?CP)
(
and
(
instance
?A
Automobile
)
(
instance
?S
Spark
)
(
instance
?CP
ComputerProcess
)
(
part
?ICM ?A)
(
eventLocated
?CP ?A)
(
eventLocated
?S ?A)
(
causes
?CP ?S)))))
Cars.kif 3182-3193
例
Physical
and
IgnitionControlModule
有目的
Physical
and
entity
entity
and
entity
例
entity
and
汽車
例
entity
and
Spark
例
entity
and
電腦程序
部分
Physical
and
entity
entity
是
located
在
entity
entity
是
located
在
entity
原因
entity
and
entity
(=>
(
instance
?K
KitchenArea
)
(
hasPurpose
?K
(
exists
(?C)
(
and
(
instance
?C
Cooking
)
(
eventLocated
?C ?K)))))
Mid-level-ontology.kif 15546-15552
例
Physical
and
KitchenArea
有目的
Physical
and
entity
例
entity
and
Cooking
entity
是
located
在
Physical
(=>
(
instance
?KENNEL
Kennel
)
(
hasPurpose
?KENNEL
(
exists
(?ANIMAL ?CONFINING)
(
and
(
instance
?ANIMAL
DomesticAnimal
)
(
instance
?CONFINING
Confining
)
(
patient
?CONFINING ?ANIMAL)
(
eventLocated
?CONFINING ?KENNEL)))))
Mid-level-ontology.kif 25353-25361
例
Physical
and
Kennel
有目的
Physical
and
entity
entity
例
entity
and
家畜
例
entity
and
Confining
患者
entity
and
entity
entity
是
located
在
Physical
(=>
(
instance
?L
Lightning
)
(
exists
(?C)
(
and
(
instance
?C
Cloud
)
(
eventLocated
?L ?C))))
Mid-level-ontology.kif 3043-3048
例
Process
and
閃電
Object
例
Object
and
雲
Process
是
located
在
Object
(=>
(
instance
?LAB
Laboratory
)
(
exists
(?EXPERIMENT)
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
eventLocated
?EXPERIMENT ?LAB))))
Mid-level-ontology.kif 15710-15715
例
Object
and
實驗室
Process
例
Process
and
試驗
Process
是
located
在
Object
(=>
(
instance
?LAND
Landing
)
(
exists
(?REGION ?FLYING)
(
and
(
not
(
instance
?REGION
AtmosphericRegion
))
(
holdsDuring
(
EndFn
(
WhenFn
?LAND))
(
eventLocated
?LAND ?REGION))
(
subProcess
?FLYING ?LAND)
(
instance
?FLYING
Flying
))))
Mid-level-ontology.kif 17253-17260
例
Process
and
降落
Entity
Process
例
Entity
and
大氣地區
持有期間
結束
何時
Process
and
Process
是
located
在
Entity
子過程
Process
and
Process
例
Process
and
飛行
(=>
(
instance
?M
SurfaceWindSpeedMeasuring
)
(
exists
(?PLACE ?TOOL)
(
and
(
instance
?PLACE
GeographicArea
)
(
instance
?TOOL
Device
)
(
eventLocated
?M ?PLACE)
(
instrument
?M ?TOOL)
(
holdsDuring
(
WhenFn
?M)
(
elevation
?TOOL
(
MeasureFn
10.0
Meter
))))))
Weather.kif 1732-1742
例
Process
and
SurfaceWindSpeedMeasuring
Object
Object
例
Object
and
GeographicArea
例
Object
and
Device
Process
是
located
在
Object
儀器
Process
and
Object
持有期間
何時
Process
and
測量
10.0 and
儀表
是
Object
的
elevation
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