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 4089-4121
Oggetto
è un'
istanza
di
BimetalTemperatureSensor
Oggetto
è un'
istanza
di
Metallo
Oggetto
è un'
istanza
di
Metallo
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Entit�
è un'
istanza
di
MisuraDiTemperatura
Entit�
è un'
istanza
di
MisuraDiTemperatura
NumeroReale
è un'
istanza
di
MisuraDiLunghezza
NumeroReale
è un'
istanza
di
MisuraDiLunghezza
NumeroReale
è un'
istanza
di
MisuraDiLunghezza
NumeroReale
è un'
istanza
di
MisuraDiLunghezza
Entit�
is
uguale
a
Entit�
PosizioneTemporale
is
uguale
a
PosizioneTemporale
la
misura
Oggetto
è
Entit�
la
misura
Oggetto
è
NumeroReale
la
misura
Oggetto
è
NumeroReale
vales
durante
PosizioneTemporale
la
misura
Oggetto
è
Entit�
la
misura
Oggetto
è
NumeroReale
la
misura
Oggetto
è
NumeroReale
vales
durante
PosizioneTemporale
NumeroReale
+
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
(=>
(
and
(
instance
?C
Cam
)
(
instance
?CS
Camshaft
)
(
instance
?E
Engine
)
(
part
?C ?E)
(
part
?CS ?E))
(
hasPurpose
?CS
(
connectedEngineeringComponents
?C ?CS)))
Cars.kif 1666-1674
Oggetto
è un'
istanza
di
Cam
Oggetto
S è un'
istanza
di
Camshaft
Oggetto
è un'
istanza
di
Engine
Oggetto
è una
parte
di
Oggetto
Oggetto
S è una
parte
di
Oggetto
Oggetto
S ha
scopo
Oggetto
è
connesso
a
Oggetto
S
(=>
(
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
Oggetto
è un'
istanza
di
Cappuccino
Sostanza
è una
parte
di
Oggetto
Sostanza
è una
parte
di
Oggetto
Sostanza
è un'
istanza
di
Espresso
Sostanza
è un'
istanza
di
MilkFoam
mixtureRatio
Sostanza
,
Sostanza
,
NumeroReale
,
NumeroReale
and
Liter
OggettoIntegro
è una
parte
di
Sostanza
OggettoIntegro
è un'
istanza
di
Bubble
il
vertice
Sostanza
è
OggettoIntegro
la
misura
OggettoIntegro
è
NumeroReale
Millimeter
(s
approximateValue
NumeroReale
and 0.03
approximateValue
NumeroReale
and 0.15
approximateValue
NumeroReale
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
Processo
è un'
istanza
di
CheckingVitals
Processo
è un
agente
di
AgenteCognitivo
Oggetto
è un
paziente
di
Processo
Heart
è un'
istanza
di
Heart
Heart
è una
parte
di
Oggetto
Lung
è un'
istanza
di
Lung
Lung
è una
parte
di
Oggetto
systolicBloodPressure
Oggetto
and
Entit�
diastolicBloodPressure
Oggetto
and
Entit�
la
misura
Oggetto
è
Entit�
FahrenheitDegree
(s vales
durante
il
tempo
di esistenza di
Processo
heartRate
Heart
, il
tempo
di esistenza di
Processo
and
NumeroIntero
breathingRate
Lung
, il
tempo
di esistenza di
Processo
and
NumeroIntero
AgenteCognitivo
conosce
s
systolicBloodPressure
Oggetto
and
Entit�
diastolicBloodPressure
Oggetto
and
Entit�
la
misura
Oggetto
è
Entit�
FahrenheitDegree
(s vales
durante
il
tempo
di esistenza di
Processo
heartRate
Heart
, il
tempo
di esistenza di
Processo
and
NumeroIntero
breathingRate
Lung
, il
tempo
di esistenza di
Processo
and
NumeroIntero
(=>
(
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 11218-11228
Oggetto
è un'
istanza
di
Chest
Classe
è un'
istanza
di
Animale
Oggetto
è un'
istanza
di
Classe
Oggetto
è una
parte
di
Classe
Oggetto
Oggetto
è un'
istanza
di
Torso
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Classe
(=>
(
and
(
instance
?C
Chest
)
(
part
?C ?P)
(
equal
?B
(
BackFn
?P)))
(
not
(
part
?C ?B)))
Anatomy.kif 1823-1830
Oggetto
è un'
istanza
di
Chest
Oggetto
è una
parte
di
OggettoIntegro
OggettoIntegro
is
uguale
a il
dietro
di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
(=>
(
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 1844-1862
Oggetto
è un'
istanza
di
Clutch
Oggetto
è un'
istanza
di
Automobile
Oggetto
è un'
istanza
di
Engine
Oggetto
è un'
istanza
di
Gearbox
Oggetto
EAR è un'
istanza
di
Gear
Oggetto
EAR è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Processo
è un'
istanza
di
Movimento
Oggetto
è un
paziente
di
Processo
attribute
Oggetto
and
DeviceOff
Processo
2
Processo
2 è un'
istanza
di
Movimento
Oggetto
è un
paziente
di
Processo
2
Processo
causa
s
Processo
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 1823-1842
Oggetto
è un'
istanza
di
Clutch
Oggetto
è un'
istanza
di
Automobile
Oggetto
è un'
istanza
di
Engine
Oggetto
è un'
istanza
di
Gearbox
Oggetto
EAR è un'
istanza
di
Gear
Oggetto
EAR è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Processo
è un'
istanza
di
Movimento
Oggetto
è un
paziente
di
Processo
attribute
Oggetto
and
DeviceOn
Processo
2
Processo
2 è un'
istanza
di
Movimento
Oggetto
è un
paziente
di
Processo
2
Processo
causa
s
Processo
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
Oggetto
è un'
istanza
di
CoffeeArabica
la
misura
Oggetto
è
NumeroReale
Gram
(s
Oggetto
C è un'
istanza
di
Caffeine
Oggetto
C è una
parte
di
Oggetto
la
misura
Oggetto
C è
NumeroReale
Gram
(s
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a 0.008
NumeroReale
è
minore
o uguale a 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
Oggetto
è un'
istanza
di
CoffeeRobusta
la
misura
Oggetto
è
NumeroReale
Gram
(s
Oggetto
C è un'
istanza
di
Caffeine
Oggetto
C è una
parte
di
Oggetto
la
misura
Oggetto
C è
NumeroReale
Gram
(s
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a 0.017
NumeroReale
è
minore
o uguale a 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
Oggetto
è un'
istanza
di
Colloid
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
Solid
attribute
Oggetto
and
Liquid
Oggetto
è un'
istanza
di
Air
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Aerosal
(=>
(
and
(
instance
?C
CommonWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 3963-3968
Oggetto
è un'
istanza
di
CommonWheatGrass
Oggetto
ELL è una
parte
di
Oggetto
Oggetto
ELL è un'
istanza
di
Oggetto
LASS
Oggetto
LASS è una
sottoclasse
di
HexaploidCell
(=>
(
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
Oggetto
è un'
istanza
di
Crankshaft
Oggetto
è un'
istanza
di
IntermittentCombustionEngine
Oggetto
è una
parte
di
Oggetto
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Explosion
Entit�
è un'
istanza
di
Rotating
Oggetto
è un
paziente
di
Entit�
eventLocated
Entit�
and
Oggetto
Entit�
causa
s
Entit�
(=>
(
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
Oggetto
è un'
istanza
di
Cream
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
ButterFat
la
misura
Oggetto
è
NumeroReale
Gram
(s
Oggetto
è un'
istanza
di
Milk
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
ButterFat
la
misura
Oggetto
è
NumeroReale
Gram
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
Oggetto
è un'
istanza
di
Crystal
attribute
Oggetto
and
MonoCrystalline
OggettoIntegro
è un'
istanza
di
Sostanza
attribute
OggettoIntegro
and
Solid
attribute
OggettoIntegro
and
PolyCrystalline
OggettoIntegro
è un'
istanza
di
Sostanza
OggettoIntegro
è una
superficie
di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
LNT
NumeroIntero
and
Oggetto
Oggetto
LNT è un'
istanza
di
InsiemeConcreto
memberCount
Oggetto
LNT and
NumeroIntero
NumeroIntero
è
pi
ù grande di o uguale a 4
Oggetto
è un
membro
di
Oggetto
LNT
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
incontra
s
Oggetto
(=>
(
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
Oggetto
è un'
istanza
di
FlatWhite
Sostanza
è una
parte
di
Oggetto
Sostanza
è una
parte
di
Oggetto
Sostanza
è un'
istanza
di
Espresso
Sostanza
è un'
istanza
di
MilkFoam
mixtureRatio
Sostanza
,
Sostanza
,
NumeroReale
,
NumeroReale
and
Liter
OggettoIntegro
è una
parte
di
Sostanza
OggettoIntegro
è una
parte
di
Sostanza
il
vertice
Sostanza
è
OggettoIntegro
OggettoIntegro
è un'
istanza
di
Bubble
la
misura
OggettoIntegro
è
NumeroReale
Millimeter
(s
approximateValue
NumeroReale
and 0.03
approximateValue
NumeroReale
and 0.15
NumeroReale
è
pi
ù grande di o uguale a 1.0
NumeroReale
è
minore
o uguale a 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
Oggetto
è un'
istanza
di
Latte
Sostanza
è una
parte
di
Oggetto
Sostanza
è una
parte
di
Oggetto
Sostanza
è un'
istanza
di
Espresso
Sostanza
è un'
istanza
di
MilkFoam
mixtureRatio
Sostanza
,
Sostanza
,
NumeroReale
,
NumeroReale
and
Liter
OggettoIntegro
è una
parte
di
Sostanza
OggettoIntegro
è un'
istanza
di
Bubble
il
vertice
Sostanza
è
OggettoIntegro
la
misura
OggettoIntegro
è
NumeroReale
Millimeter
(s
approximateValue
NumeroReale
and 0.03
approximateValue
NumeroReale
and 0.21
approximateValue
NumeroReale
and 12.0
(=>
(
and
(
instance
?C
SpeltWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 3993-3998
Oggetto
è un'
istanza
di
SpeltWheatGrass
Oggetto
ELL è una
parte
di
Oggetto
Oggetto
ELL è un'
istanza
di
Oggetto
LASS
Oggetto
LASS è una
sottoclasse
di
HexaploidCell
(=>
(
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
Entit�
è un'
istanza
di
COVIDAntibody
attribute
Entit�
and
Covid19
Entit�
è una
parte
di
Entit�
vales
durante
PosizioneTemporale
l'affermazione
attribute
Entit�
and
Covid19
ha il modello di forza di
Unlikely
vales
durante
immediatamente
dopo
PosizioneTemporale
(=>
(
and
(
instance
?CC
ComputerCable
)
(
not
(
instance
?C
Cable
))
(
part
?C ?CC))
(
or
(
instance
?C
MaleConnector
)
(
instance
?C
FemaleConnector
)))
ComputingBrands.kif 2746-2754
Oggetto
è un'
istanza
di
ComputerCable
Oggetto
è un'
istanza
di
Cable
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
MaleConnector
Oggetto
è un'
istanza
di
FemaleConnector
(=>
(
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 1003-1022
Oggetto
è un'
istanza
di
HexaploidCell
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
InsiemeConcreto
è
localizzato
in
Oggetto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
InsiemeConcreto
InsiemeConcreto
and
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
is
uguale
a
InsiemeConcreto
(=>
(
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 772-781
EukaryoticCell
è un'
istanza
di
MonoploidCell
chromosomeNumber
EukaryoticCell
and
NumeroIntero
MonoploidChromosomeSet
è un'
istanza
di
MonoploidChromosomeSet
MonoploidChromosomeSet
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
EukaryoticCell
monoploidNumber
MonoploidChromosomeSet
and
NumeroIntero
NumeroIntero
is
uguale
a
NumeroIntero
(=>
(
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 755-770
Oggetto
è un'
istanza
di
MonoploidCell
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
Oggetto
Entit�Concreta
Entit�Concreta
è un'
istanza
di
MonoploidChromosomeSet
Entit�Concreta
è
localizzato
in
Oggetto
Entit�Concreta
Entit�Concreta
è un'
istanza
di
MonoploidChromosomeSet
Entit�Concreta
is
uguale
a
Entit�Concreta
Entit�Concreta
è
localizzato
in
Oggetto
(=>
(
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 973-983
Oggetto
è un'
istanza
di
PentaploidCell
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
Oggetto
InsiemeConcreto
è
localizzato
in
Oggetto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
MonoploidChromosomeSet
è un'
istanza
di
MonoploidChromosomeSet
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
chromosomeSetCount
MonoploidChromosomeSet
,
InsiemeConcreto
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 950-965
Oggetto
è un'
istanza
di
TetraploidCell
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
InsiemeConcreto
è
localizzato
in
Oggetto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
InsiemeConcreto
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
is
uguale
a
InsiemeConcreto
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