part
(=>
(
and
(
instance
?BTS
BimetalTemperatureSensor
)
(
instance
?M1
Metal
)
(
instance
?M2
Metal
)
(
not
(
equal
?M1 ?M2))
(
part
?M1 ?BTS)
(
part
?M2 ?BTS)
(
instance
?T1
TemperatureMeasure
)
(
instance
?T2
TemperatureMeasure
)
(
instance
?L1
LengthMeasure
)
(
instance
?L2
LengthMeasure
)
(
instance
?L3
LengthMeasure
)
(
instance
?L4
LengthMeasure
)
(
not
(
equal
?T1 ?T2))
(
not
(
equal
?TM1 ?TM2))
(
holdsDuring
?TM1
(
and
(
measure
?BTS ?T1)
(
measure
?M1 ?L1)
(
measure
?M2 ?L2)))
(
holdsDuring
?TM2
(
and
(
measure
?BTS ?T2)
(
measure
?M1 ?L3)
(
measure
?M2 ?L4))))
(
not
(
equal
(
DivisionFn
?L1 ?L2)
(
DivisionFn
?L3 ?L4))))
Cars.kif 4081-4113
如果
客体
是
BimetalTemperatureSensor
的
instance
和
另一个 客体
是
金属
的
instance
和
第三 客体
是
金属
的
instance
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 另外 客体
是
那个 客体
的
part
和
那个 第三 客体
是
那个 客体
的
part
和
实体
是
温度测量
的
instance
和
另一个 实体
是
温度测量
的
instance
和
实数
是
长度测量
的
instance
和
另一个 实数
是
长度测量
的
instance
和
第三 实数
是
长度测量
的
instance
和
第四 实数
是
长度测量
的
instance
和
那个 实体
不
equal
那个 另外 实体
和
时间位置
不
equal
另一个 时间位置
和
那个 客体
的
measure
是
那个 实体
和
那个 另外 客体
的
measure
是
那个 实数
和
那个 第三 客体
的
measure
是
那个 另外 实数
在
那个 时间位置
holdsDuring
和
那个 客体
的
measure
是
那个 另外 实体
和
那个 另外 客体
的
measure
是
那个 第三 实数
和
那个 第三 客体
的
measure
是
那个 第四 实数
在
那个 另外 时间位置
holdsDuring
,
然后
那个 实数
和
那个 另外 实数
不
equal
那个 第三 实数
和
那个 第四 实数
(=>
(
and
(
instance
?C
Cam
)
(
instance
?CS
Camshaft
)
(
instance
?E
Engine
)
(
part
?C ?E)
(
part
?CS ?E))
(
hasPurpose
?CS
(
connectedEngineeringComponents
?C ?CS)))
Cars.kif 1660-1668
如果
客体
是
Cam
的
instance
和
那个 客体
S 是
Camshaft
的
instance
和
第三 客体
是
发动机
的
instance
和
那个 客体
是
那个 第三 客体
的
part
和
那个 客体
S 是
那个 第三 客体
的
part
,
然后
那个 客体
S 的 目的 是
那个 客体
是 和
那个 客体
S
connected
(=>
(
and
(
instance
?C
Cappuccino
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
instance
?B
Bubble
)
(
top
?B ?M)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
approximateValue
?L 20.0)))
Food.kif 1285-1301
如果
客体
是
Cappuccino
的
instance
和
物质
是
那个 客体
的
part
和
另一个 物质
是
那个 客体
的
part
和
那个 物质
是
Espresso
的
instance
和
那个 另外 物质
是
MilkFoam
的
instance
和
mixtureRatio
那个 物质
,
那个 另外 物质
,
实数
,
另一个 实数
and
升
和
自身连接物体
是
那个 另外 物质
的
part
和
那个 自身连接物体
是
气泡
的
instance
和
那个 自身连接物体
是
那个 另外 物质
的
top
和
那个 自身连接物体
的
measure
是
第三 实数
毫米
,
然后
approximateValue
那个 实数
and 0.03 和
approximateValue
那个 另外 实数
and 0.15 和
approximateValue
那个 第三 实数
and 20.0
(=>
(
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
?C
Chest
)
(
instance
?A
Animal
)
(
instance
?C ?A)
(
part
?C ?A))
(
exists
(?T)
(
and
(
instance
?T
Torso
)
(
part
?C ?T)
(
part
?T ?A))))
Mid-level-ontology.kif 11219-11229
如果
客体
是
Chest
的
instance
和
类
是
动物
的
instance
和
那个 客体
是
那个 类
的
instance
和
那个 客体
是
那个 类
的
part
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
躯干
的
instance
和
那个 客体
是
那个 另外 客体
的
part
和
那个 另外 客体
是
那个 类
的
part
(=>
(
and
(
instance
?C
Chest
)
(
part
?C ?P)
(
equal
?B
(
BackFn
?P)))
(
not
(
part
?C ?B)))
Anatomy.kif 1823-1830
如果
客体
是
Chest
的
instance
和
那个 客体
是
自身连接物体
的
part
和
另一个 自身连接物体
equal
那个 自身连接物体
的后面,
然后
那个 客体
不 是
那个 另外 自身连接物体
的
part
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOff
))
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2))))
Cars.kif 1838-1856
如果
客体
是
Clutch
的
instance
和
另一个 客体
是
汽车
的
instance
和
第三 客体
是
发动机
的
instance
和
第四 客体
是
变速器
的
instance
和
那个 第四 客体
EAR 是
齿轮
的
instance
和
那个 第四 客体
EAR 是
那个 第四 客体
的
part
和
那个 第四 客体
是
那个 另外 客体
的
part
和
那个 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
是
那个 另外 客体
的
part
和
过程
是
运动
的
instance
和
那个 第三 客体
是
那个 过程
的
patient
和
设备关闭
是
那个 客体
的
attribute
,
然后 有存在
那个 过程
2 这样
那个 过程
2 是
运动
的
instance
和
那个 第四 客体
是
那个 过程
2 的
patient
和
那个 过程
causes
那个 过程
2
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOn
))
(
not
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2)))))
Cars.kif 1817-1836
如果
客体
是
Clutch
的
instance
和
另一个 客体
是
汽车
的
instance
和
第三 客体
是
发动机
的
instance
和
第四 客体
是
变速器
的
instance
和
那个 第四 客体
EAR 是
齿轮
的
instance
和
那个 第四 客体
EAR 是
那个 第四 客体
的
part
和
那个 第四 客体
是
那个 另外 客体
的
part
和
那个 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
是
那个 另外 客体
的
part
和
过程
是
运动
的
instance
和
那个 第三 客体
是
那个 过程
的
patient
和
设备上
是
那个 客体
的
attribute
,
然后 不存在
那个 过程
2 这样
那个 过程
2 是
运动
的
instance
和
那个 第四 客体
是
那个 过程
2 的
patient
和
那个 过程
causes
那个 过程
2
(=>
(
and
(
instance
?C
CoffeeArabica
)
(
measure
?C
(
MeasureFn
?X
Gram
))
(
instance
?CC
Caffeine
)
(
part
?CC ?C)
(
measure
?CC
(
MeasureFn
?Y
Gram
))
(
equal
?Z
(
DivisionFn
?Y ?X)))
(
and
(
greaterThanOrEqualTo
?Z 0.008)
(
lessThanOrEqualTo
?Z 0.014)))
Economy.kif 4645-4658
如果
客体
是
CoffeeArabica
的
instance
和
那个 客体
的
measure
是
实数
公克
和
那个 客体
C 是
Caffeine
的
instance
和
那个 客体
C 是
那个 客体
的
part
和
那个 客体
C 的
measure
是
另一个 实数
公克
和
第三 实数
equal
那个 另外 实数
和
那个 实数
,
然后
那个 第三 实数
是
greaterThanOrEqualTo
0.008 和
那个 第三 实数
是
lessThanOrEqualTo
0.014
(=>
(
and
(
instance
?C
CoffeeRobusta
)
(
measure
?C
(
MeasureFn
?X
Gram
))
(
instance
?CC
Caffeine
)
(
part
?CC ?C)
(
measure
?CC
(
MeasureFn
?Y
Gram
))
(
equal
?Z
(
DivisionFn
?Y ?X)))
(
and
(
greaterThanOrEqualTo
?Z 0.017)
(
lessThanOrEqualTo
?Z 0.04)))
Economy.kif 4669-4682
如果
客体
是
CoffeeRobusta
的
instance
和
那个 客体
的
measure
是
实数
公克
和
那个 客体
C 是
Caffeine
的
instance
和
那个 客体
C 是
那个 客体
的
part
和
那个 客体
C 的
measure
是
另一个 实数
公克
和
第三 实数
equal
那个 另外 实数
和
那个 实数
,
然后
那个 第三 实数
是
greaterThanOrEqualTo
0.017 和
那个 第三 实数
是
lessThanOrEqualTo
0.04
(=>
(
and
(
instance
?C
Colloid
)
(
part
?P ?C)
(
or
(
attribute
?P
Solid
)
(
attribute
?P
Liquid
))
(
instance
?AIR
Air
)
(
part
?AIR ?C))
(
instance
?C
Aerosal
))
Geography.kif 7545-7554
如果
客体
是
胶体
的
instance
和
另一个 客体
是
那个 客体
的
part
和
固体
是
那个 另外 客体
的
attribute
或
液体
是
那个 另外 客体
的
attribute
和
第三 客体
是
空气
的
instance
和
那个 第三 客体
是
那个 客体
的
part
,
然后
那个 客体
是
气溶胶
的
instance
(=>
(
and
(
instance
?C
CommonWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 3963-3968
如果
客体
是
CommonWheatGrass
的
instance
和
那个 客体
ELL 是
那个 客体
的
part
和
那个 客体
ELL 是
那个 客体
LASS 的
instance
,
然后
那个 客体
LASS 是
HexaploidCell
的
subclass
(=>
(
and
(
instance
?C
Crankshaft
)
(
instance
?I
IntermittentCombustionEngine
)
(
part
?I ?C))
(
hasPurpose
?C
(
exists
(?E ?R)
(
and
(
instance
?E
Explosion
)
(
instance
?R
Rotating
)
(
patient
?R ?C)
(
eventLocated
?R ?I)
(
causes
?E ?R)))))
Cars.kif 349-361
如果
客体
是
Crankshaft
的
instance
和
另一个 客体
是
IntermittentCombustionEngine
的
instance
和
那个 另外 客体
是
那个 客体
的
part
,
然后
那个 客体
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
爆炸
的
instance
和
那个 另外 实体
是
旋转
的
instance
和
那个 客体
是
那个 另外 实体
的
patient
和
那个 另外 实体
是
located
在
那个 另外 客体
和
那个 实体
causes
那个 另外 实体
(=>
(
and
(
instance
?C
Cream
)
(
part
?C ?O1)
(
instance
?O1
ButterFat
)
(
measure
?O1
(
MeasureFn
?X
Gram
))
(
instance
?M
Milk
)
(
part
?M ?O2)
(
instance
?O2
ButterFat
)
(
measure
?O2
(
MeasureFn
?Y
Gram
)))
(
greaterThan
?X ?Y))
Food.kif 3124-3136
如果
客体
是
Cream
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
ButterFat
的
instance
和
那个 另外 客体
的
measure
是
实数
公克
和
第三 客体
是
乳
的
instance
和
那个 第三 客体
是
第四 客体
的
part
和
那个 第四 客体
是
ButterFat
的
instance
和
那个 第四 客体
的
measure
是
另一个 实数
公克
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7142-7162
如果
客体
是
水晶
的
instance
和
单晶结构
是
那个 客体
的
attribute
和
自身连接物体
是
物质
的
instance
和
固体
是
那个 自身连接物体
的
attribute
和
多晶结构
是
那个 自身连接物体
的
attribute
和
另一个 自身连接物体
是
物质
的
instance
和
那个 另外 自身连接物体
是
那个 自身连接物体
的
surface
和
那个 客体
不 是
那个 另外 自身连接物体
的
part
,
然后 有存在
那个 客体
LNT,
整数
, and 和
另一个 客体
这样
那个 客体
LNT 是
群体
的
instance
和
那个 整数
是
那个 客体
LNT 的
member
计数 和
那个 整数
是
greaterThanOrEqualTo
4 和
如果
那个 另外 客体
是
那个 客体
LNT 的
member
,
然后
那个 另外 客体
是
那个 自身连接物体
的
part
和
那个 客体
接上
那个 另外 客体
(=>
(
and
(
instance
?C
FlatWhite
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
part
?B ?E)
(
top
?B ?M)
(
instance
?B
Bubble
)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
greaterThanOrEqualTo
?L 1.0)
(
lessThanOrEqualTo
?L 20.0)))
Food.kif 1367-1385
如果
客体
是
FlatWhite
的
instance
和
物质
是
那个 客体
的
part
和
另一个 物质
是
那个 客体
的
part
和
那个 物质
是
Espresso
的
instance
和
那个 另外 物质
是
MilkFoam
的
instance
和
mixtureRatio
那个 物质
,
那个 另外 物质
,
实数
,
另一个 实数
and
升
和
自身连接物体
是
那个 另外 物质
的
part
和
那个 自身连接物体
是
那个 物质
的
part
和
那个 自身连接物体
是
那个 另外 物质
的
top
和
那个 自身连接物体
是
气泡
的
instance
和
那个 自身连接物体
的
measure
是
第三 实数
毫米
,
然后
approximateValue
那个 实数
and 0.03 和
approximateValue
那个 另外 实数
and 0.15 和
那个 第三 实数
是
greaterThanOrEqualTo
1.0 和
那个 第三 实数
是
lessThanOrEqualTo
20.0
(=>
(
and
(
instance
?C
Latte
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
instance
?B
Bubble
)
(
top
?B ?M)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.21)
(
approximateValue
?L 12.0)))
Food.kif 1399-1415
如果
客体
是
Latte
的
instance
和
物质
是
那个 客体
的
part
和
另一个 物质
是
那个 客体
的
part
和
那个 物质
是
Espresso
的
instance
和
那个 另外 物质
是
MilkFoam
的
instance
和
mixtureRatio
那个 物质
,
那个 另外 物质
,
实数
,
另一个 实数
and
升
和
自身连接物体
是
那个 另外 物质
的
part
和
那个 自身连接物体
是
气泡
的
instance
和
那个 自身连接物体
是
那个 另外 物质
的
top
和
那个 自身连接物体
的
measure
是
第三 实数
毫米
,
然后
approximateValue
那个 实数
and 0.03 和
approximateValue
那个 另外 实数
and 0.21 和
approximateValue
那个 第三 实数
and 12.0
(=>
(
and
(
instance
?C
SpeltWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 3993-3998
如果
客体
是
SpeltWheatGrass
的
instance
和
那个 客体
ELL 是
那个 客体
的
part
和
那个 客体
ELL 是
那个 客体
LASS 的
instance
,
然后
那个 客体
LASS 是
HexaploidCell
的
subclass
(=>
(
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
?CC
ComputerCable
)
(
not
(
instance
?C
Cable
))
(
part
?C ?CC))
(
or
(
instance
?C
MaleConnector
)
(
instance
?C
FemaleConnector
)))
ComputingBrands.kif 2746-2754
如果
客体
是
连接线
的
instance
和
另一个 客体
不 是
Cable
的
instance
和
那个 另外 客体
是
那个 客体
的
part
,
然后
那个 另外 客体
是
公
的
instance
或
那个 另外 客体
是
母
的
instance
(=>
(
and
(
instance
?CELL
HexaploidCell
)
(
part
?N ?CELL)
(
instance
?N
CellNucleus
)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
))
(
exists
(?A ?B ?C)
(
and
(
instance
?A
HomologousChromosomeSet
)
(
subCollection
?A ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
subCollection
?B ?COLL)
(
instance
?C
HomologousChromosomeSet
)
(
subCollection
?C ?COLL)
(
not
(
equal
?A ?B)
(
equal
?A ?C)
(
equal
?B ?C)))))
VirusProteinAndCellPart.kif 1004-1023
如果
客体
是
HexaploidCell
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
细胞核
的
instance
和
群体
是
located
在
那个 另外 客体
和
那个 群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别,
然后 有存在
另一个 群体
,
第三 群体
, and 和
第四 群体
这样
那个 另外 群体
是
HomologousChromosomeSet
的
instance
和
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 第三 群体
是
HomologousChromosomeSet
的
instance
和
那个 第三 群体
是
那个 群体
的 真正的子集 和
那个 第四 群体
是
HomologousChromosomeSet
的
instance
和
那个 第四 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
不
equal
那个 第三 群体
(=>
(
and
(
instance
?CELL
MonoploidCell
)
(
chromosomeNumber
?CELL ?X)
(
instance
?COLL
MonoploidChromosomeSet
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL)
(
monoploidNumber
?COLL ?Y))
(
equal
?X ?Y))
VirusProteinAndCellPart.kif 773-782
如果
真核细胞
是
MonoploidCell
的
instance
和
chromosomeNumber
那个 真核细胞
and
整数
和
MonoploidChromosomeSet
是
MonoploidChromosomeSet
的
instance
和
那个 MonoploidChromosomeSet
是
located
在
客体
和
那个 客体
是
细胞核
的
instance
和
那个 客体
是
那个 真核细胞
的
part
和
monoploidNumber
那个 MonoploidChromosomeSet
and
另一个 整数
,
然后
那个 整数
equal
那个 另外 整数
(=>
(
and
(
instance
?CELL
MonoploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
exists
(?COLL)
(
and
(
instance
?COLL
MonoploidChromosomeSet
)
(
located
?COLL ?N)
(
not
(
exists
(?SET)
(
and
(
instance
?SET
MonoploidChromosomeSet
)
(
not
(
equal
?SET ?COLL))
(
located
?SET ?N)))))))
VirusProteinAndCellPart.kif 756-771
如果
客体
是
MonoploidCell
的
instance
和
另一个 客体
是
细胞核
的
instance
和
那个 另外 客体
是
那个 客体
的
part
,
然后 有存在
物理
这样
那个 物理
是
MonoploidChromosomeSet
的
instance
和
那个 物理
是
located
在
那个 另外 客体
和 不存在
另一个 物理
这样
那个 另外 物理
是
MonoploidChromosomeSet
的
instance
和
那个 另外 物理
不
equal
那个 物理
和
那个 另外 物理
是
located
在
那个 另外 客体
(=>
(
and
(
instance
?CELL
PentaploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 5))
VirusProteinAndCellPart.kif 974-984
如果
客体
是
PentaploidCell
的
instance
和
另一个 客体
是
细胞核
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
群体
是
located
在
那个 另外 客体
和
那个 群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
MonoploidChromosomeSet
是
MonoploidChromosomeSet
的
instance
和
那个 MonoploidChromosomeSet
是
那个 群体
的 真正的子集,
然后
chromosomeSetCount
那个 MonoploidChromosomeSet
,
那个 群体
and 5
(=>
(
and
(
instance
?CELL
TetraploidCell
)
(
part
?N ?CELL)
(
instance
?N
CellNucleus
)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
))
(
exists
(?A ?B)
(
and
(
instance
?A
HomologousChromosomeSet
)
(
subCollection
?A ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
subCollection
?B ?COLL)
(
not
(
equal
?A ?B)))))
VirusProteinAndCellPart.kif 951-966
如果
客体
是
TetraploidCell
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
细胞核
的
instance
和
群体
是
located
在
那个 另外 客体
和
那个 群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别,
然后 有存在
另一个 群体
和
第三 群体
这样
那个 另外 群体
是
HomologousChromosomeSet
的
instance
和
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 第三 群体
是
HomologousChromosomeSet
的
instance
和
那个 第三 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
不
equal
那个 第三 群体
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