ImmediateFutureFn
(=>
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
attribute
?A
Injury
)))
Medicine.kif 104-111
如果
过程
是
受伤
的
instance
和
施事体
经历了
那个 过程
,
然后
Injury
是
那个 施事体
的
attribute
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?IRRIGATION
Irrigating
)
(
patient
?IRRIGATION ?AREA)
(
instance
?AREA
LandArea
))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?IRRIGATION))
(
attribute
?AREA
Dry
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?IRRIGATION))
(
attribute
?AREA
Damp
))))
Geography.kif 5711-5718
如果
过程
是
灌溉
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
土地面积
的
instance
,
然后
干
是
那个 实体
的
attribute
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
潮湿
是
那个 实体
的
attribute
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?JOIN))
(
employs
?ORG ?PERSON)))
Merge.kif 10620-10629
如果
过程
是
雇佣
的
instance
和
施事体
是
机构
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
,
然后
那个 施事体
employs
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Kill))
(
not
(
attribute
?Order
ActiveAgreement
))))
FinancialOntology.kif 2835-2842
如果
过程
是
取消订单
的
instance
和
实体
是
那个 过程
的
patient
,
然后
ActiveAgreement
不 是
那个 实体
的
attribute
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?Loan
CallableLoan
)
(
lender
?Loan ?Lender)
(
borrower
?Loan ?Borrower)
(
totalBalance
?Loan ?Amount)
(
instance
?Call
Call
)
(
agent
?Call ?Lender)
(
patient
?Call ?Loan))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
destination
?Payment ?Lender)
(
time
?Payment
(
ImmediateFutureFn
(
WhenFn
?Call)))
(
transactionAmount
?Payment ?Amount))) ?Borrower))
FinancialOntology.kif 1428-1443
如果
贷款
是
可赎回贷款
的
instance
和
有认知的主事
lends
那个 贷款
和
那个 贷款
是
另一个 有认知的主事
的
borrower
和
货币测量
是
那个 贷款
的
total
存款 和
过程
是
呼叫
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
那个 贷款
是
那个 过程
的
patient
,
然后
那个 另外 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
and
(
instance
?Loan
Loan
)
(
securedBy
?Loan ?Security)
(
lender
?Loan ?Bank)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Loan))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Bank ?Security)))
FinancialOntology.kif 1334-1343
如果
贷款
是
贷款
的
instance
和
抵押
是
那个 贷款
的
secured
和
有认知的主事
lends
那个 贷款
和
过程
是
财务违约
的
instance
和
那个 贷款
是
那个 过程
的
patient
,
然后
那个 有认知的主事
possesses
那个 抵押
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?MB
MeasuringBreathing
)
(
agent
?MB ?A)
(
instance
?L
Lung
)
(
part
?L ?P)
(
instance
?T
TimeInterval
)
(
during
?T
(
WhenFn
?MB))
(
duration
?T
MinuteDuration
)
(
patient
?MB ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MB))
(
exists
(?BR)
(
knows
?A
(
breathingRate
?L ?T ?BR)))))
Medicine.kif 466-482
如果
过程
是
MeasuringBreathing
的
instance
和
施事体
是
那个 过程
的
agent
和
客体
是
肺
的
instance
和
那个 客体
是
另一个 客体
的
part
和
时距
是
时距
的
instance
和
那个 时距
在
那个 过程
出现 的
time
时段内发生 和
那个 时距
的
duration
是
分钟
和
那个 另外 客体
是
那个 过程
的
patient
,
然后 有存在
实体
这样
那个 施事体
knows
breathingRate
那个 客体
,
那个 时距
and
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?MIT
BarMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Boy
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 69-85
如果
过程
是
BarMitzvah
的
instance
和
人类
是
那个 过程
的
patient
和
那个 人类
是
男孩
的
instance
和
那个 人类
是
群体
的
member
和
那个 群体
是
犹太教
的
instance
和
日
是
那个 人类
的
birthdate
和
那个 日
是
正整数
day
的
instance
,
然后 有存在
整数
和
时间位置
这样
那个 整数
是
整数
的
instance
和
那个 整数
equal
(
另一个 整数
和 13) 和
那个 时间位置
是
那个 正整数
day
的
instance
和
那个 过程
出现 的
time
equal
紧接
那个 时间位置
after
(=>
(
and
(
instance
?MIT
BatMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Girl
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 99-115
如果
过程
是
BatMitzvah
的
instance
和
人类
是
那个 过程
的
patient
和
那个 人类
是
女孩
的
instance
和
那个 人类
是
群体
的
member
和
那个 群体
是
犹太教
的
instance
和
日
是
那个 人类
的
birthdate
和
那个 日
是
正整数
day
的
instance
,
然后 有存在
整数
和
时间位置
这样
那个 整数
是
整数
的
instance
和
那个 整数
equal
(
另一个 整数
和 13) 和
那个 时间位置
是
那个 正整数
day
的
instance
和
那个 过程
出现 的
time
equal
紧接
那个 时间位置
after
(=>
(
and
(
instance
?MTP
MovingAwayFromPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))))
emotion.kif 1393-1411
如果
过程
是
MovingAwayFromPeople
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
实体
,
另一个 实体
,, ,
实数
, and 和
另一个 实数
这样
那个 实体
是
人类
的
instance
和
那个 另外 实体
是
UnitOfLength
的
instance
和
那个 过程
和
那个 施事体
的
distance
是
那个 实数
那个 另外 实体
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 过程
和
那个 施事体
的
distance
是
那个 另外 实数
那个 另外 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?MTP
MovingTowardsPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D1 ?D2))))
emotion.kif 1427-1445
如果
过程
是
MovingTowardsPeople
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
实体
,
另一个 实体
,, ,
实数
, and 和
另一个 实数
这样
那个 实体
是
人类
的
instance
和
那个 另外 实体
是
UnitOfLength
的
instance
和
那个 过程
和
那个 施事体
的
distance
是
那个 实数
那个 另外 实体
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 过程
和
那个 施事体
的
distance
是
那个 另外 实数
那个 另外 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
和
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?N
Nausea
)
(
experiencer
?N ?H))
(
believes
?H
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?N))
(
exists
(?V)
(
and
(
instance
?V
Vomiting
)
(
experiencer
?V ?H))))))
Mid-level-ontology.kif 21432-21443
如果
过程
是
Nausea
的
instance
和
有认知的主事
经历了
那个 过程
,
然后
那个 有认知的主事
believes
有存在
实体
这样
那个 实体
是
Vomiting
的
instance
和
那个 有认知的主事
经历了
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?P
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17638-17656
如果
时距
是
拉
的
instance
和
客体
是
那个 时距
的源头 和
施事体
是
那个 时距
的
agent
和
那个 施事体
是
located
在
那个 施事体
LOC 在
那个 时距
的开始
holdsDuring
和
那个 时距
在
另一个 实体
结束,
然后 有存在
第三 实体
,
第四 实体
, and 和
第五 实体
这样
那个 施事体
LOC 和
那个 另外 实体
的
distance
是
那个 第五 实体
那个 第四 实体
和
那个 施事体
LOC 和
那个 客体
的
distance
是
那个 第三 实体
那个 第四 实体
和
那个 第三 实体
是
greaterThan
那个 第五 实体
在 紧接
那个 时距
的开始
after
holdsDuring
(=>
(
and
(
instance
?P
Pushing
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17616-17634
如果
时距
是
Pushing
的
instance
和
客体
是
那个 时距
的源头 和
施事体
是
那个 时距
的
agent
和
那个 施事体
是
located
在
那个 施事体
LOC 在
那个 时距
的开始
holdsDuring
和
那个 时距
在
另一个 实体
结束,
然后 有存在
第三 实体
,
第四 实体
, and 和
第五 实体
这样
那个 施事体
LOC 和
那个 另外 实体
的
distance
是
那个 第五 实体
那个 第四 实体
和
那个 施事体
LOC 和
那个 客体
的
distance
是
那个 第三 实体
那个 第四 实体
和
那个 第三 实体
是
greaterThan
那个 第五 实体
在 紧接
那个 时距
的开始
after
holdsDuring
(=>
(
and
(
instance
?PROCESS
FreezingRain
)
(
patient
?PROCESS ?STUFF)
(
instance
?STUFF
Water
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?PROCESS))
(
attribute
?STUFF
Solid
)))
Weather.kif 1091-1096
如果
过程
是
冻雨
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
水
的
instance
,
然后
固体
是
那个 实体
的
attribute
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 408-424
如果
金融交易
是
付款
的
instance
和
金融账户
的
currency
是
那个 金融交易
的源头 和
那个 金融账户
是
金融账户
的
instance
和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 金融账户
对于 %3 的
current
帐户存款 和
另一个 实数
equal
(
第三 实数
和
那个 实数
),
然后
那个 金融账户
对于 %3 的
current
帐户存款
(=>
(
and
(
instance
?R
RelievingPain
)
(
patient
?R ?H))
(
and
(
exists
(?P1)
(
and
(
overlapsTemporally
(
WhenFn
?P1)
(
ImmediatePastFn
(
WhenFn
?R)))
(
instance
?P1
Pain
)
(
located
?P1 ?H)))
(
not
(
exists
(?P2)
(
and
(
overlapsTemporally
(
WhenFn
?P2)
(
ImmediateFutureFn
(
WhenFn
?R)))
(
instance
?P2
Pain
)
(
located
?P2 ?H))))))
Mid-level-ontology.kif 5779-5798
如果
过程
是
缓解疼痛
的
instance
和
客体
是
那个 过程
的
patient
,
然后 有存在
物理
这样 紧接
那个 过程
出现 的
time
before
时段 和
那个 物理
出现 的
time
重叠 和
那个 物理
是
痛
的
instance
和
那个 物理
是
located
在
那个 客体
和 不存在
另一个 物理
这样 紧接
那个 过程
出现 的
time
after
时段 和
那个 另外 物理
出现 的
time
重叠 和
那个 另外 物理
是
痛
的
instance
和
那个 另外 物理
是
located
在
那个 客体
(=>
(
and
(
instance
?SINKING
LandSubsidence
)
(
patient
?SINKING ?LAND)
(
instance
?LAND
LandArea
)
(
instance
?U
UnitOfLength
)
(
elevation
?LAND
(
MeasureFn
?HEIGHT1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?SINKING))
(
exists
(?HEIGHT2)
(
and
(
elevation
?LAND
(
MeasureFn
?HEIGHT2 ?U))
(
lessThan
?HEIGHT2 ?HEIGHT1)))))
Geography.kif 6779-6792
如果
过程
是
地面沉降
的
instance
和
客体
是
那个 过程
的
patient
和
那个 客体
是
土地面积
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
实数
那个 测量单位
是
那个 客体
的
elevation
,
然后 有存在
实体
这样
那个 实体
那个 测量单位
是
那个 客体
的
elevation
和
那个 实体
是
lessThan
那个 实数
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
exists
(?VAC)
(
and
(
instance
?VAC
Vaccine
)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?V)
(
contains
?H ?VAC))))))
WMD.kif 1071-1081
如果
过程
是
Vaccination
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
那个 过程
AC 这样
那个 过程
AC 是
Vaccine
的
instance
和 在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?VCS
VentedChestSeal
)
(
instance
?A
Attaching
)
(
objectTransferred
?A ?VCS)
(
destination
?A ?H))
(
hasPurpose
?VCS
(
exists
(?A ?L ?C ?H)
(
and
(
instance
?A
Air
)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
between
?L ?A ?C))
(
hasPurpose
?VCS
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
orientation
?A ?H
Outside
)))))))
Medicine.kif 853-875
如果
客体
是
VentedChestSeal
的
instance
和
转移
是
连接
的
instance
和
objectTransferred
那个 转移
and
那个 客体
和
那个 转移
在
实体
结束,
然后
那个 客体
的 目的 是 有存在
那个 转移
,
另一个 实体
,, ,
第三 实体
, and 和
那个 实体
这样
那个 转移
是
空气
的
instance
和
那个 另外 实体
是
肺
的
instance
和
那个 第三 实体
是
Chest
的
instance
和
那个 另外 实体
是
那个 实体
的
part
和
那个 第三 实体
是
那个 实体
的
part
和
那个 转移
是在
那个 另外 实体
和
那个 第三 实体
between
在 紧接
那个 转移
出现 的
time
before
holdsDuring
和
那个 客体
的 目的 是
那个 转移
在
那个 实体
的
外
在 紧接
那个 转移
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?WEARING
Erosion
)
(
instance
?LAND
LandForm
)
(
patient
?WEARING ?LAND)
(
instance
?U
UnitOfVolume
)
(
measure
?LAND
(
MeasureFn
?SIZE1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WEARING))
(
exists
(?SIZE2)
(
and
(
measure
?LAND
(
MeasureFn
?SIZE2 ?U))
(
lessThan
?SIZE2 ?SIZE1)))))
Geography.kif 2689-2702
如果
过程
是
侵蚀
的
instance
和
物理
是
土地形式
的
instance
和
那个 物理
是
那个 过程
的
patient
和
测量单位
是
UnitOfVolume
的
instance
和
那个 物理
的
measure
是
实数
那个 测量单位
,
然后 有存在
实体
这样
那个 物理
的
measure
是
那个 实体
那个 测量单位
和
那个 实体
是
lessThan
那个 实数
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal ?Account)
(
transactionAmount
?Withdrawal
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Withdrawal))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Withdrawal))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 466-481
如果
金融交易
是
退出
的
instance
和
金融账户
是
金融账户
的
instance
和
那个 金融账户
是
那个 金融交易
的源头 和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 金融账户
对于 %3 的
current
帐户存款 和
另一个 实数
equal
(
第三 实数
和
那个 实数
),
然后
那个 金融账户
对于 %3 的
current
帐户存款
(=>
(
and
(
instance
?X
ReadOnlyMemoryDataStorage
)
(
instance
?FABRICATION
Manufacture
)
(
result
?FABRICATION ?X))
(
not
(
modalAttribute
(
exists
(?WRITE1 ?DATA1 ?WRITE2)
(
and
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
earlier
(
WhenFn
?FABRICATION)
(
WhenFn
?WRITE1))
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)))
Media.kif 768-788
如果
实体
是
ReadOnlyMemoryDataStorage
的
instance
和
过程
是
制造
的
instance
和
那个 实体
是
那个 过程
的
result
,
然后 有存在
另一个 实体
,
第三 实体
, and 和
第四 实体
这样
那个 第四 实体
是
内容制作
的
instance
或
那个 第四 实体
是
DeletingData
的
instance
和
那个 过程
出现 的
time
比
那个 另外 实体
出现 的
time
发生的
earlier
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 第三 实体
是
那个 另外 实体
的
patient
和
那个 第三 实体
是
stored
在
那个 实体
在 紧接
那个 另外 实体
出现 的
time
after
holdsDuring
的声明 doesn't have
可能性
的语气
(=>
(
and
(
lifeStageAchieved
?BDE ?LST)
(
experiencer
?BDE ?OBJ))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?BDE))
(
instance
?OBJ ?LST)))
VirusProteinAndCellPart.kif 228-235
如果
发育属性
是
生物过程
的
life
完成的阶段 和
施事体
经历了
那个 生物过程
,
然后
那个 施事体
是
那个 发育属性
的
instance
在 紧接
那个 生物过程
出现 的
time
after
holdsDuring
(=>
(
and
(
possesses
?Agent ?Stocks)
(
measure
?Stocks
(
MeasureFn
?Number
ShareUnit
))
(
splitFor
?Event ?N1 ?N2))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Event))
(
and
(
equal
?N3
(
MultiplicationFn
?Number ?N2))
(
equal
?NewNumber
(
DivisionFn
?N3 ?N1))
(
measure
?Stocks
(
MeasureFn
?NewNumber
ShareUnit
)))))
FinancialOntology.kif 2229-2239
如果
施事体
possesses
客体
和
那个 客体
的
measure
是
实数
ShareUnit
和
股票分割
是 对于
整数
和
另一个 整数
的
split
,
然后
实体
equal
那个 实数
和
那个 另外 整数
和
另一个 实体
equal
那个 实体
和
那个 整数
和
那个 客体
的
measure
是
那个 另外 实体
ShareUnit
在 紧接
那个 股票分割
出现 的
time
after
holdsDuring
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