part
(=>
(
and
(
instance
?CELL
TriploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 3))
VirusProteinAndCellPart.kif 921-931
Objeto
e' uma
instancia
de
TriploidCell
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 3
(=>
(
and
(
instance
?CHIN
Chin
)
(
instance
?FACE
Face
)
(
part
?CHIN ?FACE))
(
forall
(?PART)
(=>
(
and
(
part
?PART ?FACE)
(
not
(
part
?PART ?CHIN)))
(
orientation
?PART ?CHIN
Below
))))
Mid-level-ontology.kif 12930-12941
Objeto
e' uma
instancia
de
Chin
Objeto
e' uma
instancia
de
Face
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
Below
em relacao a
Objeto
(=>
(
and
(
instance
?CITY
AmericanCity
)
(
part
?CITY
California
)
(
not
(
equal
?CITY
LosAngelesCalifornia
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
LosAngelesCalifornia
))
(
CardinalityFn
(
ResidentFn
?CITY))))
CountriesAndRegions.kif 812-817
Area Geopolitica
e' uma
instancia
de
AmericanCity
Area Geopolitica
e' uma &parte de
California
Area Geopolitica
e'
igual
a
LosAngelesCalifornia
o numero de
instancias
dentro de
ResidentFn
LosAngelesCalifornia
e'
maior
que o numero de
instancias
dentro de
ResidentFn
Area Geopolitica
(=>
(
and
(
instance
?CITY
City
)
(
part
?CITY
France
))
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
Paris
))))
CountriesAndRegions.kif 59-65
Area Geopolitica
e' uma
instancia
de
Cidade
Area Geopolitica
e' uma &parte de
France
o numero de
instancias
dentro de
ResidentFn
Area Geopolitica
e'
menor
ou igual a o numero de
instancias
dentro de
ResidentFn
Paris
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 4)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
TetraploidCell
))
VirusProteinAndCellPart.kif 939-949
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 4
Colecao
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
TetraploidCell
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 6)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
HexaploidCell
))
VirusProteinAndCellPart.kif 992-1002
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 6
Colecao
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
HexaploidCell
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
CommonWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
EmmerWheatGrass
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsTauschii
))))
Economy.kif 3970-3985
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
Objeto
e'
membro
de
Colecao
Objeto
e' uma &parte de
CommonWheatGrass
Colecao
Colecao
,
Objeto
and
Objeto
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
and
EmmerWheatGrass
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
and
AegilopsTauschii
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
DurumWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
TriticumUrartu
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsSpeltoides
))))
Economy.kif 3911-3926
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
Objeto
e'
membro
de
Colecao
Objeto
e' uma &parte de
DurumWheatGrass
Colecao
Colecao
,
Objeto
and
Objeto
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
and
TriticumUrartu
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
and
AegilopsSpeltoides
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
EmmerWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
EinkornWheatGrass
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsGrass
))))
Economy.kif 3879-3894
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
Objeto
e'
membro
de
Colecao
Objeto
e' uma &parte de
EmmerWheatGrass
Colecao
Colecao
,
Objeto
and
Objeto
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
and
EinkornWheatGrass
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
and
AegilopsGrass
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 2)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
DiploidCell
))
VirusProteinAndCellPart.kif 896-905
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
MonoploidChromosomeSet
e' uma
sub
-colecao de
Colecao
chromosomeSetCount
MonoploidChromosomeSet
,
Colecao
and 2
Colecao
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
DiploidCell
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
DiploidCell
))
VirusProteinAndCellPart.kif 907-913
Fisico
e' uma
instancia
de
HomologousChromosomeSet
Fisico
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
DiploidCell
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 2))
VirusProteinAndCellPart.kif 866-875
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Chromosome
Colecao
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
EukaryoticCell
MonoploidChromosomeSet
e' uma
instancia
de
MonoploidChromosomeSet
MonoploidChromosomeSet
e' uma
sub
-colecao de
Colecao
chromosomeSetCount
MonoploidChromosomeSet
,
Colecao
and 2
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
subCollection
?X ?COLL)
(
subCollection
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
homologousChromosomePair
?X ?Y))
VirusProteinAndCellPart.kif 877-888
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Chromosome
Colecao
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
EukaryoticCell
MonoploidChromosomeSet
e' uma
sub
-colecao de
Colecao
MonoploidChromosomeSet
e' uma
sub
-colecao de
Colecao
MonoploidChromosomeSet
e'
igual
a
MonoploidChromosomeSet
homologousChromosomePair
MonoploidChromosomeSet
and
MonoploidChromosomeSet
(=>
(
and
(
instance
?COLL
MonoploidChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
member
?X ?COLL)
(
member
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
not
(
homologousChromosome
?X ?Y)))
VirusProteinAndCellPart.kif 719-731
Colecao
e' uma
instancia
de
MonoploidChromosomeSet
memberType
Colecao
and
Chromosome
Colecao
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
EukaryoticCell
Chromosome
e'
membro
de
Colecao
Chromosome
e'
membro
de
Colecao
Chromosome
e'
igual
a
Chromosome
homologousChromosome
Chromosome
and
Chromosome
(=>
(
and
(
instance
?CS1 ?CLASS)
(
subclass
?CLASS
CompoundSubstance
)
(
not
(
exists
(?CS2)
(
and
(
instance
?CS2 ?CLASS)
(
part
?CS2 ?CS1))))
(
molecularRatio
?ECLASS ?N ?CLASS)
(
instance
?G
Group
)
(
member
?E ?G)
(
part
?E ?CS1)
(
instance
?E ?ECLASS))
(
memberCount
?G ?N))
Cars.kif 1772-1786
Objeto
e' uma
instancia
de
Substancia Composta
Substancia Composta
e' uma
sub
-classe de
Substancia Composta
Objeto
Objeto
e' uma
instancia
de
Substancia Composta
Objeto
e' uma &parte de
Objeto
molecularRatio
Substancia Elementar
,
Numero Inteiro
and
Substancia Composta
Colecao
e' uma
instancia
de
Grupo
Objeto
e'
membro
de
Colecao
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Substancia Elementar
memberCount
Colecao
and
Numero Inteiro
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
experiencer
?DEATH ?ORG))
(
result
?DEATH ?REM))
Mid-level-ontology.kif 85-94
Processo
e' uma
instancia
de
Morte
Entidade
e' uma
instancia
de
OrganismRemains
AutonomousAgent
e' uma
instancia
de
Organismo
Entidade
e' uma &parte de
Entidade
vale
durante
Intervalo Temporal
Entidade
e' uma &parte de
AutonomousAgent
vale
durante
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
AutonomousAgent
experimenta
Processo
Entidade
e' o
resultado
de
Processo
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
result
?DEATH ?REM))
(
experiencer
?DEATH ?ORG))
Mid-level-ontology.kif 74-83
Processo
e' uma
instancia
de
Morte
Entidade
e' uma
instancia
de
OrganismRemains
AutonomousAgent
e' uma
instancia
de
Organismo
Entidade
e' uma &parte de
Entidade
vale
durante
Intervalo Temporal
Entidade
e' uma &parte de
AutonomousAgent
vale
durante
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
Entidade
e' o
resultado
de
Processo
AutonomousAgent
experimenta
Processo
(=>
(
and
(
instance
?E
DurumWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 3904-3909
Objeto
e' uma
instancia
de
DurumWheatGrass
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Objeto
LASS
Objeto
LASS e' uma
sub
-classe de
TetraploidCell
(=>
(
and
(
instance
?E
Eardrum
)
(
part
?E ?H)
(
experiencer
?HEAR ?H)
(
attribute
?H
Healthy
)
(
instance
?HEAR
Hearing
))
(
instrument
?HEAR ?E))
Anatomy.kif 1636-1643
Objeto
e' uma
instancia
de
Eardrum
Objeto
e' uma &parte de
AutonomousAgent
AutonomousAgent
experimenta
AutonomousAgent
EAR
Healthy
e' um
atributo
de
AutonomousAgent
AutonomousAgent
EAR e' uma
instancia
de
Ouvir
Objeto
e' um
instrumento
para
AutonomousAgent
EAR
(=>
(
and
(
instance
?E
EinkornWheatGrass
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3934-3939
Objeto
e' uma
instancia
de
EinkornWheatGrass
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Objeto
LASS
Objeto
LASS e' uma
sub
-classe de
DiploidCell
(=>
(
and
(
instance
?E
EmmerWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 3872-3877
Objeto
e' uma
instancia
de
EmmerWheatGrass
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Objeto
LASS
Objeto
LASS e' uma
sub
-classe de
TetraploidCell
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H)
(
member
?C ?E))
(
exists
(?HAIR)
(
and
(
instance
?HAIR
Hair
)
(
part
?HAIR ?E))))
Anatomy.kif 1458-1467
Colecao
e' uma
instancia
de
Eyebrow
Healthy
e' um
atributo
de
Objeto
Colecao
e' uma &parte de
Objeto
Fisico
e'
membro
de
Colecao
Objeto
AIR
Objeto
AIR e' uma
instancia
de
Hair
Objeto
AIR e' uma &parte de
Colecao
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H)
(
member
?C ?E))
(
memberCount
?E 2))
Anatomy.kif 1450-1456
Colecao
e' uma
instancia
de
Eyebrow
Healthy
e' um
atributo
de
Objeto
Colecao
e' uma &parte de
Objeto
Fisico
e'
membro
de
Colecao
memberCount
Colecao
and 2
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?EYE ?E
Near
))))
Anatomy.kif 1439-1448
Objeto
e' uma
instancia
de
Eyebrow
Healthy
e' um
atributo
de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
YE
Objeto
YE e' uma
instancia
de
Eye
Objeto
YE e' uma &parte de
Objeto
Objeto
YE e'
Near
em relacao a
Objeto
(=>
(
and
(
instance
?E
Eyebrow
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?E ?EYE
Above
))))
Anatomy.kif 1469-1481
Objeto
e' uma
instancia
de
Eyebrow
Healthy
e' um
atributo
de
Objeto
Standing
e' um
atributo
de
Objeto
vale
durante
Posicao Temporal
Objeto
e' uma &parte de
Objeto
Objeto
YE
Objeto
YE e' uma
instancia
de
Eye
Objeto
YE e' uma &parte de
Objeto
Objeto
e'
Above
em relacao a
Objeto
YE
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