eventLocated
(=>
(
and
(
instance
?F
FourStrokeCombustion
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?CO)
(
and
(
instance
?CO
Combustion
)
(
subProcess
?CO ?F))))
Cars.kif 207-217
If
a process
is an
instance
of
four stroke combustion
and
an object
is an
instance
of
engine cylinder
and
a hole
is an
instance
of
internal combustion chamber
and
the object
is
equal
to the
host
of the hole
the hole
and
the process
is
located
at
the object
,
then there exists
the object
O such that
the object
O is an
instance
of
burning
and
the object
O is a
subprocess
of
the process
(=>
(
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
If
a process
is an
instance
of
four stroke compression
and
an object
is an
instance
of
engine cylinder
and
a hole
is an
instance
of
internal combustion chamber
and
the object
is
equal
to the
host
of the hole
the hole
and
the process
is
located
at
the object
,
then
pressurized
is an
attribute
of
the hole
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
four stroke exhaust
and
an object
is an
instance
of
engine cylinder
and
a hole
is an
instance
of
internal combustion chamber
and
the object
is
equal
to the
host
of the hole
the hole
and
the process
is
located
at
the object
,
then there exist
an entity
and
another process
such that
the other process
is an
instance
of
gas motion
and
the entity
is an
instance
of
exhaust
and
the other process
is a
subprocess
of
the process
and
the other process
originate
s at
the hole
and
the entity
is a
patient
of
the other process
(=>
(
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
If
a process
is an
instance
of
four stroke intake
and
an object
is an
instance
of
engine cylinder
and
a hole
is an
instance
of
internal combustion chamber
and
the object
is
equal
to the
host
of the hole
the hole
and
the process
is
located
at
the object
,
then there exist
the process
V and
another process
such that
the other process
is an
instance
of
gas motion
and
the process
V is an
instance
of
fuel vapor
and
the other process
is a
subprocess
of
the process
and
the other process
end
s up at
the hole
and
the process
V is a
patient
of
the other process
(=>
(
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
If
a collection
is an
instance
of
military force
and
an agent
is an
instance
of
human
and
a process
is an
instance
of
imprisoning
and
the agent
is a
member
of
the collection
and
another agent
is an
agent
of
the process
and
the agent
is a
patient
of
the process
and
the other agent
and
the agent
are enemies of each other and
the process
is
located
at
an object
and
war state
is an
attribute
of
the object
,
then
prisoner of war
is an
attribute
of
the agent
(=>
(
and
(
instance
?FACILITY
NuclearWeaponProductionFacility
)
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
eventLocated
?DEVELOP ?FACILITY)
(
result
?DEVELOP ?WEAPON))
(
instance
?WEAPON
NuclearWeapon
))
WMD.kif 654-660
If
an object
is an
instance
of
nuclear weapon production facility
and
a process
is an
instance
of
developing weapon of mass destruction
and
the process
is
located
at
the object
and
an entity
is a
result
of
the process
,
then
the entity
is an
instance
of
nuclear weapon
(=>
(
and
(
instance
?FACILITY
NuclearWeaponResearchFacility
)
(
instance
?RESEARCH
ResearchingWeaponOfMassDestruction
)
(
eventLocated
?RESEARCH ?FACILITY))
(
refers
?RESEARCH
NuclearWeapon
))
WMD.kif 666-671
If
an object
is an
instance
of
nuclear weapon research facility
and
a process
is an
instance
of
researching weapon of mass destruction
and
the process
is
located
at
the object
,
then
the process
includes a
reference
to
nuclear weapon
(=>
(
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 3053-3066
If
a process
is an
instance
of
fog
and
the process
is
located
at
a region
and
the region
is an
instance
of
geographic area
and
an object
is an
instance
of
atmospheric region
and
the object
is
above
to
the region
and
another object
is an
instance
of
aerosal
and
the other object
located
at time the
time
of existence of
the process
for
the object
and the
visibility
at
the region
during the
time
of existence of
the process
is
a real number
meter
(s),
then
the real number
is
less
than 1000.0
(=>
(
and
(
instance
?G
StrongGust
)
(
eventLocated
?G ?R)
(
instance
?R
GeographicArea
)
(
equal
(
ThreeSecondGustSpeedFn
?R
(
WhenFn
?G))
(
MeasureFn
?TOP
MilesPerHour
))
(
earlier
?T
(
WhenFn
?G))
(
holdsDuring
?T
(
surfaceWindSpeed
?R
(
MeasureFn
?BASE
MilesPerHour
)))
(
equal
?DIFF
(
SubtractionFn
?TOP ?BASE)))
(
and
(
greaterThan
?DIFF 17)
(
lessThanOrEqualTo
?DIFF 29)))
Weather.kif 1732-1748
If
a process
is an
instance
of
strong gust
and
the process
is
located
at
a geographic area
and
the geographic area
is an
instance
of
geographic area
and
ThreeSecondSpeedGustFn
ending at the
time
of existence of
the process
in
the geographic area
is
equal
to
a real number
miles per hour
(s) and
a time interval
happens
earlier
than the
time
of existence of
the process
and
another real number
miles per hour
(s) is a
surface
wind speed of
the geographic area
holds
during
the time interval
and
a third real number
is
equal
to (
the real number
and
the other real number
),
then
the third real number
is
greater
than 17 and
the third real number
is
less
than or equal to 29
(=>
(
and
(
instance
?G
ViolentGust
)
(
eventLocated
?G ?R)
(
instance
?R
GeographicArea
)
(
equal
(
ThreeSecondGustSpeedFn
?R
(
WhenFn
?G))
(
MeasureFn
?TOP
MilesPerHour
))
(
earlier
?T
(
WhenFn
?G))
(
holdsDuring
?T
(
surfaceWindSpeed
?R
(
MeasureFn
?BASE
MilesPerHour
)))
(
equal
?DIFF
(
SubtractionFn
?TOP ?BASE)))
(
greaterThan
?DIFF 29))
Weather.kif 1755-1769
If
a process
is an
instance
of
violent gust
and
the process
is
located
at
a geographic area
and
the geographic area
is an
instance
of
geographic area
and
ThreeSecondSpeedGustFn
ending at the
time
of existence of
the process
in
the geographic area
is
equal
to
a real number
miles per hour
(s) and
a time interval
happens
earlier
than the
time
of existence of
the process
and
another real number
miles per hour
(s) is a
surface
wind speed of
the geographic area
holds
during
the time interval
and
a third real number
is
equal
to (
the real number
and
the other real number
),
then
the third real number
is
greater
than 29
(=>
(
and
(
instance
?G
WeakGust
)
(
eventLocated
?G ?R)
(
instance
?R
GeographicArea
)
(
equal
(
ThreeSecondGustSpeedFn
?R
(
WhenFn
?G))
(
MeasureFn
?TOP
MilesPerHour
))
(
earlier
?T
(
WhenFn
?G))
(
holdsDuring
?T
(
surfaceWindSpeed
?R
(
MeasureFn
?BASE
MilesPerHour
)))
(
equal
?DIFF
(
SubtractionFn
?TOP ?BASE)))
(
and
(
greaterThanOrEqualTo
?DIFF 12)
(
lessThanOrEqualTo
?DIFF 17)))
Weather.kif 1709-1725
If
a process
is an
instance
of
weak gust
and
the process
is
located
at
a geographic area
and
the geographic area
is an
instance
of
geographic area
and
ThreeSecondSpeedGustFn
ending at the
time
of existence of
the process
in
the geographic area
is
equal
to
a real number
miles per hour
(s) and
a time interval
happens
earlier
than the
time
of existence of
the process
and
another real number
miles per hour
(s) is a
surface
wind speed of
the geographic area
holds
during
the time interval
and
a third real number
is
equal
to (
the real number
and
the other real number
),
then
the third real number
is
greater
than or equal to 12 and
the third real number
is
less
than or equal to 17
(=>
(
and
(
instance
?G
WindGust
)
(
eventLocated
?G ?R)
(
instance
?R
GeographicArea
)
(
duration
(
WhenFn
?G)
(
MeasureFn
?DUR
SecondDuration
)))
(
greaterThanOrEqualTo
?DUR 20))
Weather.kif 1661-1668
If
a process
is an
instance
of
wind gust
and
the process
is
located
at
an object
and
the object
is an
instance
of
geographic area
and
duration
of the
time
of existence of
the process
is
a real number
second duration
(s),
then
the real number
is
greater
than or equal to 20
(=>
(
and
(
instance
?G
WindGust
)
(
eventLocated
?G ?R)
(
instance
?R
GeographicArea
)
(
equal
(
ThreeSecondGustSpeedFn
?R
(
WhenFn
?G))
(
MeasureFn
?TOP
MilesPerHour
))
(
earlier
(
WhenFn
?G) ?T)
(
holdsDuring
?T
(
surfaceWindSpeed
?R
(
MeasureFn
?BASE
MilesPerHour
)))
(
equal
?DIFF
(
SubtractionFn
?TOP ?BASE)))
(
greaterThanOrEqualTo
?DIFF 10))
Weather.kif 1688-1702
If
a process
is an
instance
of
wind gust
and
the process
is
located
at
a geographic area
and
the geographic area
is an
instance
of
geographic area
and
ThreeSecondSpeedGustFn
ending at the
time
of existence of
the process
in
the geographic area
is
equal
to
a real number
miles per hour
(s) and the
time
of existence of
the process
happens
earlier
than
a time interval
and
another real number
miles per hour
(s) is a
surface
wind speed of
the geographic area
holds
during
the time interval
and
a third real number
is
equal
to (
the real number
and
the other real number
),
then
the third real number
is
greater
than or equal to 10
(=>
(
and
(
instance
?G
WindGust
)
(
eventLocated
?G ?R)
(
instance
?R
GeographicArea
)
(
equal
(
ThreeSecondGustSpeedFn
?R
(
WhenFn
?G))
(
MeasureFn
?TOP
MilesPerHour
))
(
earlier
?T
(
WhenFn
?G))
(
holdsDuring
?T
(
surfaceWindSpeed
?R
(
MeasureFn
?BASE
MilesPerHour
)))
(
equal
?DIFF
(
SubtractionFn
?TOP ?BASE)))
(
and
(
greaterThanOrEqualTo
?TOP 18)
(
greaterThanOrEqualTo
?DIFF 10)))
Weather.kif 1670-1686
If
a process
is an
instance
of
wind gust
and
the process
is
located
at
a geographic area
and
the geographic area
is an
instance
of
geographic area
and
ThreeSecondSpeedGustFn
ending at the
time
of existence of
the process
in
the geographic area
is
equal
to
a real number
miles per hour
(s) and
a time interval
happens
earlier
than the
time
of existence of
the process
and
another real number
miles per hour
(s) is a
surface
wind speed of
the geographic area
holds
during
the time interval
and
a third real number
is
equal
to (
the real number
and
the other real number
),
then
the real number
is
greater
than or equal to 18 and
the third real number
is
greater
than or equal to 10
(=>
(
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 988-998
If
an agent
is an
instance
of
marching band
and
a process
is an
instance
of
musical performance
and
the agent
is an
agent
of
the process
and
an object
is an
instance
of
outdoors
and
the process
is
located
at
the object
,
then there exists
another process
such that
the other process
is an
instance
of
ambulating
and
the other process
is a
subprocess
of
the 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 737-747
If
a process
is an
instance
of
hurricane
and
the process
is
located
at
an object
and
the object
is an
instance
of
geographic area
and
the object
is
located
at
another object
or
the object
meet
s
the other object
,
then
the other object
is
equal
to
Northeastern Pacific ocean
or
the other object
is
equal
to
north atlantic ocean
(=>
(
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 2959-2973
If
a process
is an
instance
of
hurricane
and
an entity
is an
instance
of
SSHWS5
and
the process
is
located
at
an object
and
a cognitive agent
believe
s
the process
the
attribute
the entity
,
then there exists
a real number
such that
the real number
is
greater
than 157.0 and
the cognitive agent
believe
s
the real number
miles per hour
(s) is
equal
to
Mean1MinuteWindSpeedFn
for the
time
of existence of
the process
in region
the object
(=>
(
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 2881-2900
If
a process
is an
instance
of
hurricane
and
a speed scale attribute
is an
instance
of
Saffir Simpson Hurrican wind scale
and
the process
is
located
at
an object
and
a cognitive agent
believe
s
the process
the
attribute
the speed scale attribute
and
a real number
an unit of measure
(s) and
another real number
the unit of measure
(s) are the min and max speed of
the speed scale attribute
and
the unit of measure
is an
instance
of
unit of measure
,
then there exists
a third real number
such that
the third real number
is
greater
than or equal to
the real number
and
the third real number
is
less
than or equal to
the other real number
and
the cognitive agent
believe
s
the third real number
the unit of measure
(s) is
equal
to
Mean1MinuteWindSpeedFn
for the
time
of existence of
the process
in region
the object
(=>
(
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 3082-3096
If
a process
is an
instance
of
atmospheric hazing
and
the process
is
located
at
a region
and
the region
is an
instance
of
geographic area
and
an object
is an
instance
of
atmospheric region
and
the object
is
above
to
the region
and
another object
located
at time the
time
of existence of
the process
for
the object
and the
visibility
at
the region
during the
time
of existence of
the process
is
a real number
kilometer
(s),
then
the real number
is
greater
than 2.0 and
the real number
is
less
than 5.0
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?HAZE ?PLACE))
(
holdsDuring
(
WhenFn
?HAZE)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 3106-3114
If
a process
is an
instance
of
atmospheric hazing
and
an object
is an
instance
of
geographic area
and
the process
is
located
at
the object
,
then the statement
Bad air quality
is an
attribute
of
the object
has the
modal
force
of
likely
holds
during
the
time
of existence of
the process
(=>
(
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 2095-2108
If
a process
is an
instance
of
heavy zone
and
an object
is an
instance
of
water area
and
the process
is
located
at
the object
,
then there exist
another process
and
an agent
such that
the other process
is an
instance
of
swimming
and
the agent
is an
instance
of
human
and
the agent
is an
agent
of
the other process
and
the other process
is
located
at
the object
and
the process
is
hazardous
to
the agent
holds
during
the
time
of existence of
the process
(=>
(
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 5054-5072
If
a time interval
is an
instance
of
low tide
and
another time interval
is an
instance
of
high tide
and
the time interval
is
located
at
an object
and
the other time interval
is
located
at
the object
and
a third time interval
is an
instance
of
day
and
the third time interval
overlap
s
the time interval
and
the third time interval
overlap
s
the other time interval
,
then there exist
a real number
,
another real number
and
an entity
such that
the entity
is an
instance
of
unit of length
and
the real number
the entity
(s) is a
water
depth of
the object
holds
during
the time interval
and
the other real number
the entity
(s) is a
water
depth of
the object
holds
during
the other time interval
and
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?OP
MilitaryOperation
)
(
eventLocated
?OP ?REGION)
(
instance
?REGION
Region
))
(
areaOfOperation
?REGION ?OP))
MilitaryProcesses.kif 1326-1331
If
a military operation
is an
instance
of
military operation
and
the military operation
is
located
at
a region
and
the region
is an
instance
of
region
,
then
the region
is the operational area for
the military operation
(=>
(
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 295-308
If
a process
is an
instance
of
opening an account
and
the process
is
located
at
a financial organization
and
the financial organization
is an
instance
of
financial organization
and
a cognitive agent
is an
agent
of
the process
and the
time
of existence of
the process
is
equal
to
the process
Time,
then there exist
a financial account
and
the financial account
Period such that
the financial account
Period is an
agreement
period of
the financial account
and
the process
Time
meet
s
the financial account
Period and
the financial account
is an
instance
of
financial account
and
the financial account
is
held
by
the financial organization
and
the cognitive agent
holds
account
the financial account
(=>
(
and
(
instance
?P
ProductAssembly
)
(
eventLocated
?P ?X)
(
instance
?X
AssemblyStation
))
(
or
(
instance
?P
Attaching
)
(
instance
?P
Combining
)))
Economy.kif 2140-2147
If
a process
is an
instance
of
Product assembly
and
the process
is
located
at
an object
and
the object
is an
instance
of
assembly station
,
then
the process
is an
instance
of
attaching
or
the process
is an
instance
of
combining
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
