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
では %n
オブジェクト
は
金属
の
instance
では %n
オブジェクト
は
金属
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
エンティティー
は
温度測定
の
instance
では %n
エンティティー
は
温度測定
の
instance
では %n
実数
は
長さ測定
の
instance
では %n
実数
は
長さ測定
の
instance
では %n
実数
は
長さ測定
の
instance
では %n
実数
は
長さ測定
の
instance
では %n
エンティティー
は
エンティティー
と
equal
では
時間位置
は
時間位置
と
equal
では
オブジェクト
の
measure
は
エンティティー
では %n
オブジェクト
の
measure
は
実数
では %n
オブジェクト
の
measure
は
実数
では %n は
時間位置
の
during
holds %n{ない}
オブジェクト
の
measure
は
エンティティー
では %n
オブジェクト
の
measure
は
実数
では %n
オブジェクト
の
measure
は
実数
では %n は
時間位置
の
during
holds %n{ない}
実数
+
実数
は
実数
+
実数
と
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
では %n
オブジェクト
S は
Camshaft
の
instance
では %n
オブジェクト
は
Engine
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
S は
オブジェクト
の
part
では %n
オブジェクト
S は
オブジェクト
は
オブジェクト
S に
connected
して %n の 目的 %n{ない}
(=>
(
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
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
Espresso
の
instance
では %n
物質
は
MilkFoam
の
instance
では %n
mixtureRatio
物質
,
物質
,
実数
,
実数
and
Liter
自己接続オブジェクト
は
物質
の
part
では %n
自己接続オブジェクト
は
Bubble
の
instance
では %n
物質
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
の
measure
は
実数
の
Millimeter
(s) では %n
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
では %n
認識エージェント
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
Heart
は
Heart
の
instance
では %n
Heart
は
オブジェクト
の
part
では %n
Lung
は
Lung
の
instance
では %n
Lung
は
オブジェクト
の
part
では %n
systolicBloodPressure
オブジェクト
and
エンティティー
diastolicBloodPressure
オブジェクト
and
エンティティー
オブジェクト
の
measure
は
エンティティー
の
FahrenheitDegree
(s) では %n は
工程
の
time
の existence の
during
holds %n{ない}
heartRate
Heart
,
工程
の
time
の existence and
整数
breathingRate
Lung
,
工程
の
time
の existence and
整数
認識エージェント
は
systolicBloodPressure
オブジェクト
and
エンティティー
diastolicBloodPressure
オブジェクト
and
エンティティー
オブジェクト
の
measure
は
エンティティー
の
FahrenheitDegree
(s) では %n は
工程
の
time
の existence の
during
holds %n{ない}
heartRate
Heart
,
工程
の
time
の existence and
整数
breathingRate
Lung
,
工程
の
time
の existence and
整数
を
know
s %n{ない}
(=>
(
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
では %n
クラス
は
動物
の
instance
では %n
オブジェクト
は
クラス
の
instance
では %n
オブジェクト
は
クラス
の
part
では %n
オブジェクト
オブジェクト
は
Torso
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
クラス
の
part
では %n
(=>
(
and
(
instance
?C
Chest
)
(
part
?C ?P)
(
equal
?B
(
BackFn
?P)))
(
not
(
part
?C ?B)))
Anatomy.kif 1823-1830
オブジェクト
は
Chest
の
instance
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
back
と
equal
では %n
オブジェクト
は
自己接続オブジェクト
の
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
では %n
オブジェクト
は
Automobile
の
instance
では %n
オブジェクト
は
Engine
の
instance
では %n
オブジェクト
は
Gearbox
の
instance
では %n
オブジェクト
EAR は
Gear
の
instance
では %n
オブジェクト
EAR は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
工程
は
motion
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
DeviceOff
は
オブジェクト
の
attribute
では %n
工程
2
工程
2 は
motion
の
instance
では %n
オブジェクト
は
工程
2 の
patient
では %n
工程
は
工程
2 を
cause
s %n{ない}
(=>
(
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
では %n
オブジェクト
は
Automobile
の
instance
では %n
オブジェクト
は
Engine
の
instance
では %n
オブジェクト
は
Gearbox
の
instance
では %n
オブジェクト
EAR は
Gear
の
instance
では %n
オブジェクト
EAR は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
工程
は
motion
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
DeviceOn
は
オブジェクト
の
attribute
では %n
工程
2
工程
2 は
motion
の
instance
では %n
オブジェクト
は
工程
2 の
patient
では %n
工程
は
工程
2 を
cause
s %n{ない}
(=>
(
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
では %n
オブジェクト
の
measure
は
実数
の
Gram
(s) では %n
オブジェクト
C は
Caffeine
の
instance
では %n
オブジェクト
C は
オブジェクト
の
part
では %n
オブジェクト
C の
measure
は
実数
の
Gram
(s) では %n
実数
は
実数
+
実数
と
equal
では %n
実数
は 0.008
greater
では %n
実数
は 0.014 より
less
または同等 では %n
(=>
(
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
では %n
オブジェクト
の
measure
は
実数
の
Gram
(s) では %n
オブジェクト
C は
Caffeine
の
instance
では %n
オブジェクト
C は
オブジェクト
の
part
では %n
オブジェクト
C の
measure
は
実数
の
Gram
(s) では %n
実数
は
実数
+
実数
と
equal
では %n
実数
は 0.017
greater
では %n
実数
は 0.04 より
less
または同等 では %n
(=>
(
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
オブジェクト
は
Colloid
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
Solid
は
オブジェクト
の
attribute
では %n
Liquid
は
オブジェクト
の
attribute
では %n
オブジェクト
は
Air
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Aerosal
の
instance
では %n
(=>
(
and
(
instance
?C
CommonWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 3963-3968
オブジェクト
は
CommonWheatGrass
の
instance
では %n
オブジェクト
ELL は
オブジェクト
の
part
では %n
オブジェクト
ELL は
オブジェクト
LASS の
instance
では %n
オブジェクト
LASS は
HexaploidCell
の
subclass
では %n
(=>
(
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
では %n
オブジェクト
は
IntermittentCombustionEngine
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
Explosion
の
instance
では %n
エンティティー
は
Rotating
の
instance
では %n
オブジェクト
は
エンティティー
の
patient
では %n
eventLocated
エンティティー
and
オブジェクト
エンティティー
は
エンティティー
を
cause
s %n{ない} の 目的 %n{ない}
(=>
(
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
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
の
measure
は
実数
の
Gram
(s) では %n
オブジェクト
は
Milk
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
の
measure
は
実数
の
Gram
(s) では %n
実数
は
実数
より
greater
では %n
(=>
(
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
オブジェクト
は
Crystal
の
instance
では %n
MonoCrystalline
は
オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
物質
の
instance
では %n
Solid
は
自己接続オブジェクト
の
attribute
では %n
PolyCrystalline
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
物質
の
instance
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では
オブジェクト
LNT
整数
and
オブジェクト
オブジェクト
LNT は
コレクション
の
instance
では %n
memberCount
オブジェクト
LNT and
整数
整数
は 4
greater
では %n
オブジェクト
は
オブジェクト
LNT の
member
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
(=>
(
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
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
Espresso
の
instance
では %n
物質
は
MilkFoam
の
instance
では %n
mixtureRatio
物質
,
物質
,
実数
,
実数
and
Liter
自己接続オブジェクト
は
物質
の
part
では %n
自己接続オブジェクト
は
物質
の
part
では %n
物質
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
は
Bubble
の
instance
では %n
自己接続オブジェクト
の
measure
は
実数
の
Millimeter
(s) では %n
approximateValue
実数
and 0.03
approximateValue
実数
and 0.15
実数
は 1.0
greater
では %n
実数
は 20.0 より
less
または同等 では %n
(=>
(
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
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
Espresso
の
instance
では %n
物質
は
MilkFoam
の
instance
では %n
mixtureRatio
物質
,
物質
,
実数
,
実数
and
Liter
自己接続オブジェクト
は
物質
の
part
では %n
自己接続オブジェクト
は
Bubble
の
instance
では %n
物質
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
の
measure
は
実数
の
Millimeter
(s) では %n
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
では %n
オブジェクト
ELL は
オブジェクト
の
part
では %n
オブジェクト
ELL は
オブジェクト
LASS の
instance
では %n
オブジェクト
LASS は
HexaploidCell
の
subclass
では %n
(=>
(
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
では %n
Covid19
は
エンティティー
の
attribute
では
エンティティー
は
エンティティー
の
part
では %n は
時間位置
の
during
holds %n{ない}
ステートメント
Covid19
は
エンティティー
の
attribute
では %n には
Unlikely
の
modal
force
が ある は
時間位置
の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?CC
ComputerCable
)
(
not
(
instance
?C
Cable
))
(
part
?C ?CC))
(
or
(
instance
?C
MaleConnector
)
(
instance
?C
FemaleConnector
)))
ComputingBrands.kif 2746-2754
オブジェクト
は
ケーブル
の
instance
では %n
オブジェクト
は
Cable
の
instance
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
雄
の
instance
では %n
オブジェクト
は
雌
の
instance
では %n
(=>
(
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
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
CellNucleus
の
instance
では %n
コレクション
は
オブジェクト
に
located
して %n
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
Chromosome
コレクション
コレクション
and
コレクション
コレクション
は
HomologousChromosomeSet
の
instance
では %n
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
コレクション
と
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
EukaryoticCell
は
MonoploidCell
の
instance
では %n
chromosomeNumber
EukaryoticCell
and
整数
MonoploidChromosomeSet
は
MonoploidChromosomeSet
の
instance
では %n
MonoploidChromosomeSet
は
オブジェクト
に
located
して %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
EukaryoticCell
の
part
では %n
monoploidNumber
MonoploidChromosomeSet
and
整数
整数
は
整数
と
equal
では %n
(=>
(
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
では %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
物理
物理
は
MonoploidChromosomeSet
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
物理
物理
は
MonoploidChromosomeSet
の
instance
では %n
物理
は
物理
と
equal
では
物理
は
オブジェクト
に
located
して %n
(=>
(
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
では %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
コレクション
は
オブジェクト
に
located
して %n
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
Chromosome
MonoploidChromosomeSet
は
MonoploidChromosomeSet
の
instance
では %n
MonoploidChromosomeSet
は
コレクション
の 適切な
sub
-collection では %n
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
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
CellNucleus
の
instance
では %n
コレクション
は
オブジェクト
に
located
して %n
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
Chromosome
コレクション
コレクション
コレクション
は
HomologousChromosomeSet
の
instance
では %n
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
コレクション
と
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