WhenFn
(=>
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
WebListing
)
(
instance
?TIME
TimePoint
)
(
listingSeller
?LISTING ?AGENT)
(
not
(
member
?LISTING ?COLL))
(
forall
(?ITEM ?MEMBER)
(
and
(=>
(
and
(
instance
?ITEM
WebListing
)
(
member
?ITEM
(
SellersItemsFn
?AGENT ?SITE))
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
not
(
equal
?ITEM ?LISTING)))
(
member
?ITEM ?COLL))
(=>
(
member
?MEMBER ?COLL)
(
and
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
instance
?MEMBER
WebListing
))))))
(
equal
(
SellersOtherItemsFn
?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1033-1060
如果
群体
是
群体
的
instance
和
WebSite
是
WebSite
的
instance
和
施事体
是
施事体
的
instance
和
WebListing
是
WebListing
的
instance
和
时点
是
时点
的
instance
和
那个 施事体
sells
那个 WebListing
和
那个 WebListing
不 是
那个 群体
的
member
和 对所有
物理
和
另一个 物理
如果
那个 物理
是
WebListing
的
instance
和
那个 物理
是 样品对于
sale
由
那个 施事体
在
那个 WebSite
的
member
和
那个 时点
时段 是
那个 物理
出现 的
time
时段 的一
part
和
那个 物理
不
equal
那个 WebListing
,
然后
那个 物理
是
那个 群体
的
member
和
如果
那个 另外 物理
是
那个 群体
的
member
,
然后
那个 时点
时段 是
那个 物理
出现 的
time
时段 的一
part
和
那个 另外 物理
是
WebListing
的
instance
,
然后 东西对于
sale
由
那个 施事体
非列在
那个 WebListing
在
那个 WebSite
期间
那个 时点
equal
那个 群体
(=>
(
and
(
instance
?CONST
(
ConstitutionFn
?COUNTRY))
(
instance
?COUNTRY
Nation
)
(
equal
?GOV
(
GovernmentFn
?COUNTRY))
(
instance
(
WhenFn
?GOV) ?CLASS)
(
agreementEffectiveDuring
?CONST ?CLASS)
(
subProposition
?PART ?CONST)
(
containsInformation
?FORMULA ?PART))
(
holdsObligation
?FORMULA ?GOV))
Government.kif 774-783
如果
命题
是
地缘政治区域
的
constitution
的
instance
和
那个 地缘政治区域
是
国家
的
instance
和
政府
equal
那个 地缘政治区域
的
Government
和
那个 政府
出现 的
time
是
有点 时间位置
的
instance
和
有点 时间位置
是
那个 命题
的
agreement
生效其间 和
另一个 命题
是
那个 命题
的
subProposition
和
公式
contains
那个 另外 命题
的资料,
然后
那个 政府
有义务执行
那个 公式
的任务
(=>
(
and
(
instance
?Compression
DataCompression
)
(
dataProcessed
?Compression ?Data)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?Memory ?Measure)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?NewMemory ?Measure))))
(
lessThan
?NewMemory ?Memory))
QoSontology.kif 1926-1940
如果
电脑程序
是
数据压缩
的
instance
和
数字数据
是由
那个 电脑程序
processed
和
那个 数字数据
requires
实数
实体
在 紧接
那个 电脑程序
出现 的
time
before
holdsDuring
和
那个 数字数据
requires
另一个 实数
那个 实体
在 紧接
那个 电脑程序
出现 的
time
after
holdsDuring
,
然后
那个 另外 实数
是
lessThan
那个 实数
(=>
(
and
(
instance
?D
DeletingAnAccount
)
(
instance
?AC
Account
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
hasAccount
?A ?AC))
(
patient
?D ?AC)
(
agent
?D ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?D))
(
not
(
hasAccount
?A ?AC))))
ComputingBrands.kif 4566-4576
如果
过程
是
DeletingAnAccount
的
instance
和
实体
是
Account
的
instance
和
施事体
有
account
那个 实体
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 实体
是
那个 过程
的
patient
和
那个 施事体
是
那个 过程
的
agent
,
然后 不
那个 施事体
有
account
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?D
Detaching
)
(
patient
?D ?O1)
(
patient
?D ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
connected
?O1 ?O2))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2))))
(
and
(
objectDetached
?A ?O1)
(
objectDetached
?A ?O2)))
Merge.kif 12431-12440
如果
过程
是
脱离
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
那个 过程
的
patient
和
那个 实体
和
那个 另外 实体
是
connected
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
和
那个 另外 实体
不 是
connected
在
另一个 过程
出现 的
time
的结束
holdsDuring
,
然后
objectDetached
那个 另外 过程
and
那个 实体
和
objectDetached
那个 另外 过程
and
那个 另外 实体
(=>
(
and
(
instance
?D
Dodging
)
(
agent
?D ?A)
(
equal
?DT
(
WhenFn
?D)))
(
hasPurpose
?D
(
not
(
exists
(?I)
(
and
(
or
(
meetsTemporally
?DT
(
WhenFn
?I))
(
overlapsTemporally
?DT
(
WhenFn
?I)))
(
instance
?I
Impacting
)
(
patient
?I ?A))))))
Mid-level-ontology.kif 450-463
如果
过程
是
躲着
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 过程
T
equal
那个 过程
出现 的
time
,
然后
那个 过程
的 目的 是 不存在
实体
这样
那个 过程
T 接着
那个 实体
出现 的
time
或
那个 实体
出现 的
time
时段 和
那个 过程
T 重叠 和
那个 实体
是
碰撞
的
instance
和
那个 施事体
是
那个 实体
的
patient
(=>
(
and
(
instance
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
lessThan
?Y ?X))
Geography.kif 7016-7030
如果
过程
是
凝华
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
的
measure
是
实数
焦耳
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 实体
的
measure
是
另一个 实数
焦耳
在 紧接
那个 过程
出现 的
time
after
holdsDuring
,
然后
那个 另外 实数
是
lessThan
那个 实数
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ)
(
holdsDuring
(
WhenFn
?DISCOVER)
(
located
?OBJ ?PLACE)))
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
subProcess
?LEARN ?DISCOVER)
(
patient
?LEARN
(
located
?OBJ ?PLACE)))))
Merge.kif 11973-11982
如果
过程
是
发现
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
located
在
另一个 实体
在
那个 过程
出现 的
time
holdsDuring
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
学习
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 实体
是
located
在
那个 另外 实体
是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?Deposit
Deposit
)
(
instance
?Account
FinancialAccount
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Deposit))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
AdditionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Deposit))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 436-453
如果
金融交易
是
存款
的
instance
和
金融账户
是
金融账户
的
instance
和
那个 金融交易
在
那个 金融账户
的
currency
结束 和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 金融账户
对于 %3 的
current
帐户存款 和
另一个 实数
equal
(
第三 实数
和
那个 实数
),
然后
那个 金融账户
对于 %3 的
current
帐户存款
(=>
(
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
如果
过程
是
打勾
的
instance
和
物理
是
那个 过程
的
patient
和
那个 过程
出现 的
time
equal
施事体
和
测量单位
是
UnitOfCurrency
的
instance
和
那个 物理
是 对于
那个 施事体
的
price
实数
那个 测量单位
,
然后 有存在
另一个 过程
,
另一个 施事体
, and 和
另一个 实数
这样
那个 另外 过程
是
股市交易
的
instance
和
那个 物理
是
那个 另外 过程
的
patient
和
那个 另外 过程
出现 的
time
equal
那个 另外 施事体
和
那个 另外 施事体
接着
那个 施事体
和
那个 物理
是 对于
那个 另外 施事体
的
price
那个 另外 实数
那个 测量单位
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?Drawing
DrawingACheck
)
(
patient
?Drawing ?Check)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
equal
(
WhenFn
?Drawing) ?DrawingTime)
(
equal
(
WhenFn
?Processing) ?ProcessingTime)
(
meetsTemporally
?DrawingTime ?Time)
(
meetsTemporally
?Time ?ProcessingTime)
(
duration
?Time
(
MeasureFn
?Duration
MonthDuration
)))
(
lessThan
?Duration 6))
FinancialOntology.kif 155-166
如果
过程
是
画一张支票
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 过程
是
处理检查
的
instance
和
那个 实体
是
那个 另外 过程
的
patient
和
那个 过程
出现 的
time
equal
那个 过程
Time 和
那个 另外 过程
出现 的
time
equal
那个 另外 过程
Time 和
那个 过程
Time 接着
第三 时距
和
那个 第三 时距
接着
那个 另外 过程
Time 和
那个 第三 时距
的
duration
是
实数
月持续时间
,
然后
那个 实数
是
lessThan
6
(=>
(
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
如果
过程
是
运动
的
instance
和
另一个 过程
是
震
的
instance
和
客体
是
Damper
的
instance
和
另一个 客体
是
那个 另外 过程
的
patient
和
那个 客体
是
那个 另外 客体
的
part
和
那个 过程
causes
那个 另外 过程
和
实体
是
UnitOfLength
的
instance
和
physicalAmplitude
那个 另外 过程
and
实数
那个 实体
在
那个 过程
出现 的
time
holdsDuring
和
physicalAmplitude
那个 另外 过程
and
另一个 实数
那个 实体
在 紧接
那个 过程
after
holdsDuring
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
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
和
客体
是
内燃机
的
instance
和
另一个 客体
是
CombustionChamber
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 过程
是
located
在
那个 客体
和
实体
是
UnitOfVolume
的
instance
和
maxCylinderVolume
那个 客体
and
实数
那个 实体
在
那个 过程
出现 的
time
holdsDuring
,
然后 不存在
另一个 实数
和
时距
这样
那个 时距
在
那个 过程
出现 的
time
时段内发生 和
那个 另外 客体
的
measure
是
那个 另外 实数
那个 实体
在
那个 时距
holdsDuring
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
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
和
客体
是
内燃机
的
instance
和
另一个 客体
是
CombustionChamber
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 过程
是
located
在
那个 客体
和
实体
是
UnitOfVolume
的
instance
和
minCylinderVolume
那个 客体
and
实数
那个 实体
在
那个 过程
出现 的
time
holdsDuring
,
然后 不存在
另一个 实数
和
时距
这样
那个 时距
在
那个 过程
出现 的
time
时段内发生 和
那个 另外 客体
的
measure
是
那个 另外 实数
那个 实体
在
那个 时距
holdsDuring
和
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2421-2430
如果
过程
是
出口
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
地缘政治区域
的
instance
和
那个 实体
是
located
在
那个 另外 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
,
然后
那个 实体
不 是
located
在
那个 另外 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
如果
过程
是
出口
的
instance
和
实体
是
那个 过程
的
patient
和
地缘政治区域
是
地缘政治区域
的
instance
和
那个 实体
是
located
在
那个 地缘政治区域
在
那个 过程
出现 的
time
的开始
holdsDuring
,
然后 有存在
另一个 地缘政治区域
这样
那个 另外 地缘政治区域
是
地缘政治区域
的
instance
和
那个 地缘政治区域
不 是
那个 另外 地缘政治区域
的地缘政治部分 和
那个 另外 地缘政治区域
不 是
那个 地缘政治区域
的地缘政治部分 和
那个 实体
是
located
在
那个 另外 地缘政治区域
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2456-2466
如果
过程
是
出口
的
instance
和
实体
是
那个 过程
的
patient
和
客体
是
地缘政治区域
的
instance
和
物理
是
地缘政治区域
的
instance
和
那个 实体
是
located
在
那个 客体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
是
located
在
那个 物理
在
那个 过程
出现 的
time
的结束
holdsDuring
,
然后
那个 物理
不 是
located
在
那个 客体
(=>
(
and
(
instance
?F
Flooding
)
(
instance
?L
LandArea
)
(
eventLocated
?F ?L)
(
instance
?T
TimePoint
)
(
before
?T
(
WhenFn
?F)))
(
modalAttribute
(
holdsDuring
?T
(
instance
?L
SubmergedLandArea
))
Unlikely
))
Weather.kif 1598-1608
如果
过程
是
洪水
的
instance
和
客体
是
土地面积
的
instance
和
那个 过程
是
located
在
那个 客体
和
时点
是
时点
的
instance
和
那个 时点
%n在
那个 过程
出现 的
time
before
发生,
然后
那个 客体
是
淹没的土地面积
的
instance
在
那个 时点
holdsDuring
的声明 has
较不可能
的语气
(=>
(
and
(
instance
?FOG
Fogging
)
(
eventLocated
?FOG ?AREA)
(
instance
?AREA
GeographicArea
)
(
instance
?AIR
AtmosphericRegion
)
(
orientation
?AIR ?AREA
Above
)
(
instance
?A
Aerosal
)
(
locatedAtTime
?A
(
WhenFn
?FOG) ?AIR)
(
visibilityInMeteorology
?AREA
(
WhenFn
?FOG)
(
MeasureFn
?VISIBILITY
Meter
)))
(
lessThan
?VISIBILITY 1000.0))
Weather.kif 2537-2550
如果
过程
是
雾
的
instance
和
那个 过程
是
located
在
地区
和
那个 地区
是
地理区域
的
instance
和
客体
是
大气地区
的
instance
和
那个 客体
在
那个 地区
的
以上
和
另一个 客体
是
气溶胶
的
instance
和
那个 另外 客体
对于
那个 客体
在时间
那个 过程
出现 的
time
located
和
visibility
在
那个 地区
期间
那个 过程
出现 的
time
是
实数
仪表
,
然后
那个 实数
是
lessThan
1000.0
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?DAY)
(
earlier
(
WhenFn
?D) ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
earlier
(
WhenFn
?WU)
(
WhenFn
?SUHUR))
(
during
(
WhenFn
?WU) ?DAY)
(
during
(
WhenFn
?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
如果
施事体
是
人
的
instance
和
mausaharati
是
那个 施事体
的
attribute
和
过程
是
鼓声
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 过程
AY 是
日
的
instance
和
另一个 时距
是
日出
的
instance
和
那个 另外 时距
在
那个 过程
AY 时段内发生 和
那个 过程
出现 的
time
比
那个 另外 时距
发生的
earlier
,
然后
那个 过程
的 目的 是 有存在
另一个 实体
,
那个 另外 时距
UHUR, and 和
第四 实体
这样
那个 第四 实体
是
起来
的
instance
和
那个 另外 实体
经历了
那个 第四 实体
和
那个 另外 时距
UHUR 是
封斋饭
的
instance
和
那个 另外 实体
是
那个 另外 时距
UHUR 的
agent
和
那个 第四 实体
出现 的
time
比
那个 另外 时距
UHUR 出现 的
time
发生的
earlier
和
那个 第四 实体
出现 的
time
在
那个 过程
AY 时段内发生 和
那个 另外 时距
UHUR 出现 的
time
在
那个 过程
AY 时段内发生
(=>
(
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
如果
过程
是
阴霾
的
instance
和
那个 过程
是
located
在
地区
和
那个 地区
是
地理区域
的
instance
和
客体
是
大气地区
的
instance
和
那个 客体
在
那个 地区
的
以上
和
另一个 客体
对于
那个 客体
在时间
那个 过程
出现 的
time
located
和
visibility
在
那个 地区
期间
那个 过程
出现 的
time
是
实数
公里
,
然后
那个 实数
是
greaterThan
2.0 和
那个 实数
是
lessThan
5.0
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?MS)
(
instance
?MS
MoodStabilizer
)
(
instance
?E ?EC)
(
involvedInEvent
?E ?H)
(
holdsDuring
(
WhenFn
?E)
(
attribute
?H ?ES))
(
instance
?ES
EmotionalState
)
(
instance
?E2 ?EC)
(
involvedInEvent
?E2 ?H)
(
earlier
(
WhenFn
?E2)
(
WhenFn
?I)))
(
modalAttribute
(
not
(
holdsDuring
?E2
(
attribute
?H ?ES)))
Unlikely
))
Mid-level-ontology.kif 9774-9795
如果
转移
是
消化
的
instance
和
施事体
经历了
那个 转移
和
objectTransferred
那个 转移
and
客体
和
那个 客体
是
MoodStabilizer
的
instance
和
过程
是
那个 过程
C 的
instance
和
那个 施事体
是事件
那个 过程
的
involved
和
那个 过程
S 是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
和
那个 过程
S 是
情绪状态
的
instance
和
那个 过程
2 是
那个 过程
C 的
instance
和
那个 施事体
是事件
那个 过程
2 的
involved
和
那个 过程
2 出现 的
time
比
那个 转移
出现 的
time
发生的
earlier
,
然后
那个 过程
S 是
那个 施事体
的
attribute
doesn't 在
那个 过程
2
holdsDuring
的声明 has
较不可能
的语气
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
如果
客体
是
Lever
的
instance
和
过程
是
Pushing
的
instance
和
物理
是
运动
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
那个 过程
在
另一个 客体
结束 和
physicalEnd
那个 另外 客体
and
那个 客体
和
physicalEnd
第三 客体
and
那个 客体
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 另外 客体
是
located
在
那个 过程
1 在 紧接
那个 物理
出现 的
time
before
holdsDuring
和
那个 另外 客体
是
located
在
那个 过程
2 在 紧接
那个 物理
出现 的
time
after
holdsDuring
和
那个 第三 客体
是
located
在
那个 过程
3 在 紧接
那个 物理
出现 的
time
before
holdsDuring
和
那个 第三 客体
是
located
在
那个 过程
4 在 紧接
那个 物理
出现 的
time
after
holdsDuring
和
那个 过程
1 和
那个 过程
2 的
distance
是
实数
那个 测量单位
和
那个 过程
3 和
那个 过程
4 的
distance
是
另一个 实数
那个 测量单位
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
accountAtSite
?A ?S)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
patient
?P ?S))))
Possibility
))
ComputingBrands.kif 3972-3986
如果
过程
是
LoggingIn
的
instance
和
施事体
有
account
用户帐号
和
那个 用户帐号
是在
WebSite
的
account
和
时距
equal
紧接
那个 过程
出现 的
time
after
和
那个 施事体
是
那个 过程
的
agent
,
然后 有存在
实体
这样
那个 实体
是
电脑程序
的
instance
和
那个 施事体
是
那个 实体
的
agent
和
那个 WebSite
是
那个 实体
的
patient
在
那个 时距
holdsDuring
的声明 has
可能性
的语气
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
deviceAccount
?A ?C)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 3988-4002
如果
过程
是
LoggingIn
的
instance
和
施事体
有
account
用户帐号
和
deviceAccount
那个 用户帐号
and
电脑
和
时距
equal
紧接
那个 过程
出现 的
time
after
和
那个 施事体
是
那个 过程
的
agent
,
然后 有存在
实体
这样
那个 实体
是
电脑程序
的
instance
和
那个 施事体
是
那个 实体
的
agent
和
那个 电脑
是导致
那个 实体
的
instrument
在
那个 时距
holdsDuring
的声明 has
可能性
的语气
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