MeasureFn
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30662-30683
如果
Dieting
是
施事体
的
attribute
在
时距
holdsDuring
和
Dieting
不 是
那个 施事体
的
attribute
在
另一个 时距
holdsDuring
和
客体
是
Meal
的
instance
和
过程
是
进食
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
resource
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 客体
的
measure
是
实数
卡路里
和
另一个 客体
是
Meal
的
instance
和
另一个 过程
是
进食
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 客体
是
那个 另外 过程
的
resource
和
那个 另外 过程
出现 的
time
在
那个 另外 时距
时段内发生 和
那个 另外 客体
的
measure
是
另一个 实数
卡路里
,
然后
那个 另外 实数
是
greaterThan
那个 实数
的声明 has
容易
的语气
(=>
(
and
(
incomeEarned
?Agent
(
MeasureFn
?Income ?CU) ?Activity)
(
amountCharged
?Tax
(
MeasureFn
?TaxAmount ?CU))
(
causes
?Activity ?Tax)
(
equal
?ATIncome
(
SubtractionFn
?Income ?TaxAmount)))
(
afterTaxIncome
?Agent
(
MeasureFn
?ATIncome ?CU) ?Activity))
FinancialOntology.kif 3331-3341
如果
人类
是 对于 %3 赚的
income
和
实数
测量单位
是在
收费
的
amount
charged
和
机构性过程
causes
那个 收费
和
另一个 实数
equal
(
第三 实数
和
那个 实数
),
然后 从
那个 机构性过程
由
那个 人类
引申的
after
tax
income
是
那个 另外 实数
那个 测量单位
(=>
(
and
(
instance
(
LatitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 90.0))
Geography.kif 427-431
如果 @ROW 的
region
方向属性
是
地区
的
instance
和 (@ROW) 的第 1 几个元素
equal
实数
圆周角度
,
然后
那个 实数
是
lessThanOrEqualTo
90.0
(=>
(
and
(
instance
(
LongitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 180.0))
Geography.kif 467-474
如果 在 @ROW
方向属性
的
meridian
是
地区
的
instance
和 (@ROW) 的第 1 几个元素
equal
实数
圆周角度
,
然后
那个 实数
是
lessThanOrEqualTo
180.0
(=>
(
and
(
instance
?A
Americano
)
(
part
?E ?A)
(
part
?W ?A)
(
instance
?E
Espresso
)
(
instance
?W
DrinkingWater
)
(
measure
?W
(
MeasureFn
90.0
CelsiusDegree
))
(
mixtureRatio
?E ?W ?V1 ?V2
Liter
))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)))
Food.kif 1321-1332
如果
客体
是
Americano
的
instance
和
物质
是
那个 客体
的
part
和
另一个 物质
是
那个 客体
的
part
和
那个 物质
是
Espresso
的
instance
和
那个 另外 物质
是
饮用水
的
instance
和
那个 另外 物质
的
measure
是 90.0
摄氏度
和
mixtureRatio
那个 物质
,
那个 另外 物质
,
实数
,
另一个 实数
and
升
,
然后
approximateValue
那个 实数
and 0.03 和
approximateValue
那个 另外 实数
and 0.15
(=>
(
and
(
instance
?ADULT
HumanAdult
)
(
height
?ADULT
(
MeasureFn
?HEIGHT
Inch
)))
(
not
(
greaterThan
?HEIGHT 120.0)))
Mid-level-ontology.kif 211-217
如果
自身连接物体
是
人类成人
的
instance
和
那个 自身连接物体
的
height
是
实数
英寸
,
然后
那个 实数
不 是
greaterThan
120.0
(=>
(
and
(
instance
?AGENT ?CLASS)
(
lethalDose
?CLASS
(
MeasureFn
?NUMBER ?UNIT))
(
greaterThan
?NUMBER 0.0))
(
instance
?AGENT
LifeThreateningAgent
))
WMD.kif 1017-1023
如果
实体
是
有点 生化剂
的
instance
和
实数
测量单位
是
有点 生化剂
的
lethal
剂量 和
那个 实数
是
greaterThan
0.0,
然后
那个 实体
是
危及生命的特工
的
instance
(=>
(
and
(
instance
?AREA
(
MaritimeClaimsTerritorialSeaFn
?PLACE))
(
width
?AREA
(
MeasureFn
?WIDTH ?UNIT))
(
distance
?OBJ ?PLACE
(
MeasureFn
?DISTANCE ?UNIT))
(
lessThanOrEqualTo
?DISTANCE ?WIDTH))
(
located
?OBJ ?AREA))
Geography.kif 874-880
如果
客体
是
maritime
宣称 1% 的海洋领土 的
instance
和
那个 客体
的
width
是
实数
测量单位
和
物理
和
地区
的
distance
是
另一个 实数
那个 测量单位
和
那个 另外 实数
是
lessThanOrEqualTo
那个 实数
,
然后
那个 物理
是
located
在
那个 客体
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationHighPointFn
?AREA) ?AREA)
(
elevation
(
ElevationHighPointFn
?AREA)
(
MeasureFn
?ELEV1 ?UNIT)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationHighPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?UNIT))
(
greaterThan
?ELEV2 ?ELEV1)))))
Geography.kif 1964-1975
如果
地理区域
是
地理区域
的
instance
和
那个 地理区域
的
elevation
高点 是
那个 地理区域
的
geographic
次要地区 和
实数
测量单位
是
那个 地理区域
的
elevation
高点 的
elevation
,
然后 不存在
另一个 地理区域
和
另一个 实数
这样
那个 另外 地理区域
是
那个 地理区域
的
geographic
次要地区 和
那个 另外 地理区域
不
equal
那个 地理区域
的
elevation
高点 和
那个 另外 实数
那个 测量单位
是
那个 另外 地理区域
的
elevation
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationLowPointFn
?AREA) ?AREA)
(
instance
?U
UnitOfLength
)
(
elevation
(
ElevationLowPointFn
?AREA)
(
MeasureFn
?ELEV1 ?U)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationLowPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?U))
(
lessThan
?ELEV2 ?ELEV1)))))
Geography.kif 1940-1954
如果
地理区域
是
地理区域
的
instance
和
那个 地理区域
的
elevation
低点 是
那个 地理区域
的
geographic
次要地区 和
测量单位
是
UnitOfLength
的
instance
和
实数
那个 测量单位
是
那个 地理区域
的
elevation
低点 的
elevation
,
然后 不存在
另一个 地理区域
和
另一个 实数
这样
那个 另外 地理区域
是
那个 地理区域
的
geographic
次要地区 和
那个 另外 地理区域
不
equal
那个 地理区域
的
elevation
低点 和
那个 另外 实数
那个 测量单位
是
那个 另外 地理区域
的
elevation
和
那个 另外 实数
是
lessThan
那个 实数
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
10.0 ?TEMP))
(
climateTypeInArea
?AREA
PolarClimateZone
))
Geography.kif 1575-1582
如果
地理区域
是
地理区域
的
instance
和
时距
是
月
的
instance
和 1 对于 %3 在 %2 周期的
average
温度 和 10.0 是
greaterThan
实数
,
然后
极地气候区
是
那个 地理区域
地区的
climate
类别
(=>
(
and
(
instance
?AUCTIONING
Auctioning
)
(
instance
?BIDDER1
AutonomousAgent
)
(
instance
?BIDDER2
AutonomousAgent
)
(
instance
?ITEM
Object
)
(
instance
?U
UnitOfCurrency
)
(
patient
?AUCTIONING ?ITEM)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER1 ?U) ?BIDDER1)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER2 ?U) ?BIDDER2)
(
greaterThan
?OFFER1 ?OFFER2))
(
destination
?AUCTIONING ?BIDDER1))
UXExperimentalTerms.kif 354-365
如果
过程
是
Auctioning
的
instance
和
施事体
是
施事体
的
instance
和
另一个 施事体
是
施事体
的
instance
和
客体
是
客体
的
instance
和
测量单位
是
UnitOfCurrency
的
instance
和
那个 客体
是
那个 过程
的
patient
和
那个 施事体
bids
实数
那个 测量单位
對於
那个 客体
和
那个 另外 施事体
bids
另一个 实数
那个 测量单位
對於
那个 客体
和
那个 实数
是
greaterThan
那个 另外 实数
,
然后
那个 过程
在
那个 施事体
结束
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
minimumBalance
?Account
OpeningAnAccount
(
MeasureFn
?Balance ?U))
(
instance
?U
UnitOfCurrency
))
(
exists
(?Payment ?Date ?Amount)
(
and
(
destination
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?U))
(
greaterThanOrEqualTo
?Amount ?Balance)
(
agreementEffectiveDate
?Account ?Date)
(
date
?Payment ?Date))))
FinancialOntology.kif 686-699
如果
金融账户
是
金融账户
的
instance
和
那个 金融账户
是 对于
实数
测量单位
的
minimum
金额
开户
和
那个 测量单位
是
UnitOfCurrency
的
instance
,
然后 有存在
金融交易
,
时点
, and 和
另一个 实数
这样
那个 金融交易
在
那个 金融账户
的
currency
结束 和
那个 另外 实数
那个 测量单位
是
那个 金融交易
的
transaction
总额 和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 时点
是
那个 金融账户
的
agreement
生效日期 和
那个 金融交易
的
date
是
那个 时点
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
minimumBalance
?Account
UsingAnAccount
(
MeasureFn
?Balance ?U))
(
instance
?U
UnitOfCurrency
)
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Amount ?U))
(
lessThan
?Amount ?Balance))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
date
?Penalty ?Date)
(
destination
?Penalty
(
CurrencyFn
?Account)))))
FinancialOntology.kif 701-714
如果
金融账户
是
金融账户
的
instance
和
那个 金融账户
是 对于
实数
测量单位
的
minimum
金额
使用帐户
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 金融账户
对于 %3 的
current
帐户存款 和
另一个 实数
是
lessThan
那个 实数
,
然后 有存在
过程
这样
那个 过程
是
罚款
的
instance
和
那个 过程
的
date
是
日
和
那个 过程
在
那个 金融账户
的
currency
结束
(=>
(
and
(
instance
?Account
LiabilityAccount
)
(
minimumPayment
?Account
(
MeasureFn
?MinPayment ?U)
MonthDuration
)
(
instance
?U
UnitOfCurrency
)
(
exists
(?Payment ?Month)
(
and
(
instance
?Month
Month
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
paymentsPerPeriod
?Account
(
MeasureFn
?Amount ?U) ?Month)
(
lessThan
?Amount ?MinPayment))))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account)))))
FinancialOntology.kif 759-775
如果
责任账户
是
责任账户
的
instance
和
那个 责任账户
是 對於
月持续时间
的
minimum
費用
实数
测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和 有存在
过程
和
时距
这样
那个 时距
是
月
的
instance
和
那个 过程
在
那个 责任账户
的
currency
结束 和
那个 责任账户
payments
对于
那个 时距
每周期
另一个 实数
那个 测量单位
和
那个 另外 实数
是
lessThan
那个 实数
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
罚款
的
instance
和
那个 另外 过程
在
那个 责任账户
的
currency
结束
(=>
(
and
(
instance
?B
Blood
)
(
attribute
?B
DeoxygenatedBlood
)
(
concentration
(
MeasureFn
?N
Milliliter
)
CarbonDioxide
(
MeasureFn
100
Milliliter
) ?B))
(
approximateValue
?N 4))
Medicine.kif 5775-5782
如果
混合物
是
血液
的
instance
和
DeoxygenatedBlood
是
那个 混合物
的
attribute
和
concentration
实数
Milliliter
,
CarbonDioxide
, 100
Milliliter
and
那个 混合物
,
然后
approximateValue
那个 实数
and 4
(=>
(
and
(
instance
?B
Blood
)
(
attribute
?B
DeoxygenatedBlood
)
(
concentration
(
MeasureFn
?N
Milliliter
)
Oxygen
(
MeasureFn
100
Milliliter
) ?B))
(
approximateValue
?N 14))
Medicine.kif 5766-5773
如果
混合物
是
血液
的
instance
和
DeoxygenatedBlood
是
那个 混合物
的
attribute
和
concentration
实数
Milliliter
,
氧
, 100
Milliliter
and
那个 混合物
,
然后
approximateValue
那个 实数
and 14
(=>
(
and
(
instance
?B
Blood
)
(
attribute
?B
OxygenatedBlood
)
(
concentration
(
MeasureFn
?N
Milliliter
)
CarbonDioxide
(
MeasureFn
100
Milliliter
) ?B))
(
approximateValue
?N 5))
Medicine.kif 5752-5759
如果
混合物
是
血液
的
instance
和
OxygenatedBlood
是
那个 混合物
的
attribute
和
concentration
实数
Milliliter
,
CarbonDioxide
, 100
Milliliter
and
那个 混合物
,
然后
approximateValue
那个 实数
and 5
(=>
(
and
(
instance
?B
Blood
)
(
attribute
?B
OxygenatedBlood
)
(
concentration
(
MeasureFn
?N
Milliliter
)
Oxygen
(
MeasureFn
100
Milliliter
) ?B))
(
approximateValue
?N 20))
Medicine.kif 5743-5750
如果
混合物
是
血液
的
instance
和
OxygenatedBlood
是
那个 混合物
的
attribute
和
concentration
实数
Milliliter
,
氧
, 100
Milliliter
and
那个 混合物
,
然后
approximateValue
那个 实数
and 20
(=>
(
and
(
instance
?B
Blood
)
(
instance
?SL
RingersLactate
)
(
tonicity
?SL ?B
(
MeasureFn
?N
Pascal
)))
(
approximateValue
?N 0.0))
Medicine.kif 5850-5855
如果
客体
是
血液
的
instance
和
另一个 客体
是
RingersLactate
的
instance
和
tonicity
那个 另外 客体
,
那个 客体
and
实数
帕斯卡
,
然后
approximateValue
那个 实数
and 0.0
(=>
(
and
(
instance
?B
Brine
)
(
measure
?B
(
MeasureFn
1.0
Liter
))
(
part
?SALT ?B)
(
instance
?SALT
SodiumChloride
)
(
measure
?SALT
(
MeasureFn
?R
Gram
)))
(
and
(
greaterThan
?R 35.0)
(
lessThanOrEqualTo
?R 260.0)))
Geography.kif 2873-2884
如果
客体
是
Brine
的
instance
和
那个 客体
的
measure
是 1.0
升
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
盐
的
instance
和
那个 另外 客体
的
measure
是
实数
公克
,
然后
那个 实数
是
greaterThan
35.0 和
那个 实数
是
lessThanOrEqualTo
260.0
(=>
(
and
(
instance
?BOILING
Boiling
)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
patient
?BOILING ?SUBSTANCE)
(
holdsDuring
(
WhenFn
?BOILING)
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
))
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
Merge.kif 13831-13839
如果
过程
是
沸腾
的
instance
和
实数
测量单位
是
有点 純物质
的
boiling
点 和
实体
是
有点 純物质
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 实体
的
measure
是
另一个 实数
那个 测量单位
在
那个 过程
出现 的
time
holdsDuring
和
那个 测量单位
是
UnitOfTemperature
的
instance
,
然后
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
(=>
(
and
(
instance
?BOTTLE
Bottle
)
(
bottom
?BOTTOM ?BOTTLE)
(
top
?TOP ?BOTTLE)
(
instance
?U
UnitOfLength
)
(
width
?BOTTOM
(
MeasureFn
?WIDTH1 ?U))
(
width
?TOP
(
MeasureFn
?WIDTH2 ?U)))
(
lessThan
?WIDTH2 ?WIDTH1))
Mid-level-ontology.kif 4698-4708
如果
自身连接物体
是
瓶子
的
instance
和
那个 自身连接物体
的
bottom
是
另一个 自身连接物体
和
第三 自身连接物体
是
那个 自身连接物体
的
top
和
测量单位
是
UnitOfLength
的
instance
和
那个 另外 自身连接物体
的
width
是
实数
那个 测量单位
和
那个 第三 自身连接物体
的
width
是
另一个 实数
那个 测量单位
,
然后
那个 另外 实数
是
lessThan
那个 实数
(=>
(
and
(
instance
?Bond
ZeroCouponBond
)
(
maturityDate
(
AccountFn
?Bond) ?Date)
(
possesses
?BondHolder ?Bond)
(
principalAmount
(
AccountFn
?Bond)
(
MeasureFn
?Principal ?CUNIT))
(
agreementPeriod
(
AccountFn
?Bond) ?Period)
(
interestEarned
(
AccountFn
?Bond)
(
MeasureFn
?Interest ?CUNIT) ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
exists
(?Payment)
(
and
(
instance
?Payment
Payment
)
(
destination
?Payment ?BondHolder)
(
origin
?Payment
(
AccountFn
?Bond))
(
transactionAmount
?Payment
(
MeasureFn
?Total ?CUNIT)))))
FinancialOntology.kif 2333-2355
如果
金融资产
是
零息债券
的
instance
和
日
是
那个 金融资产
的帐号 的
maturity
日期 和
那个 金融资产
Holder
possesses
那个 金融资产
和
实数
测量单位
是
那个 金融资产
的帐号 的
principal
总额 和
时距
是
那个 金融资产
的帐号 的
agreement
週期 和
那个 金融资产
的帐号 是 对于 %3 的赚取
interest
和
另一个 实数
equal
(
那个 实数
和
第三 实数
),
然后 有存在
金融交易
这样
那个 金融交易
是
付款
的
instance
和
那个 金融交易
在
那个 金融资产
Holder 结束 和
那个 金融资产
的帐号 是
那个 金融交易
的源头 和
那个 另外 实数
那个 测量单位
是
那个 金融交易
的
transaction
总额
(=>
(
and
(
instance
?C
Cappuccino
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
instance
?B
Bubble
)
(
top
?B ?M)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
approximateValue
?L 20.0)))
Food.kif 1285-1301
如果
客体
是
Cappuccino
的
instance
和
物质
是
那个 客体
的
part
和
另一个 物质
是
那个 客体
的
part
和
那个 物质
是
Espresso
的
instance
和
那个 另外 物质
是
MilkFoam
的
instance
和
mixtureRatio
那个 物质
,
那个 另外 物质
,
实数
,
另一个 实数
and
升
和
自身连接物体
是
那个 另外 物质
的
part
和
那个 自身连接物体
是
气泡
的
instance
和
那个 自身连接物体
是
那个 另外 物质
的
top
和
那个 自身连接物体
的
measure
是
第三 实数
毫米
,
然后
approximateValue
那个 实数
and 0.03 和
approximateValue
那个 另外 实数
and 0.15 和
approximateValue
那个 第三 实数
and 20.0
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