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
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 2537-2550
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
?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
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 753-763
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 2443-2457
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 2365-2384
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 2566-2580
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 2590-2598
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 1579-1592
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 4958-4976
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 293-306
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
?PROC
Process
)
(
eventLocated
?PROC ?LOC)
(
subProcess
?SUB ?PROC))
(
eventLocated
?SUB ?LOC))
Mid-level-ontology.kif 23506-23511
If
a process
is an
instance
of
process
and
the process
is
located
at
an object
and
another process
is a
subprocess
of
the process
,
then
the other process
is
located
at
the 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
If
a process
is an
instance
of
aftershock
and
the process
is
located
at
an object
,
then there exists
another process
such that
the other process
is an
instance
of
earth tremor
and
the other process
is
located
at
the object
and the
time
of existence of
the other process
happens
before
the
time
of existence of
the process
(=>
(
and
(
instance
?SYSTEM
HighPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
greaterThan
?AMOUNT 30.2)))
Weather.kif 802-808
If
a process
is an
instance
of
high pressure weather system
and
the process
is
located
at
an object
,
then
a real number
inch mercury
(s) is a
barometric
pressure of
the object
and
the real number
is
greater
than 30.2
(=>
(
and
(
instance
?SYSTEM
LowPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
lessThan
?AMOUNT 29.5)))
Weather.kif 543-549
If
a process
is an
instance
of
low pressure weather system
and
the process
is
located
at
an object
,
then
a real number
inch mercury
(s) is a
barometric
pressure of
the object
and
the real number
is
less
than 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
If
a process
is an
instance
of
tornado
and
an entity
is an
instance
of
EF5
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 200.0 and
the cognitive agent
believe
s
the real number
miles per hour
(s) is
equal
to
ThreeSecondSpeedGustFn
ending at the
time
of existence of
the process
in
the object
(=>
(
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
If
a process
is an
instance
of
tornado
and
a speed scale attribute
is an
instance
of
enhanced fuijita scale attribute
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
miles per hour
(s) and
another real number
miles per hour
(s) are the min and max speed of
the speed scale attribute
,
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
miles per hour
(s) is
equal
to
ThreeSecondSpeedGustFn
ending at the
time
of existence of
the process
in
the object
(=>
(
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
If
a process
is an
instance
of
two stroke transfer
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
?T
Typhoon
)
(
eventLocated
?T ?P)
(
instance
?P
GeographicArea
))
(
or
(
located
?P
NorthwesternPacificOcean
)
(
meetsSpatially
?P
NorthwesternPacificOcean
)))
Weather.kif 787-794
If
a process
is an
instance
of
typhoon
and
the process
is
located
at
an object
and
the object
is an
instance
of
geographic area
,
then
the object
is
located
at
Northwestern Pacific Ocean
or
the object
meet
s
Northwestern Pacific Ocean
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