ImmediateFutureFn
(=>
(
and
(
resourceExhausted
?P ?R)
(
instance
?R ?C))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?P))
(
not
(
exists
(?OBJ1)
(
and
(
part
?OBJ1 ?R)
(
instance
?OBJ1 ?C))))))
Merge.kif 2537-2546
如果
过程
exhausts
客体
和
那个 客体
是
类
的
instance
,
然后 不存在
实体
这样
那个 实体
是
那个 客体
的
part
和
那个 实体
是
那个 类
的
instance
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
exists
(?ORGANISM ?TIME ?SAMPLE ?PROC)
(
and
(
holdsDuring
?TIME
(
attribute
?ORGANISM ?DISEASE))
(
increasesLikelihood
(
and
(
instance
?PROC ?PROCESS)
(
temporalPart
(
WhenFn
?PROC) ?TIME)
(
experiencer
?PROC ?ORGANISM)
(
patient
?PROC ?SAMPLE)
(
instance
?SAMPLE ?SUBSTANCE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
attribute
?ORGANISM ?DISEASE)))))))
WMD.kif 941-955
如果
疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
有点 生物活性物质
,
然后 有存在
实体
,
时间位置
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 疾病或综合症
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
和
那个 第三 实体
是
有点 过程
的
instance
和
那个 第三 实体
出现 的
time
时段 是
那个 时间位置
时段 的一
part
和
那个 实体
经历了
那个 第三 实体
和
那个 另外 实体
是
那个 第三 实体
的
patient
和
那个 另外 实体
是
有点 生物活性物质
的
instance
增加
那个 疾病或综合症
不 是
那个 实体
的
attribute
在 紧接
那个 时间位置
after
holdsDuring
发生的机率
(=>
(
holdsDuring
?T
(
and
(
maxDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3629-3642
如果
maxDeviceOperatingTemp
实体
and
另一个 实体
第三 实体
和
那个 第三 实体
是
UnitOfTemperature
的
instance
和
那个 实体
是
located
在
第四 实体
和
设备上
是
那个 实体
的
attribute
和
第五 实体
那个 第三 实体
是
那个 第四 实体
的
air
温度 和
那个 第五 实体
是
greaterThan
那个 另外 实体
在
时间位置
holdsDuring
,
然后
DeviceDamaged
是
那个 实体
的
attribute
在 紧接
那个 时间位置
after
holdsDuring
的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
and
(
maxDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3657-3670
如果
maxDeviceStorageTemp
实体
and
另一个 实体
第三 实体
和
那个 第三 实体
是
UnitOfTemperature
的
instance
和
那个 实体
是
located
在
第四 实体
和
设备关闭
是
那个 实体
的
attribute
和
第五 实体
那个 第三 实体
是
那个 第四 实体
的
air
温度 和
那个 第五 实体
是
greaterThan
那个 另外 实体
在
时间位置
holdsDuring
,
然后
DeviceDamaged
是
那个 实体
的
attribute
在 紧接
那个 时间位置
after
holdsDuring
的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
and
(
minDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3682-3695
如果
minDeviceOperatingTemp
实体
and
另一个 实体
第三 实体
和
那个 第三 实体
是
UnitOfTemperature
的
instance
和
那个 实体
是
located
在
第四 实体
和
设备上
是
那个 实体
的
attribute
和
第五 实体
那个 第三 实体
是
那个 第四 实体
的
air
温度 和
那个 第五 实体
是
lessThan
那个 另外 实体
在
时间位置
holdsDuring
,
然后
DeviceDamaged
是
那个 实体
的
attribute
在 紧接
那个 时间位置
after
holdsDuring
的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
and
(
minDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3708-3721
如果
minDeviceStorageTemp
实体
and
另一个 实体
第三 实体
和
那个 第三 实体
是
UnitOfTemperature
的
instance
和
那个 实体
是
located
在
第四 实体
和
设备关闭
是
那个 实体
的
attribute
和
第五 实体
那个 第三 实体
是
那个 第四 实体
的
air
温度 和
那个 第五 实体
是
lessThan
那个 另外 实体
在
时间位置
holdsDuring
,
然后
DeviceDamaged
是
那个 实体
的
attribute
在 紧接
那个 时间位置
after
holdsDuring
的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
attribute
?H
Covid19
))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H)))
Likely
))
Medicine.kif 2798-2807
如果
Covid19
是
实体
的
attribute
在
时间位置
holdsDuring
,
然后
另一个 实体
是
COVIDAntibody
的
instance
和
那个 另外 实体
是
那个 实体
的
part
在 紧接
那个 时间位置
after
holdsDuring
的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
attribute
?H
Sleepy
))
(
desires
?H
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?H
Asleep
))))
Mid-level-ontology.kif 16434-16440
如果
Sleepy
是
有认知的主事
的
attribute
在
时间位置
holdsDuring
,
然后
那个 有认知的主事
desires
睡着
是
那个 有认知的主事
的
attribute
在 紧接
那个 时间位置
after
holdsDuring
(=>
(
holdsDuring
?TIME
(
attribute
?T
Tourniquet
))
(
exists
(?P ?B ?A)
(
and
(
instance
?P
Human
)
(
instance
?B
Bleeding
)
(
instance
?A
Attaching
)
(
experiencer
?B ?P)
(
destination
?A ?P)
(
objectTransferred
?A ?T)
(
hasPurpose
?T
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Bleeding
)
(
overlapsTemporally
(
WhenFn
?B2)
(
ImmediateFutureFn
(
WhenFn
?A)))
(
experiencer
?B2 ?P))))))))
Medicine.kif 20-39
如果
Tourniquet
是
客体
的
attribute
在
那个 客体
IME
holdsDuring
,
然后 有存在
施事体
,
过程
, and 和
转移
这样
那个 施事体
是
人类
的
instance
和
那个 过程
是
流血的
的
instance
和
那个 转移
是
连接
的
instance
和
那个 施事体
经历了
那个 过程
和
那个 转移
在
那个 施事体
结束 和
objectTransferred
那个 转移
and
那个 客体
和
那个 客体
的 目的 是 不存在
那个 过程
2 这样
那个 过程
2 是
流血的
的
instance
和 紧接
那个 转移
出现 的
time
after
时段 和
那个 过程
2 出现 的
time
重叠 和
那个 施事体
经历了
那个 过程
2
(=>
(
holdsDuring
?TIME
(
confersNorm
?ENTITY ?FORMULA ?NORM))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
modalAttribute
?FORMULA ?NORM)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
modalAttribute
?FORMULA ?NORM))))
Merge.kif 4000-4010
如果
实体
confers
规范
另一个 实体
对于
第三 实体
在
时间位置
holdsDuring
,
然后
那个 另外 实体
的声明 doesn't have
那个 第三 实体
的语气 在 紧接
那个 时间位置
before
holdsDuring
和
那个 另外 实体
的声明 has
那个 第三 实体
的语气 在 紧接
那个 时间位置
after
holdsDuring
(=>
(
holdsDuring
?TIME
(
deprivesNorm
?ENTITY ?FORMULA ?NORM))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
modalAttribute
?FORMULA ?NORM))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
modalAttribute
?FORMULA ?NORM)))))
Merge.kif 4022-4031
如果
实体
对
另一个 实体
剥夺规范
第三 实体
在
时间位置
holdsDuring
,
然后
那个 第三 实体
的声明 has
那个 另外 实体
的语气 在 紧接
那个 时间位置
before
holdsDuring
和
那个 第三 实体
的声明 doesn't have
那个 另外 实体
的语气 在 紧接
那个 时间位置
after
holdsDuring
(=>
(
instance
?BA
BleedingAir
)
(
hasPurpose
?BA
(
exists
(?FC ?A)
(
and
(
instance
?FC
FluidContainer
)
(
instance
?A
Air
)
(
holdsDuring
(
ImmediatePastFn
?BA)
(
contains
?FC ?A))
(
holdsDuring
(
ImmediateFutureFn
?BA)
(
not
(
contains
?FC ?A)))))))
Cars.kif 1519-1529
如果
物理
是
BleedingAir
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
液体容器
的
instance
和
那个 另外 实体
是
空气
的
instance
和
那个 实体
contains
那个 另外 实体
在 紧接
那个 物理
before
holdsDuring
和
那个 实体
doesn't
contains
那个 另外 实体
在 紧接
那个 物理
after
holdsDuring
(=>
(
instance
?C
Clotting
)
(
exists
(?B)
(
and
(
instance
?B
Blood
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
attribute
?B
Liquid
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
attribute
?B
Solid
)))))
Mid-level-ontology.kif 10498-10510
如果
物理
是
Clotting
的
instance
,
然后 有存在
实体
这样
那个 实体
是
血液
的
instance
和
液体
是
那个 实体
的
attribute
在 紧接
那个 物理
出现 的
time
before
holdsDuring
和
固体
是
那个 实体
的
attribute
在 紧接
那个 物理
出现 的
time
after
holdsDuring
(=>
(
instance
?C
Coronation
)
(
exists
(?PERSON ?PLACE)
(
and
(
instance
?PERSON
Human
)
(
patient
?C ?PERSON)
(
instance
?PLACE
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
chiefOfState
?PLACE
Monarch
?PERSON)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
chiefOfState
?PLACE
Monarch
?PERSON)))))
Government.kif 1375-1390
如果
过程
是
Coronation
的
instance
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
人类
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 另外 实体
是
地缘政治区域
的
instance
和
那个 另外 实体
不是 州
君主
的
chief
对于
那个 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 另外 实体
州
君主
的
chief
对于
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
instance
?FD
FoodDistributionOperation
)
(
exists
(?FOOD ?CA)
(
and
(
instance
?FOOD
(
FoodForFn
Animal
))
(
instance
?CA
CognitiveAgent
)
(
patient
?FD ?FOOD)
(
destination
?FD ?CA)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?FD))
(
possesses
?CA ?FOOD)))))
Military.kif 62-71
如果
过程
是
食品配送业务
的
instance
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
food
for
动物
的
instance
和
那个 另外 实体
是
有认知的主事
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 过程
在
那个 另外 实体
结束 和
那个 另外 实体
possesses
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
instance
?FMIP
FindMyIPhone
)
(
hasPurpose
?FMIP
(
exists
(?A ?IP ?P ?L)
(
and
(
instance
?IP
AppleIPhone
)
(
instrument
?P ?FMIP)
(
agent
?P ?A)
(
patient
?P ?IP)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?P))
(
not
(
knows
?A
(
located
?IP ?L))))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?P))
(
knows
?A
(
located
?IP ?L)))))))
ComputingBrands.kif 4263-4282
如果
物理
是
FindMyIPhone
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 另外 实体
是
iPhone
的
instance
和
那个 物理
是导致
那个 第三 实体
的
instrument
和
那个 实体
是
那个 第三 实体
的
agent
和
那个 另外 实体
是
那个 第三 实体
的
patient
和
那个 实体
doesn't
knows
那个 另外 实体
是
located
在
那个 第四 实体
在 紧接
那个 第三 实体
出现 的
time
before
holdsDuring
和
那个 实体
knows
那个 另外 实体
是
located
在
那个 第四 实体
在 紧接
那个 第三 实体
出现 的
time
after
holdsDuring
(=>
(
instance
?I
Inflating
)
(
exists
(?G1 ?G2 ?V1 ?V2 ?S ?U)
(
and
(
instance
?G1 ?S)
(
instance
?G2 ?S)
(
instance
?S
Substance
)
(
attribute
?G1
Gas
)
(
attribute
?G2
Gas
)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
measure
?G1
(
MeasureFn
?V1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
measure
?G2
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V2 ?V1))))
Cars.kif 3606-3622
如果
物理
是
Inflating
的
instance
,
然后 有存在
客体
,
另一个 客体
,, ,
实数
,, ,
另一个 实数
,, ,
类
, and 和
实体
这样
那个 客体
是
那个 类
的
instance
和
那个 另外 客体
是
那个 类
的
instance
和
那个 类
是
物质
的
instance
和
加油站
是
那个 客体
的
attribute
和
加油站
是
那个 另外 客体
的
attribute
和
那个 实体
是
UnitOfVolume
的
instance
和
那个 客体
的
measure
是
那个 实数
那个 实体
在 紧接
那个 物理
出现 的
time
before
holdsDuring
和
那个 另外 客体
的
measure
是
那个 另外 实数
那个 实体
在 紧接
那个 物理
出现 的
time
after
holdsDuring
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
instance
?INTERVAL
TimeInterval
)
(
starts
(
ImmediateFutureFn
?INTERVAL)
(
FutureFn
?INTERVAL)))
Merge.kif 8535-8537
如果
时间位置
是
时距
的
instance
,
然后 紧接
那个 时间位置
after
starts
了才到
那个 时间位置
之后
(=>
(
instance
?MD
MountingADevice
)
(
exists
(?C ?P)
(
and
(
instance
?C
Computer
)
(
instance
?P
ComputerIODevice
)
(
patient
?MD ?C)
(
patient
?MD ?P)
(
holdsDuring
(
WhenFn
?MD)
(
connectedEngineeringComponents
?C ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MD))
(
connectedPeripheral
?P ?C)))))
ComputingBrands.kif 3801-3812
如果
过程
是
MountingADevice
的
instance
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
电脑
的
instance
和
那个 另外 实体
是
ComputerIODevice
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 另外 实体
是
那个 过程
的
patient
和
那个 实体
是 和
那个 另外 实体
connected
在
那个 过程
出现 的
time
holdsDuring
和
connectedPeripheral
那个 另外 实体
and
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
instance
?S
Shrapnel
)
(
exists
(?B ?E)
(
and
(
instance
?B
Bomb
)
(
instance
?E
Explosion
)
(
instrument
?E ?B)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?E))
(
part
?S ?B))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?E))
(
not
(
part
?S ?B))))))
MilitaryDevices.kif 2103-2118
如果
实体
是
Shrapnel
的
instance
,
然后 有存在
客体
和
过程
这样
那个 客体
是
炸弹
的
instance
和
那个 过程
是
爆炸
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 实体
是
那个 客体
的
part
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 实体
不 是
那个 客体
的
part
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
instance
?WED
Wedding
)
(
exists
(?PERSON1 ?PERSON2)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WED))
(
spouse
?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 7965-7970
如果
物理
是
婚礼
的
instance
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
那个 另外 实体
的
spouse
在 紧接
那个 物理
出现 的
time
after
holdsDuring
(=>
(
instance
?X
DeletingData
)
(
and
(
exists
(?DATA)
(
and
(
instance
?DATA
DigitalData
)
(
patient
?X ?DATA)))
(
not
(
exists
(?PROC ?CLASS)
(
and
(
instance
?PROC
ComputerProcess
)
(
instance
?PROC ?CLASS)
(
not
(
instance
?PROC
RestoringData
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?X))
(
capability
?CLASS
patient
?DATA)))))))
QoSontology.kif 112-129
如果
过程
是
DeletingData
的
instance
,
然后 有存在
实体
这样
那个 实体
是
数字数据
的
instance
和
那个 实体
是
那个 过程
的
patient
和 不存在
另一个 实体
和
类
这样
那个 另外 实体
是
电脑程序
的
instance
和
那个 另外 实体
是
那个 类
的
instance
和
那个 另外 实体
不 是
RestoringData
的
instance
和
那个 实体
能够担当
受事
的角色做
那个 类
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
instance
?X
Key
)
(
hasPurpose
?X
(
exists
(?LOCK ?CLOSE ?OPEN)
(
and
(
instance
?LOCK
Lock
)
(
capability
(
KappaFn
?CLOSE
(
and
(
instance
?CLOSE
Closing
)
(
patient
?CLOSE ?LOCK)
(
holdsDuring
(
ImmediateFutureFn
?CLOSE)
(
attribute
?LOCK
Locked
))))
instrument
?X)
(
capability
(
KappaFn
?OPEN
(
and
(
instance
?OPEN
Closing
)
(
patient
?OPEN ?LOCK)
(
holdsDuring
(
ImmediateFutureFn
?OPEN)
(
not
(
attribute
?LOCK
Locked
)))))
instrument
?X)))))
Mid-level-ontology.kif 2670-2692
如果
物理
是
键
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
锁
的
instance
和
那个 物理
能够担当
工具
的角色做
那个 另外 实体
所描述的类别 和
那个 物理
能够担当
工具
的角色做
那个 第三 实体
所描述的类别
(=>
(
instance
?X
OperatorAssistedTelephoneCommunication
)
(
exists
(?ORIGIN ?DEST ?OPERATOR)
(
and
(
origin
?X ?ORIGIN)
(
destination
?X ?DEST)
(
instance
?OPERATOR
Human
)
(
hasPurpose
?OPERATOR
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?OPERATOR)
(
subProcess
?PROC ?X)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?PROC))
(
modalAttribute
(
exists
(?COMM)
(
and
(
instance
?COMM
Communication
)
(
origin
?COMM ?ORIGIN)
(
destination
?COMM ?DEST)))
Possibility
))))))))
Mid-level-ontology.kif 27047-27069
如果
过程
是
OperatorAssistedTelephoneCommunication
的
instance
,
然后 有存在
客体
,
实体
, and 和
物理
这样
那个 客体
是
那个 过程
的源头 和
那个 过程
在
那个 实体
结束 和
那个 物理
是
人类
的
instance
和
那个 物理
的 目的 是 有存在
另一个 实体
这样
那个 另外 实体
是
有意图过程
的
instance
和
那个 物理
是
那个 另外 实体
的
agent
和
那个 另外 实体
%n是
那个 过程
的
subProcess
和 有存在
第四 实体
这样
那个 第四 实体
是
沟通
的
instance
和
那个 客体
是
那个 第四 实体
的源头 和
那个 第四 实体
在
那个 实体
结束 的声明 has
可能性
的语气 在 紧接
那个 另外 实体
出现 的
time
after
holdsDuring
(=>
(
instance
?X
RemoteKeylessSystem
)
(
exists
(?KEY ?LOCK ?CLOSE ?OPEN)
(
and
(
instance
?KEY
Key
)
(
instance
?KEY
RemoteControl
)
(
member
?KEY ?X)
(
instance
?LOCK
Lock
)
(
member
?LOCK ?X)
(
capability
(
KappaFn
?CLOSE
(
and
(
instance
?CLOSE
Closing
)
(
patient
?CLOSE ?LOCK)
(
holdsDuring
(
ImmediateFutureFn
?CLOSE)
(
attribute
?LOCK
Locked
))))
instrument
?KEY)
(
capability
(
KappaFn
?OPEN
(
and
(
instance
?OPEN
Closing
)
(
patient
?OPEN ?LOCK)
(
holdsDuring
(
ImmediateFutureFn
?OPEN)
(
not
(
attribute
?LOCK
Locked
)))))
instrument
?KEY))))
Cars.kif 3775-3800
如果
群体
是
RemoteKeylessSystem
的
instance
,
然后 有存在
客体
,
物理
,, ,
符号串
, and 和
另一个 符号串
这样
那个 客体
是
键
的
instance
和
那个 客体
是
RemoteControl
的
instance
和
那个 客体
是
那个 群体
的
member
和
那个 物理
是
锁
的
instance
和
那个 物理
是
那个 群体
的
member
和
那个 客体
能够担当
工具
的角色做
那个 符号串
所描述的类别 和
那个 客体
能够担当
工具
的角色做
那个 另外 符号串
所描述的类别
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