Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
chromosomeNumber
Sigma KEE - chromosomeNumber
chromosomeNumber
appearance as argument number 1
(
documentation
chromosomeNumber
EnglishLanguage
"
chromosomeNumber
is a
BinaryPredicate
indicating the total number of
Chromosome
s contained in the
CellNucleus
of a
EukaryoticCell
.")
VirusProteinAndCellPart.kif 694-696
(
domain
chromosomeNumber
1
EukaryoticCell
)
VirusProteinAndCellPart.kif 698-698
The number 1 argument of
chromosome number
is an
instance
of
eukaryotic cell
(
domain
chromosomeNumber
2
Integer
)
VirusProteinAndCellPart.kif 699-699
The number 2 argument of
chromosome number
is an
instance
of
integer
(
instance
chromosomeNumber
BinaryPredicate
)
VirusProteinAndCellPart.kif 693-693
chromosome number
is an
instance
of
binary predicate
appearance as argument number 2
(
format
EnglishLanguage
chromosomeNumber
"There are %2 number of
Chromosome
s in MonoploidChromosomeSet %1.")
VirusProteinAndCellPart.kif 740-741
(
format
EnglishLanguage
chromosomeNumber
"There are %2 number of &Chromosome in EukaryoticCell %1.")
VirusProteinAndCellPart.kif 700-701
(
termFormat
EnglishLanguage
chromosomeNumber
"chromosome number")
VirusProteinAndCellPart.kif 697-697
antecedent
(=>
(
and
(
chromosomeNumber
?C ?I)
(
part
?N ?C)
(
instance
?N
CellNucleus
)
(
instance
?COLL
Collection
)
(
located
?COLL ?N)
(
memberType
?COLL
Chromosome
))
(
memberCount
?COLL ?I))
VirusProteinAndCellPart.kif 703-711
If There are
an integer
number of
Chromosomes
in MonoploidChromosomeSet
an eukaryotic cell
. and
an object
is a
part
of
the eukaryotic cell
and
the object
is an
instance
of
cell nucleus
and
the eukaryotic cell
OLL is an
instance
of
collection
and
the eukaryotic cell
OLL is
located
at
the object
and
Chromosome
is a
member
type of
the eukaryotic cell
OLL,
then
the integer
is a
member
count of
the eukaryotic cell
OLL
(=>
(
and
(
instance
?CELL
HaploidCell
)
(
chromosomeNumber
?CELL ?X)
(
haploidNumber
?CELL ?Y))
(
equal
?X ?Y))
VirusProteinAndCellPart.kif 811-816
If
a gamete
is an
instance
of
haploid cell
and There are
an integer
number of
Chromosomes
in MonoploidChromosomeSet
the gamete
. and There are
another integer
number of
Chromosomes
in a
Gamete
cell
the gamete
.,
then
the integer
is
equal
to
the other integer
(=>
(
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
If
an eukaryotic cell
is an
instance
of
monoploid cell
and There are
an integer
number of
Chromosomes
in MonoploidChromosomeSet
the eukaryotic cell
. and
a monoploid chromosome set
is an
instance
of
monoploid chromosome set
and
the monoploid chromosome set
is
located
at
an object
and
the object
is an
instance
of
cell nucleus
and
the object
is a
part
of
the eukaryotic cell
and
monoploid number
the monoploid chromosome set
and
another integer
,
then
the integer
is
equal
to
the other integer
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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