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
monoploidNumber
Sigma KEE - monoploidNumber
monoploidNumber
appearance as argument number 1
(
documentation
monoploidNumber
EnglishLanguage
"
monoploidNumber
is a
BinaryPredicate
indicating the number of unique
Chromosome
s contained in a complete
MonoploidChromosomeSet
in the
Cell
Nuclues of a
EukaryoticCell
.")
VirusProteinAndCellPart.kif 734-736
(
domain
monoploidNumber
1
MonoploidChromosomeSet
)
VirusProteinAndCellPart.kif 738-738
monoploidNumber
的 1 数量 是
MonoploidChromosomeSet
的
instance
(
domain
monoploidNumber
2
Integer
)
VirusProteinAndCellPart.kif 739-739
monoploidNumber
的 2 数量 是
整数
的
instance
(
instance
monoploidNumber
BinaryPredicate
)
VirusProteinAndCellPart.kif 733-733
monoploidNumber
是
二元谓语
的
instance
appearance as argument number 2
(
termFormat
EnglishLanguage
monoploidNumber
"monoploid number")
VirusProteinAndCellPart.kif 737-737
antecedent
(=>
(
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
如果
真核细胞
是
MonoploidCell
的
instance
和
chromosomeNumber
那个 真核细胞
and
整数
和
MonoploidChromosomeSet
是
MonoploidChromosomeSet
的
instance
和
那个 MonoploidChromosomeSet
是
located
在
客体
和
那个 客体
是
细胞核
的
instance
和
那个 客体
是
那个 真核细胞
的
part
和
monoploidNumber
那个 MonoploidChromosomeSet
and
另一个 整数
,
然后
那个 整数
equal
那个 另外 整数
consequent
(=>
(
and
(
instance
?COLL
MonoploidChromosomeSet
)
(
memberCount
?COLL ?I))
(
monoploidNumber
?COLL ?I))
VirusProteinAndCellPart.kif 743-747
如果
MonoploidChromosomeSet
是
MonoploidChromosomeSet
的
instance
和
整数
是
那个 MonoploidChromosomeSet
的
member
计数,
然后
monoploidNumber
那个 MonoploidChromosomeSet
and
那个 整数
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