greaterThan
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10055-10078
オブジェクト
は
Antidiuretic
の
instance
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
時間間隔
は
Urination
の
instance
では %n
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
Urination
の
instance
では %n
時間間隔
は
時間間隔
と
equal
では
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
motion
より
earlier
happens %n{ない}
motion
は
時間間隔
より
earlier
happens %n{ない}
測定単位
は
UnitOfVolume
の
instance
では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
ステートメント
実数
は
実数
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?D
Decelerating
)
(
agent
?D ?A))
(
exists
(?L1 ?L2 ?T1 ?T2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
measure
?A
(
SpeedFn
(
MeasureFn
?L1 ?U1)
(
MeasureFn
?T1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
measure
?A
(
SpeedFn
(
MeasureFn
?L2 ?U1)
(
MeasureFn
?T2 ?U2))))
(
or
(
greaterThan
?L1 ?L2)
(
greaterThan
?T1 ?T2)))))
Mid-level-ontology.kif 17171-17191
工程
は
Decelerating
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
実数
実数
,
実数
,
実数
,
エンティティー
and
エンティティー
AutonomousAgent
の
measure
は
実数
の
エンティティー
(s)
per
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
AutonomousAgent
の
measure
は
実数
の
エンティティー
(s)
per
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 10025-10046
オブジェクト
は
Diuretic
の
instance
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
時間間隔
は
Urination
の
instance
では %n
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
Urination
の
instance
では %n
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
motion
より
earlier
happens %n{ない}
motion
は
時間間隔
より
earlier
happens %n{ない}
測定単位
は
UnitOfVolume
の
instance
では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
ステートメント
実数
は
実数
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?D
Dune
)
(
height
?D
(
MeasureFn
?N
Centimeter
)))
(
greaterThan
?D 7.0))
Geography.kif 4401-4405
自己接続オブジェクト
は
Dune
の
instance
では %n
自己接続オブジェクト
の
height
は
実数
の
Centimeter
(s) では %n
自己接続オブジェクト
は 7.0 より
greater
では %n
(=>
(
and
(
instance
?D
Increasing
)
(
patient
?D ?OBJ))
(
exists
(?N1 ?N2 ?T1 ?T2 ?U)
(
and
(
earlier
?T1 ?T2)
(
holdsDuring
?T1
(
measure
?OBJ
(
MeasureFn
?N1 ?U)))
(
holdsDuring
?T2
(
measure
?OBJ
(
MeasureFn
?N2 ?U)))
(
greaterThan
?N1 ?N2))))
Merge.kif 10899-10912
工程
は
増加
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
実数
実数
,
時間間隔
,
時間間隔
and
エンティティー
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
エンティティー
の
measure
は
実数
の
エンティティー
(s) では %n は
時間間隔
の
during
holds %n{ない}
エンティティー
の
measure
は
実数
の
エンティティー
(s) では %n は
時間間隔
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?DUSTSTORM
DustStorm
)
(
instance
?WIND
Wind
)
(
subProcess
?DUSTSTORM ?WIND))
(
exists
(?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
(
and
(
instance
?A1
LandArea
)
(
eventLocated
?WIND ?A1)
(
surfaceWindSpeed
?A1
(
MeasureFn
?STRONG
KnotUnitOfSpeed
))
(
greaterThan
?STRONG 30.0)
(
instance
?TRANSLOCATE
Translocation
)
(
subProcess
?TRANSLOCATE ?DUSTSTORM)
(
objectTransferred
?TRANSLOCATE ?PM)
(
objectTransferred
?TRANSLOCATE ?SAND)
(
instance
?PM
ParticulateMatter
)
(
instance
?SAND
Sand
)
(
instance
?A2
LandArea
)
(
destination
?TRANSLOCATE ?A2)
(
not
(
overlapsSpatially
?A1 ?A2)))))
Weather.kif 1275-1296
工程
は
DustStorm
の
instance
では %n
工程
は
Wind
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
移動
オブジェクト
,
オブジェクト
,
オブジェクト
,
オブジェクト
and
実数
オブジェクト
は
土地面積
の
instance
では %n
eventLocated
工程
and
オブジェクト
surfaceWindSpeed
オブジェクト
and
実数
の
KnotUnitOfSpeed
(s)
実数
は 30.0 より
greater
では %n
移動
は
Translocation
の
instance
では %n
移動
は
工程
% の
subprocess
では %n
objectTransferred
移動
and
オブジェクト
objectTransferred
移動
and
オブジェクト
オブジェクト
は
ParticulateMatter
の
instance
では %n
オブジェクト
は
Sand
の
instance
では %n
オブジェクト
は
土地面積
の
instance
では %n
移動
は
オブジェクト
に
end
s %n{ない}
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
and
(
instance
?Downtick
Downtick
)
(
patient
?Downtick ?Stock)
(
equal
(
WhenFn
?Downtick) ?Time1)
(
instance
?U
UnitOfCurrency
)
(
price
?Stock
(
MeasureFn
?Price1 ?U) ?Time1))
(
exists
(?Transaction ?Time2 ?Price2)
(
and
(
instance
?Transaction
StockMarketTransaction
)
(
patient
?Transaction ?Stock)
(
equal
(
WhenFn
?Transaction) ?Time2)
(
meetsTemporally
?Time2 ?Time1)
(
price
?Stock
(
MeasureFn
?Price2 ?U) ?Time2)
(
greaterThan
?Price2 ?Price1))))
FinancialOntology.kif 3234-3250
工程
は
Downtick
の
instance
では %n
物理
は
工程
の
patient
では %n
工程
の
time
の existence は
AutonomousAgent
と
equal
では %n
測定単位
は
UnitOfCurrency
の
instance
では %n
price
物理
,
実数
の
測定単位
(s) and
AutonomousAgent
工程
AutonomousAgent
and
実数
工程
は
StockMarketTransaction
の
instance
では %n
物理
は
工程
の
patient
では %n
工程
の
time
の existence は
AutonomousAgent
と
equal
では %n
AutonomousAgent
は
AutonomousAgent
に
meet
s %n{ない}
price
物理
,
実数
の
測定単位
(s) and
AutonomousAgent
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?E
Motion
)
(
instance
?T
Tremor
)
(
instance
?D
Damper
)
(
patient
?T ?O)
(
part
?D ?O)
(
causes
?E ?T)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
WhenFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U))))
(
greaterThan
?A1 ?A2))
Cars.kif 777-792
工程
は
motion
の
instance
では %n
工程
は
Tremor
の
instance
では %n
オブジェクト
は
Damper
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
オブジェクト
の
part
では %n
工程
は
工程
を
cause
s %n{ない}
エンティティー
は
UnitOfLength
の
instance
では %n
physicalAmplitude
工程
and
実数
の
エンティティー
(s) は
工程
の
time
の existence の
during
holds %n{ない}
physicalAmplitude
工程
and
実数
の
エンティティー
(s) は
工程
の すぐ
after
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?EC
EngineChoke
)
(
holdsDuring
?FSC1
(
attribute
?EC
DeviceOn
))
(
holdsDuring
?FSC2
(
attribute
?EC
DeviceOff
))
(
instance
?C
EngineCylinder
)
(
capacity
?C ?M)
(
instance
?FSC1
FourStrokeCompression
)
(
instance
?FSC2
FourStrokeCompression
)
(
eventLocated
?FSC1 ?C)
(
eventLocated
?FSC2 ?C)
(
instance
?A1
Air
)
(
instance
?F1
Fuel
)
(
part
?A1 ?MIX1)
(
part
?F1 ?MIX1)
(
measure
?MIX1 ?M)
(
instance
?A2
Air
)
(
instance
?F2
Fuel
)
(
part
?A2 ?MIX2)
(
part
?F2 ?MIX2)
(
measure
?MIX2 ?M)
(
instance
?U
UnitOfMeasure
)
(
measure
?A1
(
MeasureFn
?A1M ?U))
(
measure
?A2
(
MeasureFn
?A2M ?U))
(
measure
?F1
(
MeasureFn
?F1M ?U))
(
measure
?F2
(
MeasureFn
?F2M ?U)))
(
greaterThan
(
DivisionFn
?A2M ?F2M)
(
DivisionFn
?A1M ?F1M)))
Cars.kif 1314-1348
エンティティー
は
EngineChoke
の
instance
では %n
DeviceOn
は
エンティティー
の
attribute
では %n は
工程
の
during
holds %n{ない}
DeviceOff
は
エンティティー
の
attribute
では %n は
工程
の
during
holds %n{ない}
自己接続オブジェクト
は
EngineCylinder
の
instance
では %n
capacity
自己接続オブジェクト
and
一定量
工程
は
FourStrokeCompression
の
instance
では %n
工程
は
FourStrokeCompression
の
instance
では %n
eventLocated
工程
and
自己接続オブジェクト
eventLocated
工程
and
自己接続オブジェクト
オブジェクト
は
Air
の
instance
では %n
オブジェクト
は
Fuel
の
instance
では %n
オブジェクト
は
一定量
IX1 の
part
では %n
オブジェクト
は
一定量
IX1 の
part
では %n
一定量
IX1 の
measure
は
一定量
では %n
オブジェクト
は
Air
の
instance
では %n
オブジェクト
は
Fuel
の
instance
では %n
オブジェクト
は
一定量
IX2 の
part
では %n
オブジェクト
は
一定量
IX2 の
part
では %n
一定量
IX2 の
measure
は
一定量
では %n
測定単位
は
測定単位
の
instance
では %n
オブジェクト
の
measure
は
オブジェクト
M の
測定単位
(s) では %n
オブジェクト
の
measure
は
オブジェクト
M の
測定単位
(s) では %n
オブジェクト
の
measure
は
オブジェクト
M の
測定単位
(s) では %n
オブジェクト
の
measure
は
オブジェクト
M の
測定単位
(s) では %n
オブジェクト
M +
オブジェクト
M は
オブジェクト
M +
オブジェクト
M より
greater
では %n
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
maxCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V2 ?V1)))))
Cars.kif 1898-1917
工程
は
EngineCycle
の
instance
では %n
オブジェクト
は
InternalCombustionEngine
の
instance
では %n
オブジェクト
は
CombustionChamber
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
eventLocated
工程
and
オブジェクト
エンティティー
は
UnitOfVolume
の
instance
では %n
maxCylinderVolume
オブジェクト
and
実数
の
エンティティー
(s) は
工程
の
time
の existence の
during
holds %n{ない}
実数
時間間隔
時間間隔
は
工程
の
time
の existence の
during
に takes %n{ない}
オブジェクト
の
measure
は
実数
の
エンティティー
(s) では %n は
時間間隔
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
minCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V1 ?V2)))))
Cars.kif 1868-1887
工程
は
EngineCycle
の
instance
では %n
オブジェクト
は
InternalCombustionEngine
の
instance
では %n
オブジェクト
は
CombustionChamber
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
eventLocated
工程
and
オブジェクト
エンティティー
は
UnitOfVolume
の
instance
では %n
minCylinderVolume
オブジェクト
and
実数
の
エンティティー
(s) は
工程
の
time
の existence の
during
holds %n{ない}
実数
時間間隔
時間間隔
は
工程
の
time
の existence の
during
に takes %n{ない}
オブジェクト
の
measure
は
実数
の
エンティティー
(s) では %n は
時間間隔
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?P
Piston
)
(
instance
?U
UnitOfLength
)
(
part
?P ?E)
(
patient
?EC ?P)
(
eventLocated
?EC ?E)
(
pistonStroke
?E
(
MeasureFn
?LM ?U)))
(
not
(
exists
(?T1 ?T2 ?L1 ?L2 ?D)
(
and
(
during
?T1
(
WhenFn
?EC))
(
during
?T2
(
WhenFn
?EC))
(
holdsDuring
?T1
(
located
?P ?L1))
(
holdsDuring
?T2
(
located
?P ?L2))
(
distance
?L1 ?L2
(
MeasureFn
?D ?U))
(
greaterThan
?D ?LM)))))
Cars.kif 1943-1965
工程
は
EngineCycle
の
instance
では %n
Engine
は
InternalCombustionEngine
の
instance
では %n
オブジェクト
は
Piston
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
オブジェクト
は
Engine
の
part
では %n
オブジェクト
は
工程
の
patient
では %n
eventLocated
工程
and
Engine
pistonStroke
Engine
and
実数
の
測定単位
(s)
時間間隔
時間間隔
,
物理
,
物理
and
実数
時間間隔
は
工程
の
time
の existence の
during
に takes %n{ない}
時間間隔
は
工程
の
time
の existence の
during
に takes %n{ない}
オブジェクト
は
物理
に
located
して %n は
時間間隔
の
during
holds %n{ない}
オブジェクト
は
物理
に
located
して %n は
時間間隔
の
during
holds %n{ない}
物理
と
物理
の
distance
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?EG
EngineGovernor
)
(
instance
?E
Engine
)
(
connectedEngineeringComponents
?EG ?E)
(
governorSpeed
?E
(
MeasureFn
?S
MilesPerHour
)))
(
hasPurpose
?EG
(
not
(
exists
(?R ?P ?M)
(
and
(
instance
?P
Device
)
(
part
?P ?E)
(
instance
?R
Rotating
)
(
holdsDuring
(
WhenFn
?R)
(
and
(
measure
?P
(
MeasureFn
?M
MilesPerHour
))
(
greaterThan
?M ?S))))))))
Cars.kif 2930-2948
エンジニアリング部品
は
EngineGovernor
の
instance
では %n
エンジニアリング部品
は
Engine
の
instance
では %n
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
governorSpeed
エンジニアリング部品
and
実数
の
MilesPerHour
(s)
エンジニアリング部品
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
デバイス
の
instance
では %n
エンティティー
は
エンジニアリング部品
の
part
では %n
エンティティー
は
Rotating
の
instance
では %n
エンティティー
の
measure
は
エンティティー
の
MilesPerHour
(s) では %n
エンティティー
は
実数
より
greater
では %n は
エンティティー
の
time
の existence の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?EG
EngineGovernor
)
(
instance
?V
Vehicle
)
(
connectedEngineeringComponents
?EG ?V)
(
governorSpeed
?E
(
MeasureFn
?S
MilesPerHour
)))
(
hasPurpose
?EG
(
not
(
exists
(?T ?M)
(
and
(
instance
?T
Translocation
)
(
holdsDuring
(
WhenFn
?T)
(
and
(
measure
?V
(
MeasureFn
?M
MilesPerHour
))
(
greaterThan
?M ?S))))))))
Cars.kif 2957-2973
エンジニアリング部品
は
EngineGovernor
の
instance
では %n
エンジニアリング部品
は
Vehicle
の
instance
では %n
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
governorSpeed
SpeedGovernor
and
実数
の
MilesPerHour
(s)
エンジニアリング部品
は
エンティティー
エンティティー
エンティティー
は
Translocation
の
instance
では %n
エンジニアリング部品
の
measure
は
エンティティー
の
MilesPerHour
(s) では %n
エンティティー
は
実数
より
greater
では %n は
エンティティー
の
time
の existence の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?ELECTION
PopularElection
)
(
electionWinner
?ELECTION ?POSITION ?PERSON1)
(
voteFractionReceived
?ELECTION ?POSITION ?PERSON1 ?NUMBER1)
(
voteFractionReceived
?ELECTION ?POSITION ?PERSON2 ?NUMBER2)
(
not
(
equal
?PERSON1 ?PERSON2)))
(
greaterThan
?NUMBER1 ?NUMBER2))
Government.kif 1893-1900
Election
は
PopularElection
の
instance
では %n
electionWinner
Election
,
社会的役割
and
AutonomousAgent
voteFractionReceived
Election
,
社会的役割
,
AutonomousAgent
and
実数
voteFractionReceived
Election
,
社会的役割
,
AutonomousAgent
and
実数
AutonomousAgent
は
AutonomousAgent
と
equal
では
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?EVAP
Evaporating
)
(
boilingPoint
?CLASS
(
MeasureFn
?BOILVAL ?MEAS))
(
instance
?OBJ ?CLASS)
(
measure
?OBJ
(
MeasureFn
?VAL ?MEAS))
(
instance
?MEAS
UnitOfTemperature
)
(
patient
?EVAP ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
greaterThan
?BOILVAL ?VAL)
(
holdsDuring
(
BeginFn
(
WhenFn
?EVAP))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?EVAP))
(
attribute
?PART
Gas
)))))
Merge.kif 13953-13966
工程
は
Evaporating
の
instance
では %n
boilingPoint
純物質
and
実数
の
測定単位
(s)
オブジェクト
は
純物質
の
instance
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfTemperature
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
実数
は
実数
より
greater
では %n
Liquid
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
Gas
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?F
Flooding
)
(
eventLocated
?F ?P))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?F))
(
waterDepth
?P
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?F))
(
waterDepth
?P
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L2 ?L1))))
Mid-level-ontology.kif 17585-17600
工程
は
Flooding
の
instance
では %n
eventLocated
工程
and
オブジェクト
実数
実数
and
エンティティー
エンティティー
は
UnitOfLength
の
instance
では %n
waterDepth
オブジェクト
and
実数
の
エンティティー
(s) は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
waterDepth
オブジェクト
and
実数
の
エンティティー
(s) は
工程
の
time
の existence の
end
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?G
SpeedGovernor
)
(
governorSpeed
?V
(
MeasureFn
?S
MilesPerHour
))
(
connectedEngineeringComponents
?G ?V))
(
hasPurpose
?G
(
not
(
exists
(?SP2)
(
and
(
measure
?V
(
MeasureFn
?SP2
MilesPerHour
))
(
greaterThan
?SP2 ?S))))))
Cars.kif 2909-2921
エンジニアリング部品
は
SpeedGovernor
の
instance
では %n
governorSpeed
エンジニアリング部品
and
実数
の
MilesPerHour
(s)
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
エンジニアリング部品
は
実数
P2
エンジニアリング部品
の
measure
は
実数
P2 の
MilesPerHour
(s) では %n
実数
P2 は
実数
より
greater
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?H
Human
)
(
attribute
?H
Fever
))
(
exists
(?N)
(
and
(
measure
?H
(
MeasureFn
?N
FahrenheitDegree
))
(
greaterThan
?N 98.6))))
Mid-level-ontology.kif 6161-6169
オブジェクト
は
人[人間]
の
instance
では %n
Fever
は
オブジェクト
の
attribute
では %n
実数
オブジェクト
の
measure
は
実数
の
FahrenheitDegree
(s) では %n
実数
は 98.6 より
greater
では %n
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T
(
and
(
attribute
?T
Hyperthermia
)
(
coreBodyTemp
?H
(
MeasureFn
?N
CelsiusDegree
)))))
(
greaterThan
?N 38.3))
Medicine.kif 686-694
エンティティー
は
人[人間]
の
instance
では %n
Hyperthermia
は
時間位置
の
attribute
では %n
coreBodyTemp
エンティティー
and
実数
の
CelsiusDegree
(s) は
時間位置
の
during
holds %n{ない}
実数
は 38.3 より
greater
では %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
?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
?HEAT
Heating
)
(
patient
?HEAT ?OBJ))
(
exists
(?UNIT ?QUANT1 ?QUANT2)
(
and
(
instance
?UNIT
TemperatureMeasure
)
(
holdsDuring
(
BeginFn
(
WhenFn
?HEAT))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?HEAT))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT2))
(
greaterThan
?QUANT2 ?QUANT1))))
Merge.kif 10920-10933
工程
は
加熱
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
実数
and
実数
エンティティー
は
温度測定
の
instance
では %n
エンティティー
の
エンティティー
(s) は
実数
と
equal
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
の
エンティティー
(s) は
実数
と
equal
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?I
Insomnia
)
(
experiencer
?I ?H))
(
exists
(?S ?D ?D2)
(
and
(
instance
?S
Sleeping
)
(
experiencer
?S ?H)
(
duration
(
WhenFn
?S) ?D)
(
desires
?H
(
and
(
duration
(
WhenFn
?S) ?D2)
(
greaterThan
?D2 ?D))))))
Mid-level-ontology.kif 16447-16459
工程
は
Insomnia
の
instance
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
工程
時間分
and
時間分
2
工程
は
Sleeping
の
instance
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
工程
の
time
の existence の
duration
は
時間分
では %n
認識エージェント
が
工程
の
time
の existence の
duration
は
時間分
2 では %n
時間分
2 は
時間分
より
greater
では %n を
desire
s %n{ない}
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N1 ?N2))
Medicine.kif 2336-2351
工程
は
GravesDisease
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
人[人間]
の
instance
では %n
オブジェクト
は
ThyroidHormone
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
オブジェクト
は
人[人間]
の
instance
では %n
オブジェクト
は
ThyroidHormone
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
Healthy
は
オブジェクト
の
attribute
では %n
実数
は
実数
より
greater
では %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