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
Objeto
e' uma
instancia
de
BimetalTemperatureSensor
Objeto
e' uma
instancia
de
Metal
Objeto
e' uma
instancia
de
Metal
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Entidade
e' uma
instancia
de
Medida de Temperatura
Entidade
e' uma
instancia
de
Medida de Temperatura
Numero Real
e' uma
instancia
de
Medida de Comprimento
Numero Real
e' uma
instancia
de
Medida de Comprimento
Numero Real
e' uma
instancia
de
Medida de Comprimento
Numero Real
e' uma
instancia
de
Medida de Comprimento
Entidade
e'
igual
a
Entidade
Posicao Temporal
e'
igual
a
Posicao Temporal
a
medida
de
Objeto
e'
Entidade
a
medida
de
Objeto
e'
Numero Real
a
medida
de
Objeto
e'
Numero Real
vale
durante
Posicao Temporal
a
medida
de
Objeto
e'
Entidade
a
medida
de
Objeto
e'
Numero Real
a
medida
de
Objeto
e'
Numero Real
vale
durante
Posicao Temporal
Numero Real
+
Numero Real
e'
igual
a
Numero Real
+
Numero Real
(=>
(
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
Objeto
e' uma
instancia
de
Cam
Objeto
S e' uma
instancia
de
Camshaft
Objeto
e' uma
instancia
de
Engine
Objeto
e' uma &parte de
Objeto
Objeto
S e' uma &parte de
Objeto
Objeto
S tem por
fim
Objeto
e'
conectado
a
Objeto
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
Objeto
e' uma
instancia
de
Cappuccino
Substancia
e' uma &parte de
Objeto
Substancia
e' uma &parte de
Objeto
Substancia
e' uma
instancia
de
Espresso
Substancia
e' uma
instancia
de
MilkFoam
mixtureRatio
Substancia
,
Substancia
,
Numero Real
,
Numero Real
and
Liter
Objeto auto-conectado
e' uma &parte de
Substancia
Objeto auto-conectado
e' uma
instancia
de
Bubble
o
topo
de
Substancia
e'
Objeto auto-conectado
a
medida
de
Objeto auto-conectado
e'
Numero Real
Millimeter
(s)
approximateValue
Numero Real
and 0.03
approximateValue
Numero Real
and 0.15
approximateValue
Numero Real
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
e' uma
instancia
de
CheckingVitals
Processo
e' um
agente
de
Agente Cognitivo
Objeto
e' um
patient
de
Processo
Heart
e' uma
instancia
de
Heart
Heart
e' uma &parte de
Objeto
Lung
e' uma
instancia
de
Lung
Lung
e' uma &parte de
Objeto
systolicBloodPressure
Objeto
and
Entidade
diastolicBloodPressure
Objeto
and
Entidade
a
medida
de
Objeto
e'
Entidade
FahrenheitDegree
(s)
vale
durante
tempo
de existencia de
Processo
heartRate
Heart
,
tempo
de existencia de
Processo
and
Numero Inteiro
breathingRate
Lung
,
tempo
de existencia de
Processo
and
Numero Inteiro
Agente Cognitivo
sabe
systolicBloodPressure
Objeto
and
Entidade
diastolicBloodPressure
Objeto
and
Entidade
a
medida
de
Objeto
e'
Entidade
FahrenheitDegree
(s)
vale
durante
tempo
de existencia de
Processo
heartRate
Heart
,
tempo
de existencia de
Processo
and
Numero Inteiro
breathingRate
Lung
,
tempo
de existencia de
Processo
and
Numero Inteiro
(=>
(
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
Objeto
e' uma
instancia
de
Chest
Classe
e' uma
instancia
de
Animal
Objeto
e' uma
instancia
de
Classe
Objeto
e' uma &parte de
Classe
Objeto
Objeto
e' uma
instancia
de
Torso
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Classe
(=>
(
and
(
instance
?C
Chest
)
(
part
?C ?P)
(
equal
?B
(
BackFn
?P)))
(
not
(
part
?C ?B)))
Anatomy.kif 1823-1830
Objeto
e' uma
instancia
de
Chest
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto auto-conectado
e'
igual
a
atras
de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
(=>
(
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
Objeto
e' uma
instancia
de
Clutch
Objeto
e' uma
instancia
de
Automobile
Objeto
e' uma
instancia
de
Engine
Objeto
e' uma
instancia
de
Gearbox
Objeto
EAR e' uma
instancia
de
Gear
Objeto
EAR e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Processo
e' uma
instancia
de
Movimento
Objeto
e' um
patient
de
Processo
DeviceOff
e' um
atributo
de
Objeto
Processo
2
Processo
2 e' uma
instancia
de
Movimento
Objeto
e' um
patient
de
Processo
2
Processo
causa
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 1817-1836
Objeto
e' uma
instancia
de
Clutch
Objeto
e' uma
instancia
de
Automobile
Objeto
e' uma
instancia
de
Engine
Objeto
e' uma
instancia
de
Gearbox
Objeto
EAR e' uma
instancia
de
Gear
Objeto
EAR e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Processo
e' uma
instancia
de
Movimento
Objeto
e' um
patient
de
Processo
DeviceOn
e' um
atributo
de
Objeto
Processo
2
Processo
2 e' uma
instancia
de
Movimento
Objeto
e' um
patient
de
Processo
2
Processo
causa
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
Objeto
e' uma
instancia
de
CoffeeArabica
a
medida
de
Objeto
e'
Numero Real
Gram
(s)
Objeto
C e' uma
instancia
de
Caffeine
Objeto
C e' uma &parte de
Objeto
a
medida
de
Objeto
C e'
Numero Real
Gram
(s)
Numero Real
e'
igual
a
Numero Real
+
Numero Real
Numero Real
e'
maior
ou igual a 0.008
Numero Real
e'
menor
ou igual 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
Objeto
e' uma
instancia
de
CoffeeRobusta
a
medida
de
Objeto
e'
Numero Real
Gram
(s)
Objeto
C e' uma
instancia
de
Caffeine
Objeto
C e' uma &parte de
Objeto
a
medida
de
Objeto
C e'
Numero Real
Gram
(s)
Numero Real
e'
igual
a
Numero Real
+
Numero Real
Numero Real
e'
maior
ou igual a 0.017
Numero Real
e'
menor
ou igual 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
Objeto
e' uma
instancia
de
Colloid
Objeto
e' uma &parte de
Objeto
Solid
e' um
atributo
de
Objeto
Liquid
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Air
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Aerosal
(=>
(
and
(
instance
?C
CommonWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 3963-3968
Objeto
e' uma
instancia
de
CommonWheatGrass
Objeto
ELL e' uma &parte de
Objeto
Objeto
ELL e' uma
instancia
de
Objeto
LASS
Objeto
LASS e' uma
sub
-classe de
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
Objeto
e' uma
instancia
de
Crankshaft
Objeto
e' uma
instancia
de
IntermittentCombustionEngine
Objeto
e' uma &parte de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Explosion
Entidade
e' uma
instancia
de
Rotating
Objeto
e' um
patient
de
Entidade
eventLocated
Entidade
and
Objeto
Entidade
causa
Entidade
(=>
(
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
Objeto
e' uma
instancia
de
Cream
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
ButterFat
a
medida
de
Objeto
e'
Numero Real
Gram
(s)
Objeto
e' uma
instancia
de
Milk
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
ButterFat
a
medida
de
Objeto
e'
Numero Real
Gram
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Objeto
e' uma
instancia
de
Crystal
MonoCrystalline
e' um
atributo
de
Objeto
Objeto auto-conectado
e' uma
instancia
de
Substancia
Solid
e' um
atributo
de
Objeto auto-conectado
PolyCrystalline
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Substancia
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
LNT
Numero Inteiro
and
Objeto
Objeto
LNT e' uma
instancia
de
Colecao
memberCount
Objeto
LNT and
Numero Inteiro
Numero Inteiro
e'
maior
ou igual a 4
Objeto
e'
membro
de
Objeto
LNT
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
encontra
Objeto
(=>
(
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
Objeto
e' uma
instancia
de
FlatWhite
Substancia
e' uma &parte de
Objeto
Substancia
e' uma &parte de
Objeto
Substancia
e' uma
instancia
de
Espresso
Substancia
e' uma
instancia
de
MilkFoam
mixtureRatio
Substancia
,
Substancia
,
Numero Real
,
Numero Real
and
Liter
Objeto auto-conectado
e' uma &parte de
Substancia
Objeto auto-conectado
e' uma &parte de
Substancia
o
topo
de
Substancia
e'
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Bubble
a
medida
de
Objeto auto-conectado
e'
Numero Real
Millimeter
(s)
approximateValue
Numero Real
and 0.03
approximateValue
Numero Real
and 0.15
Numero Real
e'
maior
ou igual a 1.0
Numero Real
e'
menor
ou igual 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
Objeto
e' uma
instancia
de
Latte
Substancia
e' uma &parte de
Objeto
Substancia
e' uma &parte de
Objeto
Substancia
e' uma
instancia
de
Espresso
Substancia
e' uma
instancia
de
MilkFoam
mixtureRatio
Substancia
,
Substancia
,
Numero Real
,
Numero Real
and
Liter
Objeto auto-conectado
e' uma &parte de
Substancia
Objeto auto-conectado
e' uma
instancia
de
Bubble
o
topo
de
Substancia
e'
Objeto auto-conectado
a
medida
de
Objeto auto-conectado
e'
Numero Real
Millimeter
(s)
approximateValue
Numero Real
and 0.03
approximateValue
Numero Real
and 0.21
approximateValue
Numero Real
and 12.0
(=>
(
and
(
instance
?C
SpeltWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 3993-3998
Objeto
e' uma
instancia
de
SpeltWheatGrass
Objeto
ELL e' uma &parte de
Objeto
Objeto
ELL e' uma
instancia
de
Objeto
LASS
Objeto
LASS e' uma
sub
-classe de
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
Entidade
e' uma
instancia
de
COVIDAntibody
Covid19
e' um
atributo
de
Entidade
Entidade
e' uma &parte de
Entidade
vale
durante
Posicao Temporal
o argumento
Covid19
e' um
atributo
de
Entidade
tem a
forca
modal
de
Unlikely
vale
durante imediatemente
apos
Posicao Temporal
(=>
(
and
(
instance
?CC
ComputerCable
)
(
not
(
instance
?C
Cable
))
(
part
?C ?CC))
(
or
(
instance
?C
MaleConnector
)
(
instance
?C
FemaleConnector
)))
ComputingBrands.kif 2746-2754
Objeto
e' uma
instancia
de
ComputerCable
Objeto
e' uma
instancia
de
Cable
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
MaleConnector
Objeto
e' uma
instancia
de
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 1004-1023
Objeto
e' uma
instancia
de
HexaploidCell
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Colecao
e'
situado
em
Objeto
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
Colecao
Colecao
and
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e'
igual
a
Colecao
(=>
(
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
e' uma
instancia
de
MonoploidCell
chromosomeNumber
EukaryoticCell
and
Numero Inteiro
MonoploidChromosomeSet
e' uma
instancia
de
MonoploidChromosomeSet
MonoploidChromosomeSet
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
EukaryoticCell
monoploidNumber
MonoploidChromosomeSet
and
Numero Inteiro
Numero Inteiro
e'
igual
a
Numero Inteiro
(=>
(
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
Objeto
e' uma
instancia
de
MonoploidCell
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
Objeto
Fisico
Fisico
e' uma
instancia
de
MonoploidChromosomeSet
Fisico
e'
situado
em
Objeto
Fisico
Fisico
e' uma
instancia
de
MonoploidChromosomeSet
Fisico
e'
igual
a
Fisico
Fisico
e'
situado
em
Objeto
(=>
(
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
Objeto
e' uma
instancia
de
PentaploidCell
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
Objeto
Colecao
e'
situado
em
Objeto
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
MonoploidChromosomeSet
e' uma
instancia
de
MonoploidChromosomeSet
MonoploidChromosomeSet
e' uma
sub
-colecao de
Colecao
chromosomeSetCount
MonoploidChromosomeSet
,
Colecao
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
Objeto
e' uma
instancia
de
TetraploidCell
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Colecao
e'
situado
em
Objeto
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
Colecao
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e'
igual
a
Colecao
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