holdsDuring
(=>
(
and
(
instance
?C
Carabiner
)
(
holdsDuring
?T
(
attribute
?C
DeviceClosed
)))
(
holdsDuring
?T
(
modalAttribute
(
exists
(?R)
(
and
(
instance
?R
ClimbingRope
)
(
contains
?C ?R)))
Possibility
)))
Mid-level-ontology.kif 30815-30826
如果
实体
是
Carabiner
的
instance
和
设备关闭
是
那个 实体
的
attribute
在
时间位置
holdsDuring
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
ClimbingRope
的
instance
和
那个 实体
contains
那个 另外 实体
的声明 has
可能性
的语气 在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?C
Carabiner
)
(
holdsDuring
?T
(
attribute
?C
DeviceOpen
)))
(
holdsDuring
?T
(
not
(
attribute
?C
RingTorus
))))
Mid-level-ontology.kif 30828-30835
如果
实体
是
Carabiner
的
instance
和
设备打开
是
那个 实体
的
attribute
在
时间位置
holdsDuring
,
然后
RingTorus
不 是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?C
CheckingVitals
)
(
agent
?C ?A)
(
patient
?C ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?L
Lung
)
(
part
?L ?P)
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))
(
knows
?A
(
and
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))))
Medicine.kif 6505-6529
如果
过程
是
CheckingVitals
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
客体
是
那个 过程
的
patient
和
心
是
心
的
instance
和
那个 心
是
那个 客体
的
part
和
肺
是
肺
的
instance
和
那个 肺
是
那个 客体
的
part
和
systolicBloodPressure
那个 客体
and
实体
和
diastolicBloodPressure
那个 客体
and
另一个 实体
和
那个 客体
的
measure
是
第三 实体
华氏度
在
那个 过程
出现 的
time
holdsDuring
和
heartRate
那个 心
,
那个 过程
出现 的
time
and
整数
和
breathingRate
那个 肺
,
那个 过程
出现 的
time
and
另一个 整数
,
然后
那个 有认知的主事
knows
systolicBloodPressure
那个 客体
and
那个 实体
和
diastolicBloodPressure
那个 客体
and
那个 另外 实体
和
那个 客体
的
measure
是
那个 第三 实体
华氏度
在
那个 过程
出现 的
time
holdsDuring
和
heartRate
那个 心
,
那个 过程
出现 的
time
and
那个 整数
和
breathingRate
那个 肺
,
那个 过程
出现 的
time
and
那个 另外 整数
(=>
(
and
(
instance
?CA
COVIDAntibody
)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
Covid19
))
(
part
?CA ?H))))
(
holdsDuring
(
ImmediateFutureFn
?T)
(
modalAttribute
(
attribute
?H
Covid19
)
Unlikely
)))
Medicine.kif 2784-2796
如果
实体
是
COVIDAntibody
的
instance
和
Covid19
不 是
另一个 实体
的
attribute
和
那个 实体
是
那个 另外 实体
的
part
在
时间位置
holdsDuring
,
然后
Covid19
是
那个 另外 实体
的
attribute
的声明 has
较不可能
的语气 在 紧接
那个 时间位置
after
holdsDuring
(=>
(
and
(
instance
?CHANGE
ChangeOfPossession
)
(
patient
?CHANGE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT2 ?OBJ)))
(
not
(
equal
?AGENT1 ?AGENT2)))
Merge.kif 11647-11654
如果
过程
是
改变所有权
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
possesses
那个 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
第三 实体
possesses
那个 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
,
然后
那个 另外 实体
不
equal
那个 第三 实体
(=>
(
and
(
instance
?CHILD
Human
)
(
holdsDuring
?TIME
(
attribute
?CHILD
NonFullyFormed
)))
(
holdsDuring
?TIME
(
instance
?CHILD
HumanYouth
)))
Mid-level-ontology.kif 286-292
如果
实体
是
人类
的
instance
和
没有完全形成
是
那个 实体
的
attribute
在
时间位置
holdsDuring
,
然后
那个 实体
是
人类青年
的
instance
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?CLOTHING
OutdoorClothing
)
(
holdsDuring
?TIME
(
wears
?PERSON ?CLOTHING)))
(
not
(
exists
(?BUILDING)
(
and
(
instance
?BUILDING
Building
)
(
holdsDuring
?TIME
(
located
?PERSON ?BUILDING))))))
Mid-level-ontology.kif 5043-5051
如果
实体
是
户外服装
的
instance
和
另一个 实体
wears
那个 实体
在
时间位置
holdsDuring
,
然后 不存在
第三 实体
这样
那个 第三 实体
是
建筑物
的
instance
和
那个 另外 实体
是
located
在
那个 第三 实体
在
那个 时间位置
holdsDuring
(=>
(
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
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
experiencer
?DEATH ?ORG))
(
result
?DEATH ?REM))
Mid-level-ontology.kif 85-94
如果
过程
是
死亡
的
instance
和
实体
是
OrganismRemains
的
instance
和
施事体
是
生物
的
instance
和
另一个 实体
是
那个 实体
的
part
在
时距
holdsDuring
和
那个 另外 实体
是
那个 施事体
的
part
在
另一个 时距
holdsDuring
和
那个 另外 时距
比
那个 时距
发生的
earlier
和
那个 施事体
经历了
那个 过程
,
然后
那个 实体
是
那个 过程
的
result
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
result
?DEATH ?REM))
(
experiencer
?DEATH ?ORG))
Mid-level-ontology.kif 74-83
如果
过程
是
死亡
的
instance
和
实体
是
OrganismRemains
的
instance
和
施事体
是
生物
的
instance
和
另一个 实体
是
那个 实体
的
part
在
时距
holdsDuring
和
那个 另外 实体
是
那个 施事体
的
part
在
另一个 时距
holdsDuring
和
那个 另外 时距
比
那个 时距
发生的
earlier
和
那个 实体
是
那个 过程
的
result
,
然后
那个 施事体
经历了
那个 过程
(=>
(
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
?DEVICE
FaxMachine
)
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
possesses
?AGENT ?DEVICE))))
(
holdsDuring
?TIME
(
faxNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 25158-25165
如果
实体
是
传真机
的
instance
和
那个 实体
有
number
另一个 实体
和
第三 实体
possesses
那个 实体
在
时间位置
holdsDuring
,
然后
那个 第三 实体
的
fax
number
是
那个 另外 实体
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?DEVICE
MobileCellPhone
)
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
telephoneNumber
?NUMBER ?AGENT))))
(
holdsDuring
?TIME
(
mobilePhoneNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 25133-25140
如果
实体
是
移动手机
的
instance
和
那个 实体
有
number
另一个 实体
和
那个 另外 实体
是
第三 实体
的
telephone
number
在
时间位置
holdsDuring
,
然后
那个 第三 实体
的
mobile
number
是
那个 另外 实体
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?DEVICE
Telephone
)
(
holdsDuring
?TIME
(
and
(
possesses
?AGENT ?DEVICE)
(
deviceTelecomNumber
?NUMBER ?DEVICE))))
(
holdsDuring
?TIME
(
telephoneNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 25007-25014
如果
实体
是
电话
的
instance
和
另一个 实体
possesses
那个 实体
和
那个 实体
有
number
第三 实体
在
时间位置
holdsDuring
,
然后
那个 第三 实体
是
那个 另外 实体
的
telephone
number
在
那个 时间位置
holdsDuring
(=>
(
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
?E
EngineCylinder
)
(
instance
?C
Crankcase
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeTransfer
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?C))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?C))))
Cars.kif 509-521
如果
客体
是
EngineCylinder
的
instance
和
洞
是
Crankcase
的
instance
和
物理
是
Piston
的
instance
和
过程
是
TwoStrokeTransfer
的
instance
和
那个 物理
是
located
在
那个 客体
在
那个 过程
holdsDuring
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后
那个 物理
的 目的 是
那个 物理
fills
了
那个 洞
的一部分 在
那个 过程
holdsDuring
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeIntake
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?I))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?I))))
Cars.kif 463-475
如果
客体
是
EngineCylinder
的
instance
和
洞
是
InternalCombustionChamber
的
instance
和
物理
是
Piston
的
instance
和
过程
是
TwoStrokeIntake
的
instance
和
那个 物理
是
located
在
那个 客体
在
那个 过程
holdsDuring
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后
那个 物理
的 目的 是
那个 物理
fills
了
那个 洞
的一部分 在
那个 过程
holdsDuring
(=>
(
and
(
instance
?E
Eyebrow
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?E ?EYE
Above
))))
Anatomy.kif 1469-1481
如果
客体
是
Eyebrow
的
instance
和
Healthy
是
另一个 客体
的
attribute
和
站立
是
那个 另外 客体
的
attribute
在
时间位置
holdsDuring
和
那个 客体
是
那个 另外 客体
的
part
,
然后 有存在
那个 客体
YE 这样
那个 客体
YE 是
眼睛
的
instance
和
那个 客体
YE 是
那个 另外 客体
的
part
和
那个 客体
在
那个 客体
YE 的
以上
(=>
(
and
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
instance
?F
Fuel
)
(
instance
?M
UnitOfVolume
)
(
holdsDuring
?T
(
and
(
contains
?CC ?F)
(
measure
?F
(
MeasureFn
?N1 ?M))
(
attribute
?E
EngineFlooded
))))
(
hasPurpose
?CC
(
not
(
exists
(?F2 ?N2)
(
and
(
instance
?F2
Fuel
)
(
contains
?CC ?F2)
(
measure
?F2
(
MeasureFn
?N2 ?M))
(
greaterThanOrEqualTo
?N2 ?N1))))))
Cars.kif 2811-2830
如果
客体
是
内燃机
的
instance
和
另一个 客体
是
CombustionChamber
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
实体
是
汽油
的
instance
和
另一个 实体
是
UnitOfVolume
的
instance
和
那个 另外 客体
contains
那个 实体
和
那个 实体
的
measure
是
第三 实体
那个 另外 实体
和
EngineFlooded
是
那个 客体
的
attribute
在
时间位置
holdsDuring
,
然后
那个 另外 客体
的 目的 是 不存在
那个 实体
2 和
第五 实体
这样
那个 实体
2 是
汽油
的
instance
和
那个 另外 客体
contains
那个 实体
2 和
那个 实体
2 的
measure
是
那个 第五 实体
那个 另外 实体
和
那个 第五 实体
是
greaterThanOrEqualTo
那个 第三 实体
(=>
(
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
EngineChoke
)
(
holdsDuring
?FSC1
(
attribute
?EC
DeviceOn
))
(
holdsDuring
?FSC2
(
attribute
?EC
DeviceOff
))
(
instance
?C
EngineCylinder
)
(
capacity
?C ?M)
(
instance
?FSC1
FourStrokeCompression
)
(
instance
?FSC2
FourStrokeCompression
)
(
eventLocated
?FSC1 ?C)
(
eventLocated
?FSC2 ?C)
(
instance
?A1
Air
)
(
instance
?F1
Fuel
)
(
part
?A1 ?MIX1)
(
part
?F1 ?MIX1)
(
measure
?MIX1 ?M)
(
instance
?A2
Air
)
(
instance
?F2
Fuel
)
(
part
?A2 ?MIX2)
(
part
?F2 ?MIX2)
(
measure
?MIX2 ?M)
(
instance
?U
UnitOfMeasure
)
(
measure
?A1
(
MeasureFn
?A1M ?U))
(
measure
?A2
(
MeasureFn
?A2M ?U))
(
measure
?F1
(
MeasureFn
?F1M ?U))
(
measure
?F2
(
MeasureFn
?F2M ?U)))
(
greaterThan
(
DivisionFn
?A2M ?F2M)
(
DivisionFn
?A1M ?F1M)))
Cars.kif 1314-1348
如果
实体
是
EngineChoke
的
instance
和
设备上
是
那个 实体
的
attribute
在
过程
holdsDuring
和
设备关闭
是
那个 实体
的
attribute
在
另一个 过程
holdsDuring
和
自身连接物体
是
EngineCylinder
的
instance
和
恒量
是
那个 自身连接物体
的
capacity
和
那个 过程
是
FourStrokeCompression
的
instance
和
那个 另外 过程
是
FourStrokeCompression
的
instance
和
那个 过程
是
located
在
那个 自身连接物体
和
那个 另外 过程
是
located
在
那个 自身连接物体
和
客体
是
空气
的
instance
和
另一个 客体
是
汽油
的
instance
和
那个 客体
是
那个 恒量
IX1 的
part
和
那个 另外 客体
是
那个 恒量
IX1 的
part
和
那个 恒量
IX1 的
measure
是
那个 恒量
和
第四 客体
是
空气
的
instance
和
第五 客体
是
汽油
的
instance
和
那个 第四 客体
是
那个 恒量
IX2 的
part
和
那个 第五 客体
是
那个 恒量
IX2 的
part
和
那个 恒量
IX2 的
measure
是
那个 恒量
和
测量单位
是
测量单位
的
instance
和
那个 客体
的
measure
是
那个 客体
M
那个 测量单位
和
那个 第四 客体
的
measure
是
那个 第四 客体
M
那个 测量单位
和
那个 另外 客体
的
measure
是
那个 另外 客体
M
那个 测量单位
和
那个 第五 客体
的
measure
是
那个 第五 客体
M
那个 测量单位
,
然后
那个 第四 客体
M 和
那个 第五 客体
M 是
greaterThan
那个 客体
M 和
那个 另外 客体
M
(=>
(
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
那个 另外 实数
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