eventLocated
(=>
(
instance
?F
FourStrokeEngineCycle
)
(
exists
(?E)
(
and
(
instance
?E
FourStrokeEngine
)
(
eventLocated
?F ?E))))
Cars.kif 140-145
如果
过程
是
FourStrokeEngineCycle
的
instance
,
然后 有存在
客体
这样
那个 客体
是
FourStrokeEngine
的
instance
和
那个 过程
是
located
在
那个 客体
(=>
(
instance
?F
TwoStrokeEngineCycle
)
(
exists
(?E)
(
and
(
instance
?E
TwoStrokeEngine
)
(
eventLocated
?F ?E))))
Cars.kif 257-262
如果
过程
是
TwoStrokeEngineCycle
的
instance
,
然后 有存在
客体
这样
那个 客体
是
TwoStrokeEngine
的
instance
和
那个 过程
是
located
在
那个 客体
(=>
(
instance
?FACILITY
SkiingFacility
)
(
exists
(?SLOPE ?SKIING)
(
and
(
instance
?SLOPE
SlopedArea
)
(
part
?SLOPE ?FACILITY)
(
instance
?SKIING
Skiing
)
(
eventLocated
?SKIING ?SLOPE))))
Sports.kif 1093-1100
如果
客体
是
SkiingFacility
的
instance
,
然后 有存在
另一个 客体
和
过程
这样
那个 另外 客体
是
倾斜的区域
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 过程
是
Skiing
的
instance
和
那个 过程
是
located
在
那个 另外 客体
(=>
(
instance
?FACILITY
WMDWeaponsProductionFacility
)
(
exists
(?DEVELOP)
(
and
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
eventLocated
?DEVELOP ?FACILITY))))
WMD.kif 630-635
如果
客体
是
大规模杀伤性武器生产设施
的
instance
,
然后 有存在
过程
这样
那个 过程
是
发展大规模杀伤性武器
的
instance
和
那个 过程
是
located
在
那个 客体
(=>
(
instance
?FACILITY
WMDWeaponsResearchFacility
)
(
exists
(?RESEARCH)
(
and
(
instance
?RESEARCH
ResearchingWeaponOfMassDestruction
)
(
eventLocated
?RESEARCH ?FACILITY))))
WMD.kif 641-646
如果
客体
是
WMD武器研究设施
的
instance
,
然后 有存在
过程
这样
那个 过程
是
研究大规模杀伤性武器
的
instance
和
那个 过程
是
located
在
那个 客体
(=>
(
instance
?FIRE
ForestFire
)
(
exists
(?FOREST)
(
and
(
instance
?FOREST
Forest
)
(
eventLocated
?FIRE ?FOREST)
(
patient
?FIRE ?FOREST))))
Geography.kif 2407-2413
如果
过程
是
森林火灾
的
instance
,
然后 有存在
客体
这样
那个 客体
是
森林
的
instance
和
那个 过程
是
located
在
那个 客体
和
那个 客体
是
那个 过程
的
patient
(=>
(
instance
?FIRE
GrassFire
)
(
exists
(?GRASS)
(
and
(
instance
?GRASS
Grass
)
(
eventLocated
?FIRE ?GRASS)
(
patient
?FIRE ?GRASS))))
Geography.kif 2417-2423
如果
过程
是
草火
的
instance
,
然后 有存在
客体
这样
那个 客体
是
草
的
instance
和
那个 过程
是
located
在
那个 客体
和
那个 客体
是
那个 过程
的
patient
(=>
(
instance
?FLY
Flying
)
(
exists
(?REGION)
(
and
(
instance
?REGION
AtmosphericRegion
)
(
eventLocated
?FLY ?REGION))))
Mid-level-ontology.kif 17229-17234
如果
过程
是
飞行
的
instance
,
然后 有存在
客体
这样
那个 客体
是
大气地区
的
instance
和
那个 过程
是
located
在
那个 客体
(=>
(
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
如果
物理
是
FourStrokeEngine
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
,, ,
第四 实体
, and 和
那个 实体
2 这样
那个 实体
是
FourStrokeIntake
的
instance
和
那个 另外 实体
是
FourStrokeCompression
的
instance
和
那个 第三 实体
是
FourStrokeCombustion
的
instance
和
那个 第四 实体
是
FourStrokeExhaust
的
instance
和
那个 实体
2 是
FourStrokeIntake
的
instance
和
那个 实体
是
located
在
那个 物理
和
那个 另外 实体
是
located
在
那个 物理
和
那个 第三 实体
是
located
在
那个 物理
和
那个 第四 实体
是
located
在
那个 物理
和
那个 实体
2 是
located
在
那个 物理
和
那个 实体
接着
那个 另外 实体
和
那个 另外 实体
接着
那个 第三 实体
和
那个 第三 实体
接着
那个 第四 实体
和
那个 第四 实体
接着
那个 实体
2
(=>
(
instance
?G
MiniatureGolf
)
(
hasPurpose
?G
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
eventLocated
?REC ?G)))))
Sports.kif 1027-1033
如果
物理
是
MiniatureGolf
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
娱乐或锻炼
的
instance
和
那个 实体
是
located
在
那个 物理
(=>
(
instance
?G
SportsFacility
)
(
hasPurpose
?G
(
exists
(?S)
(
and
(
instance
?S
Sport
)
(
eventLocated
?S ?G)))))
Mid-level-ontology.kif 7011-7017
如果
物理
是
体育设施
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
运动
的
instance
和
那个 实体
是
located
在
那个 物理
(=>
(
instance
?GROUND
SportsGround
)
(
hasPurpose
?GROUND
(
exists
(?SPORT)
(
and
(
instance
?SPORT
Sport
)
(
eventLocated
?SPORT ?GROUND)))))
Mid-level-ontology.kif 15677-15683
如果
物理
是
运动场
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
运动
的
instance
和
那个 实体
是
located
在
那个 物理
(=>
(
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
如果
实体
是
飓风
的
instance
,
然后 有存在
过程
,
地理区域
, and 和
实数
这样
那个 过程
是
热带气旋
的
instance
和
那个 地理区域
是
地理区域
的
instance
和
那个 过程
是
located
在
那个 地理区域
和
那个 实数
英里每小時
equal
那个 地理区域
地区在
那个 过程
出现 的
time
时段的
Mean1MinuteWindSpeedFn
和
那个 实数
是
greaterThanOrEqualTo
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
如果
物理
是
大雨
的
instance
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
地区
的
instance
和
那个 物理
是
located
在
那个 实体
和
rain
的
rate
在
那个 实体
期间
那个 物理
出现 的
time
是 1
小时
是
那个 另外 实体
毫米
的
per
和
那个 另外 实体
是
greaterThan
10.0 和 50.0 是
greaterThan
那个 另外 实体
在
那个 物理
出现 的
time
holdsDuring
(=>
(
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
如果
过程
是
高激浪
的
instance
,
然后 有存在
水域
和
实数
这样
那个 水域
是
碎波带
的
instance
和
那个 过程
是
located
在
那个 水域
和
有效波高
那个 水域
,
那个 过程
出现 的
time
and
那个 实数
脚长
和
那个 实数
是
greaterThanOrEqualTo
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
如果
物理
是
高激浪
的
instance
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
碎波带
的
instance
和
那个 另外 实体
是
水波
的
instance
和
那个 另外 实体
%n是
那个 物理
的
subProcess
和
那个 另外 实体
是
located
在
那个 实体
在
那个 物理
出现 的
time
holdsDuring
(=>
(
instance
?I
Imprisoning
)
(
exists
(?P)
(
and
(
instance
?P
Prison
)
(
eventLocated
?I ?P))))
Mid-level-ontology.kif 13924-13929
如果
过程
是
监禁
的
instance
,
然后 有存在
客体
这样
那个 客体
是
监狱
的
instance
和
那个 过程
是
located
在
那个 客体
(=>
(
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
如果
物理
是
IntermittentCombustionEngine
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
爆炸
的
instance
和
那个 另外 实体
是
运动
的
instance
和
那个 实体
是
located
在
那个 物理
和
那个 另外 实体
是
located
在
那个 物理
和
那个 实体
causes
那个 另外 实体
(=>
(
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
如果
物理
是
IgnitionControlModule
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 另外 实体
是
汽车
的
instance
和
那个 实体
是
Spark
的
instance
和
那个 第三 实体
是
电脑程序
的
instance
和
那个 物理
是
那个 另外 实体
的
part
和
那个 第三 实体
是
located
在
那个 另外 实体
和
那个 实体
是
located
在
那个 另外 实体
和
那个 第三 实体
causes
那个 实体
(=>
(
instance
?K
KitchenArea
)
(
hasPurpose
?K
(
exists
(?C)
(
and
(
instance
?C
Cooking
)
(
eventLocated
?C ?K)))))
Mid-level-ontology.kif 15546-15552
如果
物理
是
KitchenArea
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
烹饪
的
instance
和
那个 实体
是
located
在
那个 物理
(=>
(
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
如果
物理
是
Kennel
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
家畜
的
instance
和
那个 另外 实体
是
关押
的
instance
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 另外 实体
是
located
在
那个 物理
(=>
(
instance
?L
Lightning
)
(
exists
(?C)
(
and
(
instance
?C
Cloud
)
(
eventLocated
?L ?C))))
Mid-level-ontology.kif 3043-3048
如果
过程
是
闪电
的
instance
,
然后 有存在
客体
这样
那个 客体
是
云
的
instance
和
那个 过程
是
located
在
那个 客体
(=>
(
instance
?LAB
Laboratory
)
(
exists
(?EXPERIMENT)
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
eventLocated
?EXPERIMENT ?LAB))))
Mid-level-ontology.kif 15710-15715
如果
客体
是
实验室
的
instance
,
然后 有存在
过程
这样
那个 过程
是
试验
的
instance
和
那个 过程
是
located
在
那个 客体
(=>
(
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
如果
过程
是
降落
的
instance
,
然后 有存在
实体
和
另一个 过程
这样
那个 实体
不 是
大气地区
的
instance
和
那个 过程
是
located
在
那个 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
是
飞行
的
instance
(=>
(
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
如果
过程
是
地面风速量度
的
instance
,
然后 有存在
客体
和
另一个 客体
这样
那个 客体
是
地理区域
的
instance
和
那个 另外 客体
是
设备
的
instance
和
那个 过程
是
located
在
那个 客体
和
那个 另外 客体
是导致
那个 过程
的
instrument
和 10.0
仪表
是
那个 另外 客体
的
elevation
在
那个 过程
出现 的
time
holdsDuring
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