WhenFn
(=>
(
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
?MC
MuscleRelaxing
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 10555-10570
如果
过程
是
MuscleRelaxing
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
肌肉
的
instance
和
那个 实体
的
length
是
实数
另一个 实体
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 实体
的
length
是
另一个 实数
那个 另外 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?MC
MuscularContraction
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N1 ?N2))
Mid-level-ontology.kif 10533-10548
如果
过程
是
MuscularContraction
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
肌肉
的
instance
和
那个 实体
的
length
是
实数
另一个 实体
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 实体
的
length
是
另一个 实数
那个 另外 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?MT
MusicalTone
)
(
soundFrequency
?MT
(
MeasureFn
?FREQ
Hertz
))
(
loudness
?MT
(
MeasureFn
?LLB
Decibel
))
(
located
?MT
(
WhereFn
?H
(
BeginFn
(
WhenFn
?MT))))
(
greaterThan
?LLIMIT ?LLB)
(
greaterThan
?LLB ?ULIMIT)
(
greaterThan
?FREQ 250)
(
greaterThan
8000 ?FREQ)
(
instance
?H
Human
)
(
instance
?L
Listening
)
(
agent
?L ?H))
(
hearingAcuity
?H
(
MeasureFn
?LLIMIT
Decibel
)
(
MeasureFn
?ULIMIT
Decibel
)))
Medicine.kif 1753-1773
如果
音调
是
音调
的
instance
和
那个 音调
的
frequency
是
实数
赫兹
和
loudness
那个 音调
and
另一个 实数
Decibel
和
那个 音调
是
located
在
人类
在
那个 音调
出现 的
time
的开始 时所处的地区 和
第三 实数
是
greaterThan
那个 另外 实数
和
那个 另外 实数
是
greaterThan
第四 实数
和
那个 实数
是
greaterThan
250 和 8000 是
greaterThan
那个 实数
和
那个 人类
是
人类
的
instance
和
过程
是
听
的
instance
和
那个 人类
是
那个 过程
的
agent
,
然后
hearingAcuity
那个 人类
,
那个 第三 实数
Decibel
and
那个 第四 实数
Decibel
(=>
(
and
(
instance
?O
Oxidation
)
(
patient
?O ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?O))
(
electronNumber
?S ?G)))
(
exists
(?L)
(
and
(
lessThan
?L ?G)
(
holdsDuring
(
EndFn
(
WhenFn
?O))
(
electronNumber
?S ?L)))))
Mid-level-ontology.kif 19583-19595
如果
过程
是
氧化
的
instance
和
实体
是
那个 过程
的
patient
和
实数
是
那个 实体
的
electron
号码 在
那个 过程
出现 的
time
的开始
holdsDuring
,
然后 有存在
另一个 实数
这样
那个 另外 实数
是
lessThan
那个 实数
和
那个 另外 实数
是
那个 实体
的
electron
号码 在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
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
如果
过程
是
开户
的
instance
和
那个 过程
是
located
在
金融机构
和
那个 金融机构
是
金融机构
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
那个 过程
出现 的
time
equal
那个 过程
Time,
然后 有存在
金融账户
和
那个 金融账户
Period 这样
那个 金融账户
Period 是
那个 金融账户
的
agreement
週期 和
那个 过程
Time 接着
那个 金融账户
Period 和
那个 金融账户
是
金融账户
的
instance
和
那个 金融账户
是被
那个 金融机构
held
和
那个 有认知的主事
持有
account
那个 金融账户
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
如果
时距
是
那个 时距
_CLASS 的
instance
和
那个 时距
_CLASS 是
过程
的
subclass
和
AccessingWebPage
是
AccessingWebPage
的
instance
和
施事体
是
施事体
的
instance
和
那个 施事体
是
那个 时距
的
agent
和
那个 施事体
是
那个 AccessingWebPage
的
agent
和
那个 时距
在
那个 AccessingWebPage
时段内发生 和
物理
是
时距
的
instance
和 不存在
那个 时距
2 这样
那个 时距
2 是
那个 时距
_CLASS 的
instance
和
那个 施事体
是
那个 时距
2 的
agent
和
那个 时距
2 在
那个 AccessingWebPage
时段内发生 和
那个 时距
2 出现 的
time
的开始%n在
那个 时距
出现 的
time
的开始
before
发生 和
那个 AccessingWebPage
出现 的
time
的开始
equal
那个 物理
出现 的
time
的开始 和
那个 时距
出现 的
time
的开始
equal
那个 物理
出现 的
time
的结束,
然后
那个 AccessingWebPage
的
time
在 类别
那个 时距
_CLASS
equal
那个 物理
(=>
(
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
?Place
PlacingAnOrder
)
(
equal
(
WhenFn
?Place) ?Time))
(
exists
(?Order ?Period)
(
and
(
equal
(
WhenFn
?Order) ?Period)
(
meetsTemporally
?Time ?Period))))
FinancialOntology.kif 1952-1959
如果
物理
是
正在下单
的
instance
和
那个 物理
出现 的
time
equal
时距
,
然后 有存在
另一个 物理
和
另一个 时距
这样
那个 另外 物理
出现 的
time
equal
那个 另外 时距
和
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?R
ChemicalReduction
)
(
patient
?R ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?R))
(
electronNumber
?S ?L)))
(
exists
(?G)
(
and
(
greaterThan
?G ?L)
(
holdsDuring
(
EndFn
(
WhenFn
?R))
(
electronNumber
?S ?G)))))
Mid-level-ontology.kif 19565-19577
如果
过程
是
化学还原
的
instance
和
实体
是
那个 过程
的
patient
和
实数
是
那个 实体
的
electron
号码 在
那个 过程
出现 的
time
的开始
holdsDuring
,
然后 有存在
另一个 实数
这样
那个 另外 实数
是
greaterThan
那个 实数
和
那个 另外 实数
是
那个 实体
的
electron
号码 在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?REM
OrganismRemains
)
(
holdsDuring
(
WhenFn
?REM)
(
part
?OBJ ?REM)))
(
exists
(?ORG)
(
and
(
instance
?ORG
Organism
)
(
earlier
(
WhenFn
?ORG)
(
WhenFn
?REM))
(
finishes
(
WhenFn
?REM)
(
WhenFn
?ORG))
(
holdsDuring
(
WhenFn
?ORG)
(
part
?OBJ ?ORG)))))
Mid-level-ontology.kif 45-56
如果
物理
是
OrganismRemains
的
instance
和
实体
是
那个 物理
的
part
在
那个 物理
出现 的
time
holdsDuring
,
然后 有存在
另一个 物理
这样
那个 另外 物理
是
生物
的
instance
和
那个 另外 物理
出现 的
time
比
那个 物理
出现 的
time
发生的
earlier
和
那个 物理
出现 的
time
finishes
了才到
那个 另外 物理
出现 的
time
和
那个 实体
是
那个 另外 物理
的
part
在
那个 另外 物理
出现 的
time
holdsDuring
(=>
(
and
(
instance
?REVERSE
Reversing
)
(
patient
?REVERSE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?REVERSE))
(
and
(
top
?TOP ?OBJ)
(
bottom
?BOTTOM ?OBJ))))
(
holdsDuring
(
EndFn
(
WhenFn
?REVERSE))
(
and
(
top
?BOTTOM ?OBJ)
(
bottom
?TOP ?OBJ))))
Mid-level-ontology.kif 17517-17522
如果
过程
是
逆
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
那个 实体
的
top
和
那个 实体
的
bottom
是
第三 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
,
然后
那个 第三 实体
是
那个 实体
的
top
和
那个 实体
的
bottom
是
那个 另外 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?SCO
SelfConnectedObject
)
(
instance
?C
Compressing
)
(
patient
?C ?SCO)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N1 ?V)))
(
instance
?V
UnitOfVolume
)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N2 ?V))))
(
greaterThan
?N1 ?N2))
Cars.kif 1987-1999
如果
实体
是
自身连接物体
的
instance
和
过程
是
Compressing
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 实体
的
measure
是
实数
另一个 实体
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 另外 实体
是
UnitOfVolume
的
instance
和
那个 实体
的
measure
是
另一个 实数
那个 另外 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?SF
SpeakingAtAFasterRate
)
(
instance
?SS
SpeakingAtASlowerRate
)
(
instance
?U
UnitOfDuration
)
(
agent
?SF ?A)
(
agent
?SS ?A)
(
containsInformation
?SF ?I)
(
containsInformation
?SS ?I)
(
duration
(
WhenFn
?SF)
(
MeasureFn
?FAST ?U))
(
duration
(
WhenFn
?SS)
(
MeasureFn
?SLOW ?U)))
(
greaterThan
?FAST ?SLOW))
emotion.kif 2016-2029
如果
过程
是
SpeakingAtAFasterRate
的
instance
和
另一个 过程
是
SpeakingAtASlowerRate
的
instance
和
测量单位
是
UnitOfDuration
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 过程
contains
命题
的资料 和
那个 另外 过程
contains
那个 命题
的资料 和
那个 过程
出现 的
time
的
duration
是
实数
那个 测量单位
和
那个 另外 过程
出现 的
time
的
duration
是
另一个 实数
那个 测量单位
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?SH1
Shaft
)
(
instance
?SH2
Shaft
)
(
not
(
equal
?SH1 ?SH2))
(
instance
?R1
Rotating
)
(
patient
?R1 ?SH1)
(
instance
?R2
Rotating
)
(
patient
?R2 ?SH2)
(
causes
?R1 ?R2)
(
instance
?CV
CVJoint
)
(
connectedEngineeringComponents
?R1 ?CV)
(
connectedEngineeringComponents
?R2 ?CV)
(
holdsDuring
(
WhenFn
?R1)
(
equal
?SH1
(
RotationFn
?N ?T))))
(
holdsDuring
(
WhenFn
?R2)
(
equal
?SH2
(
RotationFn
?N ?T))))
Cars.kif 2114-2133
如果
实体
是
轴
的
instance
和
另一个 实体
是
轴
的
instance
和
那个 实体
不
equal
那个 另外 实体
和
工程组件
是
旋转
的
instance
和
那个 实体
是
那个 工程组件
的
patient
和
另一个 工程组件
是
旋转
的
instance
和
那个 另外 实体
是
那个 另外 工程组件
的
patient
和
那个 工程组件
causes
那个 另外 工程组件
和
第三 工程组件
是
CVJoint
的
instance
和
那个 工程组件
是 和
那个 第三 工程组件
connected
和
那个 另外 工程组件
是 和
那个 第三 工程组件
connected
和
那个 实体
equal
RotationFn
第三 实体
and
第四 实体
在
那个 工程组件
出现 的
time
holdsDuring
,
然后
那个 另外 实体
equal
RotationFn
那个 第三 实体
and
那个 第四 实体
在
那个 另外 工程组件
出现 的
time
holdsDuring
(=>
(
and
(
instance
?SS
SpeakingAShortUtterance
)
(
instance
?SL
SpeakingALongUtterance
)
(
instance
?U
UnitOfDuration
)
(
duration
(
WhenFn
?SS)
(
MeasureFn
?D1 ?U))
(
duration
(
WhenFn
?SL)
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
emotion.kif 2104-2113
如果
物理
是
SpeakingAShortUtterance
的
instance
和
另一个 物理
是
SpeakingALongUtterance
的
instance
和
测量单位
是
UnitOfDuration
的
instance
和
那个 物理
出现 的
time
的
duration
是
实数
那个 测量单位
和
那个 另外 物理
出现 的
time
的
duration
是
另一个 实数
那个 测量单位
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?SUBLIMATION
Sublimation
)
(
patient
?SUBLIMATION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
greaterThan
?Y ?X))
Geography.kif 7068-7082
如果
过程
是
升华
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
的
measure
是
实数
焦耳
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 实体
的
measure
是
另一个 实数
焦耳
在 紧接
那个 过程
出现 的
time
after
holdsDuring
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?SZ
SurfZone
)
(
significantWaveHeight
?SZ
(
WhenFn
?SZ)
(
MeasureFn
?X
FootLength
))
(
greaterThan
?X 8.0))
(
attribute
?SZ
RedFlagSwimmingCondition
))
Weather.kif 1398-1405
如果
水域
是
碎波带
的
instance
和
有效波高
那个 水域
,
那个 水域
出现 的
time
and
实数
脚长
和
那个 实数
是
greaterThan
8.0,
然后
RedFlagSwimmingCondition
是
那个 水域
的
attribute
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
如果
时距
是
TimePeriod
的
instance
和
那个 时距
的
duration
是
实数
分钟
和
那个 实数
是
greaterThan
5.0 和
实体
是
人类
的
instance
和 不存在
过程
这样
那个 过程
是
呼吸
的
instance
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
死亡
的
instance
和
那个 实体
经历了
那个 另外 实体
和
那个 时距
接着
那个 另外 实体
出现 的
time
的声明 has
容易
的语气
(=>
(
and
(
instance
?U
SoftwareUnInstallation
)
(
equal
?T2
(
WhenFn
?U))
(
dataProcessed
?U ?P)
(
instance
?P
ComputerProgram
)
(
located
?U ?C))
(
exists
(?I ?T1)
(
and
(
instance
?I
SoftwareInstallation
)
(
equal
?T1
(
WhenFn
?I))
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
located
?I ?C)
(
earlier
?T1 ?T2))))
ComputingBrands.kif 3603-3617
如果
电脑程序
是
反安装
的
instance
和
时距
equal
那个 电脑程序
出现 的
time
和
数字数据
是由
那个 电脑程序
processed
和
那个 数字数据
是
电脑程序
的
instance
和
那个 电脑程序
是
located
在
客体
,
然后 有存在
另一个 电脑程序
和
另一个 时距
这样
那个 另外 电脑程序
是
安装
的
instance
和
那个 另外 时距
equal
那个 另外 电脑程序
出现 的
time
和
那个 数字数据
是由
那个 另外 电脑程序
processed
和
那个 数字数据
是
电脑程序
的
instance
和
那个 另外 电脑程序
是
located
在
那个 客体
和
那个 另外 时距
比
那个 时距
发生的
earlier
(=>
(
and
(
instance
?Uptick
Uptick
)
(
patient
?Uptick ?Stock)
(
equal
(
WhenFn
?Uptick) ?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)
(
lessThan
?Price2 ?Price1))))
FinancialOntology.kif 3212-3228
如果
过程
是
上扬
的
instance
和
物理
是
那个 过程
的
patient
和
那个 过程
出现 的
time
equal
施事体
和
测量单位
是
UnitOfCurrency
的
instance
和
那个 物理
是 对于
那个 施事体
的
price
实数
那个 测量单位
,
然后 有存在
另一个 过程
,
另一个 施事体
, and 和
另一个 实数
这样
那个 另外 过程
是
股市交易
的
instance
和
那个 物理
是
那个 另外 过程
的
patient
和
那个 另外 过程
出现 的
time
equal
那个 另外 施事体
和
那个 另外 施事体
接着
那个 施事体
和
那个 物理
是 对于
那个 另外 施事体
的
price
那个 另外 实数
那个 测量单位
和
那个 另外 实数
是
lessThan
那个 实数
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
exists
(?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704
如果
群体
是
群体
的
instance
和
另一个 群体
是
群体
的
instance
和
那个 另外 群体
是
那个 群体
的 真正的子集 和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
AccessingWebPage
的
instance
和 对所有
过程
,
施事体
,, ,
另一个 过程
,, ,
那个 过程
, and 和
客体
如果
那个 施事体
是
人类
的
instance
和
那个 过程
是
购买
的
instance
和
那个 另外 过程
是
AccessingWebPage
的
instance
和
那个 客体
是
WebPage
的
instance
和
那个 另外 过程
是
那个 群体
的
member
和
那个 另外 过程
在
那个 客体
结束 和
那个 施事体
是
那个 过程
的
agent
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 过程
出现 的
time
在
那个 另外 过程
出现 的
time
时段内发生 和
那个 客体
是导致
那个 过程
的
instrument
,
然后
那个 过程
是
那个 另外 群体
的
member
,
然后 有存在
时距
,
实体
_IN_INTERVAL, and 和
另一个 实体
_IN_INTERVAL 这样
purchases
花在
那个 群体
期间
那个 时距
equal
那个 实体
_IN_INTERVAL 所描述的类别
instance
的数量 和
那个 另外 实体
_IN_INTERVAL 所描述的类别
instance
的数量
(=>
(
and
(
instance
?W
Wind
)
(
located
?W ?L)
(
equal
?T
(
WhenFn
?W))
(
holdsDuring
?T
(
surfaceWindSpeed
?L
(
MeasureFn
?N
MilesPerHour
))))
(
greaterThan
?N 20.0))
Merge.kif 11264-11272
如果
物理
是
风
的
instance
和
那个 物理
是
located
在
客体
和
时距
equal
那个 物理
出现 的
time
和
实数
英里每小時
是
那个 客体
的
surface
风速 在
那个 时距
holdsDuring
,
然后
那个 实数
是
greaterThan
20.0
(=>
(
and
(
instance
?WALK
Walking
)
(
instance
?RUN
Running
)
(
agent
?WALK ?AGENT)
(
agent
?RUN ?AGENT)
(
holdsDuring
(
WhenFn
?WALK)
(
measure
?AGENT
(
SpeedFn
?LENGTH1 ?TIME)))
(
holdsDuring
(
WhenFn
?RUN)
(
measure
?AGENT
(
SpeedFn
?LENGTH2 ?TIME))))
(
greaterThan
?LENGTH2 ?LENGTH1))
Merge.kif 11158-11166
如果
过程
是
步行
的
instance
和
另一个 过程
是
赛跑
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 施事体
的
measure
是
实数
除以
实体
在
那个 过程
出现 的
time
holdsDuring
和
那个 施事体
的
measure
是
另一个 实数
除以
那个 实体
在
那个 另外 过程
出现 的
time
holdsDuring
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
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
帐户存款
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