part
(=>
(
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 2817-2836
如果
客体
是
内燃机
的
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
?E
TriticumUrartu
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3948-3953
如果
客体
是
TriticumUrartu
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 客体
是
那个 另外 客体
LASS 的
instance
,
然后
那个 另外 客体
LASS 是
DiploidCell
的
subclass
(=>
(
and
(
instance
?EARPHONE
Earphone
)
(
wears
?PERSON ?EARPHONE)
(
instance
?HEAD
Head
)
(
part
?HEAD ?PERSON))
(
located
?EARPHONE ?HEAD))
ComputerInput.kif 510-516
如果
可穿戴物品
是
Earphone
的
instance
和
动物
wears
那个 可穿戴物品
和
客体
是
头
的
instance
和
那个 客体
是
那个 动物
的
part
,
然后
那个 可穿戴物品
是
located
在
那个 客体
(=>
(
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 1904-1923
如果
过程
是
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 1874-1893
如果
过程
是
EngineCycle
的
instance
和
客体
是
内燃机
的
instance
和
另一个 客体
是
CombustionChamber
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 过程
是
located
在
那个 客体
和
实体
是
UnitOfVolume
的
instance
和
minCylinderVolume
那个 客体
and
实数
那个 实体
在
那个 过程
出现 的
time
holdsDuring
,
然后 不存在
另一个 实数
和
时距
这样
那个 时距
在
那个 过程
出现 的
time
时段内发生 和
那个 另外 客体
的
measure
是
那个 另外 实数
那个 实体
在
那个 时距
holdsDuring
和
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?P
Piston
)
(
instance
?U
UnitOfLength
)
(
part
?P ?E)
(
patient
?EC ?P)
(
eventLocated
?EC ?E)
(
pistonStroke
?E
(
MeasureFn
?LM ?U)))
(
not
(
exists
(?T1 ?T2 ?L1 ?L2 ?D)
(
and
(
during
?T1
(
WhenFn
?EC))
(
during
?T2
(
WhenFn
?EC))
(
holdsDuring
?T1
(
located
?P ?L1))
(
holdsDuring
?T2
(
located
?P ?L2))
(
distance
?L1 ?L2
(
MeasureFn
?D ?U))
(
greaterThan
?D ?LM)))))
Cars.kif 1949-1971
如果
过程
是
EngineCycle
的
instance
和
发动机
是
内燃机
的
instance
和
客体
是
Piston
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
那个 客体
是
那个 发动机
的
part
和
那个 客体
是
那个 过程
的
patient
和
那个 过程
是
located
在
那个 发动机
和
pistonStroke
那个 发动机
and
实数
那个 测量单位
,
然后 不存在
时距
,
另一个 时距
,, ,
物理
,, ,
另一个 物理
, and 和
另一个 实数
这样
那个 时距
在
那个 过程
出现 的
time
时段内发生 和
那个 另外 时距
在
那个 过程
出现 的
time
时段内发生 和
那个 客体
是
located
在
那个 物理
在
那个 时距
holdsDuring
和
那个 客体
是
located
在
那个 另外 物理
在
那个 另外 时距
holdsDuring
和
那个 物理
和
那个 另外 物理
的
distance
是
那个 另外 实数
那个 测量单位
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?ECS
EngineCoolingSystem
)
(
instance
?E
Engine
)
(
instance
?A
Automobile
)
(
part
?ECS ?A)
(
part
?E ?A))
(
hasPurpose
?ECS
(
exists
(?C)
(
and
(
instance
?C
Cooling
)
(
instrument
?C ?ECS)
(
patient
?C ?E)))))
Cars.kif 2148-2160
如果
客体
是
EngineCoolingSystem
的
instance
和
另一个 客体
是
发动机
的
instance
和
第三 客体
是
汽车
的
instance
和
那个 客体
是
那个 第三 客体
的
part
和
那个 另外 客体
是
那个 第三 客体
的
part
,
然后
那个 客体
的 目的 是 有存在
实体
这样
那个 实体
是
冷却
的
instance
和
那个 客体
是导致
那个 实体
的
instrument
和
那个 另外 客体
是
那个 实体
的
patient
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGAbnormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
attribute
?P
(
ImpairedBodyPartFn
Heart
))
Likely
))
Medicine.kif 1882-1891
如果
客体
是
Electrocardiogram
的
instance
和
EKGAbnormal
是
那个 客体
的
attribute
和
那个 客体
提到
另一个 客体
和
那个 另外 客体
是
第三 客体
的
part
和
那个 另外 客体
是
心
的
instance
,
然后
ImpairedBodyPartFn
心
是
那个 第三 客体
的
attribute
的声明 has
容易
的语气
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGNormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
not
(
attribute
?P
(
ImpairedBodyPartFn
Heart
)))
Likely
))
Medicine.kif 1865-1875
如果
客体
是
Electrocardiogram
的
instance
和
EKGNormal
是
那个 客体
的
attribute
和
那个 客体
提到
另一个 客体
和
那个 另外 客体
是
第三 客体
的
part
和
那个 另外 客体
是
心
的
instance
,
然后
ImpairedBodyPartFn
心
不 是
那个 第三 客体
的
attribute
的声明 has
容易
的语气
(=>
(
and
(
instance
?ET
AuditoryCanal
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
diameter
?ET
(
MeasureFn
?N
Millimeter
)))
(
approximateValue
?N 0.7))
Anatomy.kif 1576-1583
如果
客体
是
AuditoryCanal
的
instance
和
那个 客体
是
另一个 客体
的
part
和
Healthy
是
那个 另外 客体
的
attribute
和
那个 客体
的
diameter
是
实数
毫米
,
然后
approximateValue
那个 实数
and 0.7
(=>
(
and
(
instance
?ET
AuditoryCanal
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
length
?ET
(
MeasureFn
?N
Centimeter
)))
(
approximateValue
?N 2.5))
Anatomy.kif 1567-1574
如果
客体
是
AuditoryCanal
的
instance
和
那个 客体
是
另一个 客体
的
part
和
Healthy
是
那个 另外 客体
的
attribute
和
那个 客体
的
length
是
实数
厘米
,
然后
approximateValue
那个 实数
and 2.5
(=>
(
and
(
instance
?ET
EustachianTube
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
diameter
?ET
(
MeasureFn
?N
Millimeter
)))
(
approximateValue
?N 3.0))
Anatomy.kif 1526-1533
如果
客体
是
EustachianTube
的
instance
和
那个 客体
是
另一个 客体
的
part
和
Healthy
是
那个 另外 客体
的
attribute
和
那个 客体
的
diameter
是
实数
毫米
,
然后
approximateValue
那个 实数
and 3.0
(=>
(
and
(
instance
?ET
EustachianTube
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
length
?ET
(
MeasureFn
?N
Centimeter
)))
(
approximateValue
?N 35.0))
Anatomy.kif 1517-1524
如果
客体
是
EustachianTube
的
instance
和
那个 客体
是
另一个 客体
的
part
和
Healthy
是
那个 另外 客体
的
attribute
和
那个 客体
的
length
是
实数
厘米
,
然后
approximateValue
那个 实数
and 35.0
(=>
(
and
(
instance
?F
Face
)
(
part
?F ?P)
(
equal
?B
(
BackFn
?P)))
(
not
(
part
?F ?B)))
Mid-level-ontology.kif 12900-12907
如果
客体
是
面对
的
instance
和
那个 客体
是
自身连接物体
的
part
和
另一个 自身连接物体
equal
那个 自身连接物体
的后面,
然后
那个 客体
不 是
那个 另外 自身连接物体
的
part
(=>
(
and
(
instance
?F
Face
)
(
part
?F ?P)
(
equal
?B
(
FrontFn
?P)))
(
part
?F ?B))
Mid-level-ontology.kif 12909-12915
如果
客体
是
面对
的
instance
和
那个 客体
是
自身连接物体
的
part
和
另一个 自身连接物体
equal
那个 自身连接物体
的前面,
然后
那个 客体
是
那个 另外 自身连接物体
的
part
(=>
(
and
(
instance
?F
FlatWhite
)
(
part
?B ?F)
(
instance
?B
Bubble
))
(
attribute
?B
Brown
))
Food.kif 1360-1365
如果
客体
是
FlatWhite
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
气泡
的
instance
,
然后
棕色
是
那个 另外 客体
的
attribute
(=>
(
and
(
instance
?F
Forehead
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?F ?EYE
Above
))))
Anatomy.kif 1488-1500
如果
客体
是
Forehead
的
instance
和
Healthy
是
另一个 客体
的
attribute
和
站立
是
那个 另外 客体
的
attribute
在
时间位置
holdsDuring
和
第三 客体
是
那个 另外 客体
的
part
,
然后 有存在
那个 第三 客体
YE 这样
那个 第三 客体
YE 是
眼睛
的
instance
和
那个 第三 客体
YE 是
那个 另外 客体
的
part
和
那个 客体
在
那个 第三 客体
YE 的
以上
(=>
(
and
(
instance
?FB
FanBelt
)
(
instance
?EF
EngineFan
)
(
instance
?A
Automobile
)
(
part
?FB ?A)
(
part
?EF ?A)
(
instance
?M
Motion
)
(
patient
?M ?FB))
(
hasPurpose
?FB
(
exists
(?M2)
(
and
(
instance
?M2
Rotating
)
(
causes
?M ?M2)
(
patient
?M2 ?EF)))))
Cars.kif 2736-2750
如果
客体
是
FanBelt
的
instance
和
另一个 客体
是
EngineFan
的
instance
和
第三 客体
是
汽车
的
instance
和
那个 客体
是
那个 第三 客体
的
part
和
那个 另外 客体
是
那个 第三 客体
的
part
和
过程
是
运动
的
instance
和
那个 客体
是
那个 过程
的
patient
,
然后
那个 客体
的 目的 是 有存在
那个 过程
2 这样
那个 过程
2 是
旋转
的
instance
和
那个 过程
causes
那个 过程
2 和
那个 另外 客体
是
那个 过程
2 的
patient
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP)
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)
(
path
?T ?P))
(
hasPurpose
?T
(
exists
(?FF)
(
and
(
instance
?FF
FuelFilter
)
(
betweenOnPath
?GT ?FF ?EC ?P)))))
Cars.kif 1070-1090
如果
客体
是
FuelPump
的
instance
和
另一个 客体
是
汽车
的
instance
和
那个 客体
是
那个 另外 客体
的
part
和
运动
是
运输
的
instance
和
过程
是
汽油
的
instance
和
那个 过程
是
那个 运动
的
patient
和
那个 客体
是导致
那个 过程
的
instrument
和
第三 客体
是
GasTank
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
part
和
第四 客体
是
EngineCylinder
的
instance
和
那个 第四 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
是
那个 运动
的源头 和
那个 运动
在
那个 第四 客体
结束 和
第五 客体
%n是
那个 运动
发生的
path
,
然后
那个 运动
的 目的 是 有存在
那个 过程
F 这样
那个 过程
F 是
FuelFilter
的
instance
和
那个 第三 客体
對於
那个 第四 客体
between
在路徑
那个 过程
F
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP))
(
hasPurpose
?FP
(
exists
(?GT ?EC)
(
and
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)))))
Cars.kif 1051-1068
如果
客体
是
FuelPump
的
instance
和
另一个 客体
是
汽车
的
instance
和
那个 客体
是
那个 另外 客体
的
part
和
过程
是
运输
的
instance
和
另一个 过程
是
汽油
的
instance
和
那个 另外 过程
是
那个 过程
的
patient
和
那个 客体
是导致
那个 另外 过程
的
instrument
,
然后
那个 客体
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
GasTank
的
instance
和
那个 实体
是
那个 另外 客体
的
part
和
那个 另外 实体
是
EngineCylinder
的
instance
和
那个 另外 实体
是
那个 另外 客体
的
part
和
那个 实体
是
那个 过程
的源头 和
那个 过程
在
那个 另外 实体
结束
(=>
(
and
(
instance
?G
Gun
)
(
instance
?B
GunBarrel
)
(
part
?B ?G)
(
instance
?S
Shooting
)
(
instrument
?S ?G)
(
patient
?S ?P)
(
instance
?P
Projectile
))
(
exists
(?SUB)
(
and
(
subProcess
?SUB ?S)
(
path
?SUB ?B))))
Mid-level-ontology.kif 1235-1247
如果
客体
是
枪
的
instance
和
另一个 客体
是
枪管
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
过程
是
射击
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
实体
是
那个 过程
的
patient
和
那个 实体
是
抛射物
的
instance
,
然后 有存在
那个 过程
UB 这样
那个 过程
UB%n是
那个 过程
的
subProcess
和
那个 另外 客体
%n是
那个 过程
UB发生的
path
(=>
(
and
(
instance
?H
Human
)
(
instance
?R
Rectum
)
(
part
?R ?H)
(
holdsDuring
?T
(
and
(
coreBodyTemp
?H
(
MeasureFn
?N ?U))
(
measure
?R
(
MeasureFn
?N2 ?U)))))
(
approximateValue
?N ?N2))
Medicine.kif 519-530
如果
客体
是
人类
的
instance
和
另一个 客体
是
Rectum
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
coreBodyTemp
那个 客体
and
实数
实体
和
那个 另外 客体
的
measure
是
那个 实数
2
那个 实体
在
时间位置
holdsDuring
,
然后
approximateValue
那个 实数
and
那个 实数
2
(=>
(
and
(
instance
?HOLE2
HoleRegion
)
(
part
?HOLE1 ?HOLE2))
(
attribute
?HOLE1
Fillable
))
Merge.kif 9990-9994
如果
客体
是
洞
的
instance
和
另一个 客体
是
那个 客体
的
part
,
然后
可填写
是
那个 另外 客体
的
attribute
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