greaterThan
(=>
(
and
(
totalPipelineInArea
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?PIPE)
(
and
(
instance
?PIPE
Pipeline
)
(
located
?PIPE ?AREA))))
Transportation.kif 694-702
totalPipelineInArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfLength
の
instance
では %n
実数
は 0 より
greater
では %n
物理
物理
は
Pipeline
の
instance
では %n
物理
は
地理的地域
に
located
して %n
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
holdsDuring
?T
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))
(
instance
?H ?M)
(
greaterThan
(
MultiplicationFn
?N2 2.0) ?N)
(
lessThan
?N2
(
MultiplicationFn
0.8 ?N)))
(
holdsDuring
?T
(
attribute
?H
SevereBloodLoss
)))
Medicine.kif 5968-5982
typicalBloodVolume
哺乳動物
and
実数
の
測定単位
(s)
bloodVolume
エンティティー
and
実数
2 の
測定単位
(s) は
時間位置
の
during
holds %n{ない}
エンティティー
は
哺乳動物
の
instance
では %n
実数
2 + 2.0 は
実数
より
greater
では %n
実数
2 は 0.8 +
実数
より
less
では %n
SevereBloodLoss
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
viewedItemList
?USER ?LIST)
(
instance
?ACCESSING1
AccessingWebPage
)
(
instance
?ACCESSING2
AccessingWebPage
)
(
agent
?ACCESSING1 ?USER)
(
agent
?ACCESSING2 ?USER)
(
instance
?INDEX1
PositiveInteger
)
(
instance
?INDEX2
PositiveInteger
)
(
equal
(
ListOrderFn
?LIST ?INDEX1) ?ACCESSING1)
(
equal
(
ListOrderFn
?LIST ?INDEX2) ?ACCESSING2)
(
greaterThan
?INDEX1 ?INDEX2))
(
earlier
(
WhenFn
?ACCESSING2)
(
WhenFn
?ACCESSING1)))
UXExperimentalTerms.kif 799-817
viewedItemList
AutonomousAgent
and
リスト
工程
は
AccessingWebPage
の
instance
では %n
工程
は
AccessingWebPage
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
正の整数
は
正の整数
の
instance
では %n
正の整数
は
正の整数
の
instance
では %n
リスト
の
正の整数
th
element
は
工程
と
equal
では %n
リスト
の
正の整数
th
element
は
工程
と
equal
では %n
正の整数
は
正の整数
より
greater
では %n
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
(=>
(
holdsDuring
?T
(
and
(
maxDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3629-3642
maxDeviceOperatingTemp
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
UnitOfTemperature
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
DeviceOn
は
エンティティー
の
attribute
では %n
airTemperature
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
エンティティー
より
greater
では %n は
時間位置
の
during
holds %n{ない}
ステートメント
DeviceDamaged
は
エンティティー
の
attribute
では %n は
時間位置
の すぐ
after
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
holdsDuring
?T
(
and
(
maxDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3657-3670
maxDeviceStorageTemp
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
UnitOfTemperature
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
DeviceOff
は
エンティティー
の
attribute
では %n
airTemperature
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
エンティティー
より
greater
では %n は
時間位置
の
during
holds %n{ない}
ステートメント
DeviceDamaged
は
エンティティー
の
attribute
では %n は
時間位置
の すぐ
after
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
holdsDuring
?T
(
and
(
systolicBloodPressure
?H
(
MeasureFn
?NS
MmMercury
))
(
diastolicBloodPressure
?H
(
MeasureFn
?ND
MmMercury
))
(
greaterThan
90.0 ?NS)
(
greaterThan
60.0 ?ND)))
(
holdsDuring
?T
(
attribute
?H
LowBloodPressure
)))
Mid-level-ontology.kif 10469-10479
systolicBloodPressure
エンティティー
and
エンティティー
の
MmMercury
(s)
diastolicBloodPressure
エンティティー
and
エンティティー
の
MmMercury
(s) 90.0 は
エンティティー
より
greater
では %n 60.0 は
エンティティー
より
greater
では %n は
時間位置
の
during
holds %n{ない}
LowBloodPressure
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
holdsDuring
?T
(
and
(
systolicBloodPressure
?H
(
MeasureFn
?NS
MmMercury
))
(
diastolicBloodPressure
?H
(
MeasureFn
?ND
MmMercury
))
(
greaterThan
?NS 140.0)
(
greaterThan
?ND 90.0)))
(
holdsDuring
?T
(
attribute
?H
HighBloodPressure
)))
Mid-level-ontology.kif 10451-10461
systolicBloodPressure
エンティティー
and
エンティティー
の
MmMercury
(s)
diastolicBloodPressure
エンティティー
and
エンティティー
の
MmMercury
(s)
エンティティー
は 140.0 より
greater
では %n
エンティティー
は 90.0 より
greater
では %n は
時間位置
の
during
holds %n{ない}
HighBloodPressure
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
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