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
では %n
オブジェクト
は
EngineCylinder
の
instance
では %n
HoleRegion
は
InternalCombustionChamber
の
instance
では %n
オブジェクト
は ホール
HoleRegion
の
host
と
equal
では %n
eventLocated
工程
and
オブジェクト
Pressurized
は
HoleRegion
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
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
では %n
オブジェクト
は
EngineCylinder
の
instance
では %n
HoleRegion
は
InternalCombustionChamber
の
instance
では %n
オブジェクト
は ホール
HoleRegion
の
host
と
equal
では %n
eventLocated
工程
and
オブジェクト
エンティティー
工程
工程
は
GasMotion
の
instance
では %n
エンティティー
は
Exhaust
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
HoleRegion
から
originate
s %n{ない}
エンティティー
は
工程
の
patient
では %n
(=>
(
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
では %n
オブジェクト
は
EngineCylinder
の
instance
では %n
HoleRegion
は
InternalCombustionChamber
の
instance
では %n
オブジェクト
は ホール
HoleRegion
の
host
と
equal
では %n
eventLocated
工程
and
オブジェクト
工程
V
工程
工程
は
GasMotion
の
instance
では %n
工程
V は
FuelVapor
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
HoleRegion
に
end
s %n{ない}
工程
V は
工程
の
patient
では %n
(=>
(
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
コレクション
は
MilitaryForce
の
instance
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
工程
は
Imprisoning
の
instance
では %n
AutonomousAgent
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
patient
では %n
enemy
AutonomousAgent
and
AutonomousAgent
eventLocated
工程
and
オブジェクト
WarState
は
オブジェクト
の
attribute
では %n
PrisonerOfWar
は
AutonomousAgent
の
attribute
では %n
(=>
(
and
(
instance
?FACILITY
NuclearWeaponProductionFacility
)
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
eventLocated
?DEVELOP ?FACILITY)
(
result
?DEVELOP ?WEAPON))
(
instance
?WEAPON
NuclearWeapon
))
WMD.kif 654-660
オブジェクト
は
NuclearWeaponProductionFacility
の
instance
では %n
工程
は
DevelopingWeaponOfMassDestruction
の
instance
では %n
eventLocated
工程
and
オブジェクト
エンティティー
は
工程
の
result
では %n
エンティティー
は
NuclearWeapon
の
instance
では %n
(=>
(
and
(
instance
?FACILITY
NuclearWeaponResearchFacility
)
(
instance
?RESEARCH
ResearchingWeaponOfMassDestruction
)
(
eventLocated
?RESEARCH ?FACILITY))
(
refers
?RESEARCH
NuclearWeapon
))
WMD.kif 666-671
オブジェクト
は
NuclearWeaponResearchFacility
の
instance
では %n
工程
は
ResearchingWeaponOfMassDestruction
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
は
NuclearWeapon
への
reference
を includes %n{ない}
(=>
(
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
工程
は
Fogging
の
instance
では %n
eventLocated
工程
and
地域
地域
は
地理的地域
の
instance
では %n
オブジェクト
は
AtmosphericRegion
の
instance
では %n
オブジェクト
は
Above
対
地域
では %n
オブジェクト
は
Aerosal
の
instance
では %n
locatedAtTime
オブジェクト
,
工程
の
time
の existence and
オブジェクト
visibilityInMeteorology
地域
,
工程
の
time
の existence and
実数
の
Meter
(s)
実数
は 1000.0 より
less
では %n
(=>
(
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
は
MarchingBand
の
instance
では %n
工程
は
MusicalPerformance
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
Outdoors
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
工程
は
Ambulating
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
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
工程
は
Hurricane
の
instance
では %n
eventLocated
工程
and
オブジェクト
オブジェクト
は
地理的地域
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
NortheasternPacificOcean
と
equal
では %n
オブジェクト
は
NorthAtlanticOcean
と
equal
では %n
(=>
(
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
工程
は
Hurricane
の
instance
では %n
エンティティー
は
SSHWS5
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
エンティティー
%n{ない} を
believe
s %n{ない}
実数
実数
は 157.0 より
greater
では %n
認識エージェント
は
実数
の
MilesPerHour
(s) は
Mean1MinuteWindSpeedFn
オブジェクト
and
工程
の
time
の existence と
equal
では %n を
believe
s %n{ない}
(=>
(
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
工程
は
Hurricane
の
instance
では %n
SpeedScaleAttribute
は
SSHWSAttribute
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
SpeedScaleAttribute
%n{ない} を
believe
s %n{ない}
speedScaleAttributeMinMax
SpeedScaleAttribute
,
実数
の
測定単位
(s) and
実数
の
測定単位
(s)
測定単位
は
測定単位
の
instance
では %n
実数
実数
は
実数
greater
では %n
実数
は
実数
より
less
または同等 では %n
認識エージェント
は
実数
の
測定単位
(s) は
Mean1MinuteWindSpeedFn
オブジェクト
and
工程
の
time
の existence と
equal
では %n を
believe
s %n{ない}
(=>
(
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
工程
は
AtmosphericHazing
の
instance
では %n
eventLocated
工程
and
地域
地域
は
地理的地域
の
instance
では %n
オブジェクト
は
AtmosphericRegion
の
instance
では %n
オブジェクト
は
Above
対
地域
では %n
locatedAtTime
オブジェクト
,
工程
の
time
の existence and
オブジェクト
visibilityInMeteorology
地域
,
工程
の
time
の existence and
実数
の
Kilometer
(s)
実数
は 2.0 より
greater
では %n
実数
は 5.0 より
less
では %n
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?HAZE ?PLACE))
(
holdsDuring
(
WhenFn
?HAZE)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2590-2598
工程
は
AtmosphericHazing
の
instance
では %n
オブジェクト
は
地理的地域
の
instance
では %n
eventLocated
工程
and
オブジェクト
ステートメント
BadAirQuality
は
オブジェクト
の
attribute
では %n には
Likely
の
modal
force
が ある は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
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
工程
は
HeavySurf
の
instance
では %n
オブジェクト
は
水域
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
AutonomousAgent
工程
は
水泳
の
instance
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
eventLocated
工程
and
オブジェクト
hazardous
工程
and
AutonomousAgent
は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
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
時間間隔
は
LowTide
の
instance
では %n
時間間隔
は
HighTide
の
instance
では %n
eventLocated
時間間隔
and
オブジェクト
eventLocated
時間間隔
and
オブジェクト
時間間隔
は
日
の
instance
では %n
時間間隔
は
時間間隔
と
overlap
s %n{dない}
時間間隔
は
時間間隔
と
overlap
s %n{dない}
実数
実数
and
エンティティー
エンティティー
は
UnitOfLength
の
instance
では %n
waterDepth
オブジェクト
and
実数
の
エンティティー
(s) は
時間間隔
の
during
holds %n{ない}
waterDepth
オブジェクト
and
実数
の
エンティティー
(s) は
時間間隔
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?OP
MilitaryOperation
)
(
eventLocated
?OP ?REGION)
(
instance
?REGION
Region
))
(
areaOfOperation
?REGION ?OP))
MilitaryProcesses.kif 1326-1331
MilitaryOperation
は
MilitaryOperation
の
instance
では %n
eventLocated
MilitaryOperation
and
地域
地域
は
地域
の
instance
では %n
areaOfOperation
地域
and
MilitaryOperation
(=>
(
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
工程
は
OpeningAnAccount
の
instance
では %n
eventLocated
工程
and
FinancialOrganization
FinancialOrganization
は
FinancialOrganization
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
工程
の
time
の existence は
工程
Time と
equal
では %n
FinancialAccount
FinancialAccount
Period
agreementPeriod
FinancialAccount
and
FinancialAccount
Period
工程
Time は
FinancialAccount
Period に
meet
s %n{ない}
FinancialAccount
は
FinancialAccount
の
instance
では %n
accountAt
FinancialAccount
and
FinancialOrganization
accountHolder
FinancialAccount
and
認識エージェント
(=>
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC)
(
subProcess
?SUB ?PROC))
(
eventLocated
?SUB ?LOC))
Mid-level-ontology.kif 23506-23511
工程
は
工程
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
は
工程
% の
subprocess
では %n
eventLocated
工程
and
オブジェクト
(=>
(
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
工程
は
Aftershock
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
工程
は
EarthTremor
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
の
time
の existence は
工程
の
time
の existence の
before
に happens %n{ない}
(=>
(
and
(
instance
?SYSTEM
HighPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
greaterThan
?AMOUNT 30.2)))
Weather.kif 802-808
工程
は
HighPressureWeatherSystem
の
instance
では %n
eventLocated
工程
and
オブジェクト
barometricPressure
オブジェクト
and
実数
の
InchMercury
(s)
実数
は 30.2 より
greater
では %n
(=>
(
and
(
instance
?SYSTEM
LowPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
lessThan
?AMOUNT 29.5)))
Weather.kif 543-549
工程
は
LowPressureWeatherSystem
の
instance
では %n
eventLocated
工程
and
オブジェクト
barometricPressure
オブジェクト
and
実数
の
InchMercury
(s)
実数
は 29.5 より
less
では %n
(=>
(
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
工程
は
Tornado
の
instance
では %n
エンティティー
は
EF5
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
エンティティー
%n{ない} を
believe
s %n{ない}
実数
実数
は 200.0 より
greater
では %n
認識エージェント
は
実数
の
MilesPerHour
(s) は
ThreeSecondGustSpeedFn
オブジェクト
and
工程
の
time
の existence と
equal
では %n を
believe
s %n{ない}
(=>
(
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
工程
は
Tornado
の
instance
では %n
SpeedScaleAttribute
は
EFScaleAttribute
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
SpeedScaleAttribute
%n{ない} を
believe
s %n{ない}
speedScaleAttributeMinMax
SpeedScaleAttribute
,
実数
の
MilesPerHour
(s) and
実数
の
MilesPerHour
(s)
実数
実数
は
実数
greater
では %n
実数
は
実数
より
less
または同等 では %n
認識エージェント
は
実数
の
MilesPerHour
(s) は
ThreeSecondGustSpeedFn
オブジェクト
and
工程
の
time
の existence と
equal
では %n を
believe
s %n{ない}
(=>
(
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
では %n
オブジェクト
は
EngineCylinder
の
instance
では %n
HoleRegion
は
InternalCombustionChamber
の
instance
では %n
オブジェクト
は ホール
HoleRegion
の
host
と
equal
では %n
eventLocated
工程
and
オブジェクト
エンティティー
工程
工程
は
GasMotion
の
instance
では %n
エンティティー
は
Exhaust
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
HoleRegion
から
originate
s %n{ない}
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
instance
?T
Typhoon
)
(
eventLocated
?T ?P)
(
instance
?P
GeographicArea
))
(
or
(
located
?P
NorthwesternPacificOcean
)
(
meetsSpatially
?P
NorthwesternPacificOcean
)))
Weather.kif 787-794
工程
は
Typhoon
の
instance
では %n
eventLocated
工程
and
オブジェクト
オブジェクト
は
地理的地域
の
instance
では %n
オブジェクト
は
NorthwesternPacificOcean
に
located
して %n
オブジェクト
は
NorthwesternPacificOcean
と
meet
s %n{ない}
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