eventLocated
(=>
(
and
(
instance
?F
FourStrokeCompression
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
holdsDuring
(
EndFn
(
WhenFn
?F))
(
attribute
?I
Pressurized
)))
Cars.kif 191-200
如果
过程
是
FourStrokeCompression
的
instance
和
客体
是
EngineCylinder
的
instance
和
洞
是
InternalCombustionChamber
的
instance
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后
Pressurized
是
那个 洞
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?F
FourStrokeExhaust
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?E ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?E
Exhaust
)
(
subProcess
?M ?F)
(
origin
?M ?I)
(
patient
?M ?E))))
Cars.kif 225-238
如果
过程
是
FourStrokeExhaust
的
instance
和
客体
是
EngineCylinder
的
instance
和
洞
是
InternalCombustionChamber
的
instance
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后 有存在
实体
和
另一个 过程
这样
那个 另外 过程
是
气体运动
的
instance
和
那个 实体
是
Exhaust
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 洞
是
那个 另外 过程
的源头 和
那个 实体
是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?F
FourStrokeIntake
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?FV ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?FV
FuelVapor
)
(
subProcess
?M ?F)
(
destination
?M ?I)
(
patient
?M ?FV))))
Cars.kif 171-184
如果
过程
是
FourStrokeIntake
的
instance
和
客体
是
EngineCylinder
的
instance
和
洞
是
InternalCombustionChamber
的
instance
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后 有存在
那个 过程
V 和
另一个 过程
这样
那个 另外 过程
是
气体运动
的
instance
和
那个 过程
V 是
FuelVapor
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
在
那个 洞
结束 和
那个 过程
V 是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?F
MilitaryForce
)
(
instance
?P
Human
)
(
instance
?I
Imprisoning
)
(
member
?P ?F)
(
agent
?I ?E)
(
patient
?I ?P)
(
enemy
?E ?P)
(
eventLocated
?I ?LOC)
(
attribute
?LOC
WarState
))
(
attribute
?P
PrisonerOfWar
))
MilitaryPersons.kif 285-296
如果
群体
是
军事力量
的
instance
和
施事体
是
人类
的
instance
和
过程
是
监禁
的
instance
和
那个 施事体
是
那个 群体
的
member
和
另一个 施事体
是
那个 过程
的
agent
和
那个 施事体
是
那个 过程
的
patient
和
enemy
那个 另外 施事体
and
那个 施事体
和
那个 过程
是
located
在
客体
和
战争状态
是
那个 客体
的
attribute
,
然后
战俘
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?FACILITY
NuclearWeaponProductionFacility
)
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
eventLocated
?DEVELOP ?FACILITY)
(
result
?DEVELOP ?WEAPON))
(
instance
?WEAPON
NuclearWeapon
))
WMD.kif 654-660
如果
客体
是
核武器生产设施
的
instance
和
过程
是
发展大规模杀伤性武器
的
instance
和
那个 过程
是
located
在
那个 客体
和
实体
是
那个 过程
的
result
,
然后
那个 实体
是
核武器
的
instance
(=>
(
and
(
instance
?FACILITY
NuclearWeaponResearchFacility
)
(
instance
?RESEARCH
ResearchingWeaponOfMassDestruction
)
(
eventLocated
?RESEARCH ?FACILITY))
(
refers
?RESEARCH
NuclearWeapon
))
WMD.kif 666-671
如果
客体
是
核武器研究设施
的
instance
和
过程
是
研究大规模杀伤性武器
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后
那个 过程
提到
核武器
(=>
(
and
(
instance
?FOG
Fogging
)
(
eventLocated
?FOG ?AREA)
(
instance
?AREA
GeographicArea
)
(
instance
?AIR
AtmosphericRegion
)
(
orientation
?AIR ?AREA
Above
)
(
instance
?A
Aerosal
)
(
locatedAtTime
?A
(
WhenFn
?FOG) ?AIR)
(
visibilityInMeteorology
?AREA
(
WhenFn
?FOG)
(
MeasureFn
?VISIBILITY
Meter
)))
(
lessThan
?VISIBILITY 1000.0))
Weather.kif 2537-2550
如果
过程
是
雾
的
instance
和
那个 过程
是
located
在
地区
和
那个 地区
是
地理区域
的
instance
和
客体
是
大气地区
的
instance
和
那个 客体
在
那个 地区
的
以上
和
另一个 客体
是
气溶胶
的
instance
和
那个 另外 客体
对于
那个 客体
在时间
那个 过程
出现 的
time
located
和
visibility
在
那个 地区
期间
那个 过程
出现 的
time
是
实数
仪表
,
然后
那个 实数
是
lessThan
1000.0
(=>
(
and
(
instance
?GRP
MarchingBand
)
(
instance
?MP
MusicalPerformance
)
(
agent
?MP ?GRP)
(
instance
?OD
Outdoors
)
(
eventLocated
?MP ?OD))
(
exists
(?AMB)
(
and
(
instance
?AMB
Ambulating
)
(
subProcess
?AMB ?MP))))
Music.kif 986-996
如果
施事体
是
MarchingBand
的
instance
和
过程
是
音乐表演
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
客体
是
在户外
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
走动
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
(=>
(
and
(
instance
?H
Hurricane
)
(
eventLocated
?H ?P)
(
instance
?P
GeographicArea
)
(
or
(
located
?P ?SEA)
(
meetsSpatially
?P ?SEA)))
(
or
(
equal
?SEA
NortheasternPacificOcean
)
(
equal
?SEA
NorthAtlanticOcean
)))
Weather.kif 753-763
如果
过程
是
飓风
的
instance
和
那个 过程
是
located
在
客体
和
那个 客体
是
地理区域
的
instance
和
那个 客体
是
located
在
另一个 客体
或
那个 客体
接上
那个 另外 客体
,
然后
那个 另外 客体
equal
NortheasternPacificOcean
或
那个 另外 客体
equal
北大西洋
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWS5
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS)))
(
exists
(?WIND)
(
and
(
greaterThan
?WIND 157.0)
(
believes
?A
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 2443-2457
如果
过程
是
飓风
的
instance
和
实体
是
萨菲尔辛普森飓风5
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 实体
的
attribute
,
然后 有存在
实数
这样
那个 实数
是
greaterThan
157.0 和
那个 有认知的主事
believes
那个 实数
英里每小時
equal
那个 客体
地区在
那个 过程
出现 的
time
时段的
Mean1MinuteWindSpeedFn
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWSAttribute
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS))
(
speedScaleAttributeMinMax
?SS
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?WIND)
(
and
(
greaterThanOrEqualTo
?WIND ?MIN)
(
lessThanOrEqualTo
?WIND ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?WIND ?U)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 2365-2384
如果
过程
是
飓风
的
instance
和
时速级数属性
是
萨菲尔辛普森飓风风力等级
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 时速级数属性
的
attribute
和
那个 时速级数属性
的最低和最高是
实数
测量单位
和
另一个 实数
那个 测量单位
和
那个 测量单位
是
测量单位
的
instance
,
然后 有存在
第三 实数
这样
那个 第三 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 第三 实数
是
lessThanOrEqualTo
那个 另外 实数
和
那个 有认知的主事
believes
那个 第三 实数
那个 测量单位
equal
那个 客体
地区在
那个 过程
出现 的
time
时段的
Mean1MinuteWindSpeedFn
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
eventLocated
?HAZE ?AREA)
(
instance
?AREA
GeographicArea
)
(
instance
?AIR
AtmosphericRegion
)
(
orientation
?AIR ?AREA
Above
)
(
locatedAtTime
?PARTICULATE
(
WhenFn
?HAZE) ?AIR)
(
visibilityInMeteorology
?AREA
(
WhenFn
?HAZE)
(
MeasureFn
?VISIBILITY
Kilometer
)))
(
and
(
greaterThan
?VISIBILITY 2.0)
(
lessThan
?VISIBILITY 5.0)))
Weather.kif 2566-2580
如果
过程
是
阴霾
的
instance
和
那个 过程
是
located
在
地区
和
那个 地区
是
地理区域
的
instance
和
客体
是
大气地区
的
instance
和
那个 客体
在
那个 地区
的
以上
和
另一个 客体
对于
那个 客体
在时间
那个 过程
出现 的
time
located
和
visibility
在
那个 地区
期间
那个 过程
出现 的
time
是
实数
公里
,
然后
那个 实数
是
greaterThan
2.0 和
那个 实数
是
lessThan
5.0
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?HAZE ?PLACE))
(
holdsDuring
(
WhenFn
?HAZE)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2590-2598
如果
过程
是
阴霾
的
instance
和
客体
是
地理区域
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后
BadAirQuality
是
那个 客体
的
attribute
的声明 has
容易
的语气 在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?HS
HeavySurf
)
(
instance
?PLACE
WaterArea
)
(
eventLocated
?HS ?PLACE))
(
exists
(?SWIM ?A)
(
and
(
instance
?SWIM
Swimming
)
(
instance
?A
Human
)
(
agent
?SWIM ?A)
(
eventLocated
?SWIM ?PLACE)
(
holdsDuring
(
WhenFn
?HS)
(
hazardous
?HS ?A)))))
Weather.kif 1579-1592
如果
过程
是
高激浪
的
instance
和
客体
是
水域
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后 有存在
另一个 过程
和
施事体
这样
那个 另外 过程
是
游泳
的
instance
和
那个 施事体
是
人类
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
是
located
在
那个 客体
和
危险
那个 过程
and
那个 施事体
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?LOW
LowTide
)
(
instance
?HIGH
HighTide
)
(
eventLocated
?LOW ?PLACE)
(
eventLocated
?HIGH ?PLACE)
(
instance
?DAY
Day
)
(
overlapsTemporally
?LOW ?DAY)
(
overlapsTemporally
?HIGH ?DAY))
(
exists
(?AMOUNT1 ?AMOUNT2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
?LOW
(
waterDepth
?PLACE
(
MeasureFn
?AMOUNT1 ?U)))
(
holdsDuring
?HIGH
(
waterDepth
?PLACE
(
MeasureFn
?AMOUNT2 ?U)))
(
greaterThan
?AMOUNT2 ?AMOUNT1))))
Geography.kif 4958-4976
如果
时距
是
低潮
的
instance
和
另一个 时距
是
高潮
的
instance
和
那个 时距
是
located
在
客体
和
那个 另外 时距
是
located
在
那个 客体
和
第三 时距
是
日
的
instance
和
那个 第三 时距
时段 和
那个 时距
重叠 和
那个 第三 时距
时段 和
那个 另外 时距
重叠,
然后 有存在
实数
,
另一个 实数
, and 和
实体
这样
那个 实体
是
UnitOfLength
的
instance
和
那个 实数
那个 实体
是
那个 客体
的
water
深度 在
那个 时距
holdsDuring
和
那个 另外 实数
那个 实体
是
那个 客体
的
water
深度 在
那个 另外 时距
holdsDuring
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?OP
MilitaryOperation
)
(
eventLocated
?OP ?REGION)
(
instance
?REGION
Region
))
(
areaOfOperation
?REGION ?OP))
MilitaryProcesses.kif 1326-1331
如果
军事行动
是
军事行动
的
instance
和
那个 军事行动
是
located
在
地区
和
那个 地区
是
地区
的
instance
,
然后
经营范围
那个 地区
and
那个 军事行动
(=>
(
and
(
instance
?Opening
OpeningAnAccount
)
(
eventLocated
?Opening ?Bank)
(
instance
?Bank
FinancialOrganization
)
(
agent
?Opening ?Agent)
(
equal
(
WhenFn
?Opening) ?OpeningTime))
(
exists
(?Account ?AccountPeriod)
(
and
(
agreementPeriod
?Account ?AccountPeriod)
(
meetsTemporally
?OpeningTime ?AccountPeriod)
(
instance
?Account
FinancialAccount
)
(
accountAt
?Account ?Bank)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 293-306
如果
过程
是
开户
的
instance
和
那个 过程
是
located
在
金融机构
和
那个 金融机构
是
金融机构
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
那个 过程
出现 的
time
equal
那个 过程
Time,
然后 有存在
金融账户
和
那个 金融账户
Period 这样
那个 金融账户
Period 是
那个 金融账户
的
agreement
週期 和
那个 过程
Time 接着
那个 金融账户
Period 和
那个 金融账户
是
金融账户
的
instance
和
那个 金融账户
是被
那个 金融机构
held
和
那个 有认知的主事
持有
account
那个 金融账户
(=>
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC)
(
subProcess
?SUB ?PROC))
(
eventLocated
?SUB ?LOC))
Mid-level-ontology.kif 23506-23511
如果
过程
是
过程
的
instance
和
那个 过程
是
located
在
客体
和
另一个 过程
%n是
那个 过程
的
subProcess
,
然后
那个 另外 过程
是
located
在
那个 客体
(=>
(
and
(
instance
?SHOCK
Aftershock
)
(
eventLocated
?SHOCK ?PLACE))
(
exists
(?TREMOR)
(
and
(
instance
?TREMOR
EarthTremor
)
(
eventLocated
?TREMOR ?PLACE)
(
before
(
WhenFn
?TREMOR)
(
WhenFn
?SHOCK)))))
Geography.kif 2328-2338
如果
过程
是
余震
的
instance
和
那个 过程
是
located
在
客体
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
地震
的
instance
和
那个 另外 过程
是
located
在
那个 客体
和
那个 另外 过程
出现 的
time
%n在
那个 过程
出现 的
time
before
发生
(=>
(
and
(
instance
?SYSTEM
HighPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
greaterThan
?AMOUNT 30.2)))
Weather.kif 802-808
如果
过程
是
高压天气系统
的
instance
和
那个 过程
是
located
在
客体
,
然后
实数
英寸汞
是
那个 客体
的
barometric
压力 和
那个 实数
是
greaterThan
30.2
(=>
(
and
(
instance
?SYSTEM
LowPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
lessThan
?AMOUNT 29.5)))
Weather.kif 543-549
如果
过程
是
低压天气系统
的
instance
和
那个 过程
是
located
在
客体
,
然后
实数
英寸汞
是
那个 客体
的
barometric
压力 和
那个 实数
是
lessThan
29.5
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EF5
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF)))
(
exists
(?GUST)
(
and
(
greaterThan
?GUST 200.0)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2191-2205
如果
过程
是
龙卷风
的
instance
和
实体
是
改良藤田5
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 实体
的
attribute
,
然后 有存在
实数
这样
那个 实数
是
greaterThan
200.0 和
那个 有认知的主事
believes
那个 实数
英里每小時
equal
在
那个 过程
出现 的
time
时间结束以前, 发生在区域
那个 客体
的
ThreeSecondGustSpeedFn
(3秒阵风风速)
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EFScaleAttribute
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF))
(
speedScaleAttributeMinMax
?EF
(
MeasureFn
?MIN
MilesPerHour
)
(
MeasureFn
?MAX
MilesPerHour
)))
(
exists
(?GUST)
(
and
(
greaterThanOrEqualTo
?GUST ?MIN)
(
lessThanOrEqualTo
?GUST ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2096-2114
如果
过程
是
龙卷风
的
instance
和
时速级数属性
是
改良藤田级数
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 时速级数属性
的
attribute
和
那个 时速级数属性
的最低和最高是
实数
英里每小時
和
另一个 实数
英里每小時
,
然后 有存在
第三 实数
这样
那个 第三 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 第三 实数
是
lessThanOrEqualTo
那个 另外 实数
和
那个 有认知的主事
believes
那个 第三 实数
英里每小時
equal
在
那个 过程
出现 的
time
时间结束以前, 发生在区域
那个 客体
的
ThreeSecondGustSpeedFn
(3秒阵风风速)
(=>
(
and
(
instance
?T
TwoStrokeTransfer
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?T ?C))
(
exists
(?E ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?E
Exhaust
)
(
subProcess
?M ?T)
(
origin
?M ?I)
(
patient
?M ?E))))
Cars.kif 523-536
如果
过程
是
TwoStrokeTransfer
的
instance
和
客体
是
EngineCylinder
的
instance
和
洞
是
InternalCombustionChamber
的
instance
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后 有存在
实体
和
另一个 过程
这样
那个 另外 过程
是
气体运动
的
instance
和
那个 实体
是
Exhaust
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 洞
是
那个 另外 过程
的源头 和
那个 实体
是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?T
Typhoon
)
(
eventLocated
?T ?P)
(
instance
?P
GeographicArea
))
(
or
(
located
?P
NorthwesternPacificOcean
)
(
meetsSpatially
?P
NorthwesternPacificOcean
)))
Weather.kif 787-794
如果
过程
是
台风
的
instance
和
那个 过程
是
located
在
客体
和
那个 客体
是
地理区域
的
instance
,
然后
那个 客体
是
located
在
NorthwesternPacificOcean
或
那个 客体
接上
NorthwesternPacificOcean
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