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
例
Process
and
FourStrokeCompression
例
Object
and
EngineCylinder
例
HoleRegion
and
InternalCombustionChamber
等於
Object
and
洞主持人
HoleRegion
Process
是
located
在
Object
持有期間
結束
何時
Process
and
attribute
HoleRegion
and
Pressurized
(=>
(
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
例
Process
and
FourStrokeExhaust
例
Object
and
EngineCylinder
例
HoleRegion
and
InternalCombustionChamber
等於
Object
and
洞主持人
HoleRegion
Process
是
located
在
Object
Entity
Process
例
Process
and
氣體運動
例
Entity
and
Exhaust
子過程
Process
and
Process
起源
Process
and
HoleRegion
患者
Process
and
Entity
(=>
(
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
例
Process
and
FourStrokeIntake
例
Object
and
EngineCylinder
例
HoleRegion
and
InternalCombustionChamber
等於
Object
and
洞主持人
HoleRegion
Process
是
located
在
Object
Process
V
Process
例
Process
and
氣體運動
例
Process
V and
FuelVapor
子過程
Process
and
Process
目的地
Process
and
HoleRegion
患者
Process
and
Process
V
(=>
(
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
例
Collection
and
軍事力量
例
AutonomousAgent
and
Human
例
Process
and
監禁
會員
AutonomousAgent
and
Collection
agent
Process
and
AutonomousAgent
患者
Process
and
AutonomousAgent
enemy
AutonomousAgent
and
AutonomousAgent
Process
是
located
在
Object
attribute
Object
and
戰爭狀態
attribute
AutonomousAgent
and
戰俘
(=>
(
and
(
instance
?FACILITY
NuclearWeaponProductionFacility
)
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
eventLocated
?DEVELOP ?FACILITY)
(
result
?DEVELOP ?WEAPON))
(
instance
?WEAPON
NuclearWeapon
))
WMD.kif 654-660
例
Object
and
核武器生產設施
例
Process
and
發展大規模殺傷性武器
Process
是
located
在
Object
結果
Process
and
Entity
例
Entity
and
核武器
(=>
(
and
(
instance
?FACILITY
NuclearWeaponResearchFacility
)
(
instance
?RESEARCH
ResearchingWeaponOfMassDestruction
)
(
eventLocated
?RESEARCH ?FACILITY))
(
refers
?RESEARCH
NuclearWeapon
))
WMD.kif 666-671
例
Object
and
核武器研究設施
例
Process
and
研究大規模殺傷性武器
Process
是
located
在
Object
參照
Process
and
核武器
(=>
(
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
例
Process
and
Fogging
Process
是
located
在
Region
例
Region
and
GeographicArea
例
Object
and
大氣地區
方位
Object
,
Region
and
以上
例
Object
and
Aerosal
Object
對於
Object
在時間
何時
Process
located
visibility
在
Region
期間
何時
Process
是
測量
RealNumber
and
儀表
少於
RealNumber
and 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
例
AutonomousAgent
and
MarchingBand
例
Process
and
音樂表演
agent
Process
and
AutonomousAgent
例
Object
and
在戶外
Process
是
located
在
Object
Process
例
Process
and
走動
子過程
Process
and
Process
(=>
(
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
例
Process
and
颶風
Process
是
located
在
Object
例
Object
and
GeographicArea
位於
Object
and
Object
空間的符合
Object
and
Object
等於
Object
and
NortheasternPacificOcean
等於
Object
and
北大西洋
(=>
(
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
例
Process
and
颶風
例
Entity
and
SSHWS5
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
Entity
RealNumber
比較多
RealNumber
and 157.0
相信
CognitiveAgent
and
等於
測量
RealNumber
and
MilesPerHour
and
Mean1MinuteWindSpeedFn
Object
and
何時
Process
(=>
(
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
例
Process
and
颶風
例
SpeedScaleAttribute
and
SSHWSAttribute
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
測量
RealNumber
and
UnitOfMeasure
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
RealNumber
大於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
相信
CognitiveAgent
and
等於
測量
RealNumber
and
UnitOfMeasure
and
Mean1MinuteWindSpeedFn
Object
and
何時
Process
(=>
(
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
例
Process
and
AtmosphericHazing
Process
是
located
在
Region
例
Region
and
GeographicArea
例
Object
and
大氣地區
方位
Object
,
Region
and
以上
Object
對於
Object
在時間
何時
Process
located
visibility
在
Region
期間
何時
Process
是
測量
RealNumber
and
公里
比較多
RealNumber
and 2.0
少於
RealNumber
and 5.0
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?HAZE ?PLACE))
(
holdsDuring
(
WhenFn
?HAZE)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2590-2598
例
Process
and
AtmosphericHazing
例
Object
and
GeographicArea
Process
是
located
在
Object
持有期間
何時
Process
and
模態屬性
attribute
Object
and
BadAirQuality
and
容易
(=>
(
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
例
Process
and
高激浪
例
Object
and
WaterArea
Process
是
located
在
Object
Process
AutonomousAgent
例
Process
and
Swimming
例
AutonomousAgent
and
Human
agent
Process
and
AutonomousAgent
Process
是
located
在
Object
持有期間
何時
Process
and
hazardous
Process
and
AutonomousAgent
(=>
(
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
例
TimeInterval
and
低潮
例
TimeInterval
and
高潮
TimeInterval
是
located
在
Object
TimeInterval
是
located
在
Object
例
TimeInterval
and
Day
暫時重疊
TimeInterval
and
TimeInterval
暫時重疊
TimeInterval
and
TimeInterval
RealNumber
RealNumber
and
Entity
例
Entity
and
UnitOfLength
持有期間
TimeInterval
and
測量
RealNumber
and
Entity
是
Object
的
water
深度
持有期間
TimeInterval
and
測量
RealNumber
and
Entity
是
Object
的
water
深度
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?OP
MilitaryOperation
)
(
eventLocated
?OP ?REGION)
(
instance
?REGION
Region
))
(
areaOfOperation
?REGION ?OP))
MilitaryProcesses.kif 1326-1331
例
軍事行動
and
軍事行動
軍事行動
是
located
在
Region
例
Region
and
Region
經營範圍
Region
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
例
Process
and
開戶
Process
是
located
在
金融機構
例
金融機構
and
金融機構
agent
Process
and
CognitiveAgent
等於
何時
Process
and
Process
Time
金融賬戶
金融賬戶
Period
金融賬戶
Period 是
金融賬戶
的
agreement
週期
短暫相遇
Process
Time and
金融賬戶
Period
例
金融賬戶
and
金融賬戶
金融賬戶
是被
金融機構
held
CognitiveAgent
持有
account
金融賬戶
(=>
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC)
(
subProcess
?SUB ?PROC))
(
eventLocated
?SUB ?LOC))
Mid-level-ontology.kif 23506-23511
例
Process
and
Process
Process
是
located
在
Object
子過程
Process
and
Process
Process
是
located
在
Object
(=>
(
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
例
Process
and
餘震
Process
是
located
在
Object
Process
例
Process
and
地震
Process
是
located
在
Object
之前
何時
Process
and
何時
Process
(=>
(
and
(
instance
?SYSTEM
HighPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
greaterThan
?AMOUNT 30.2)))
Weather.kif 802-808
例
Process
and
高壓天氣系統
Process
是
located
在
Object
測量
RealNumber
and
英寸汞
是
Object
的
barometric
壓力
比較多
RealNumber
and 30.2
(=>
(
and
(
instance
?SYSTEM
LowPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
lessThan
?AMOUNT 29.5)))
Weather.kif 543-549
例
Process
and
低壓天氣系統
Process
是
located
在
Object
測量
RealNumber
and
英寸汞
是
Object
的
barometric
壓力
少於
RealNumber
and 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
例
Process
and
龍捲風
例
Entity
and
EF5
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
Entity
RealNumber
比較多
RealNumber
and 200.0
相信
CognitiveAgent
and
等於
測量
RealNumber
and
MilesPerHour
and
ThreeSecondGustSpeedFn
Object
and
何時
Process
(=>
(
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
例
Process
and
龍捲風
例
SpeedScaleAttribute
and
EFScaleAttribute
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
測量
RealNumber
and
MilesPerHour
and
測量
RealNumber
and
MilesPerHour
RealNumber
大於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
相信
CognitiveAgent
and
等於
測量
RealNumber
and
MilesPerHour
and
ThreeSecondGustSpeedFn
Object
and
何時
Process
(=>
(
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
例
Process
and
TwoStrokeTransfer
例
Object
and
EngineCylinder
例
HoleRegion
and
InternalCombustionChamber
等於
Object
and
洞主持人
HoleRegion
Process
是
located
在
Object
Entity
Process
例
Process
and
氣體運動
例
Entity
and
Exhaust
子過程
Process
and
Process
起源
Process
and
HoleRegion
患者
Process
and
Entity
(=>
(
and
(
instance
?T
Typhoon
)
(
eventLocated
?T ?P)
(
instance
?P
GeographicArea
))
(
or
(
located
?P
NorthwesternPacificOcean
)
(
meetsSpatially
?P
NorthwesternPacificOcean
)))
Weather.kif 787-794
例
Process
and
颱風
Process
是
located
在
Object
例
Object
and
GeographicArea
位於
Object
and
NorthwesternPacificOcean
空間的符合
Object
and
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