TreeView Knowledge Base Browser - EukaryoticCell

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - EukaryoticCell

EukaryoticCell(真核細胞)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 381-381
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 380-380	子類真核細胞 and Cell

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 391-391	不相交的原核細胞 and 真核細胞
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23945-23945	子類 Gamete and 真核細胞
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23937-23937	子類 SomaticCell and 真核細胞
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23991-23991	子類 Zygote and 真核細胞
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22486-22486
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22485-22485
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22484-22484

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

VirusProteinAndCellPart.kif 697-697

域 chromosomeNumber, 1 and 真核細胞

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 865-874	例 Collection and HomologousChromosomeSet Chromosome 是 Collection 的 member 類別位於 Collection and Object 例 Object and 細胞核部分 Object and 真核細胞例 MonoploidChromosomeSet and MonoploidChromosomeSet 子集合 MonoploidChromosomeSet and Collection chromosomeSetCount MonoploidChromosomeSet, Collection and 2
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 876-887	例 Collection and HomologousChromosomeSet Chromosome 是 Collection 的 member 類別位於 Collection and Object 例 Object and 細胞核部分 Object and 真核細胞子集合 MonoploidChromosomeSet and Collection 子集合 MonoploidChromosomeSet and Collection 等於 MonoploidChromosomeSet and MonoploidChromosomeSet homologousChromosomePair MonoploidChromosomeSet and MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 718-730	例 Collection and MonoploidChromosomeSet Chromosome 是 Collection 的 member 類別位於 Collection and Object 例 Object and 細胞核部分 Object and 真核細胞會員 Chromosome and Collection 會員 Chromosome and Collection 等於 Chromosome and Chromosome homologousChromosome Chromosome and Chromosome
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 599-607	例 Object and Object 子類 Object and 細胞核 %每個 Object 是真核細胞的 initially part Object 例 Object and 染色質部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 383-388	例 Object and 真核細胞 Object 內飾部分 Object and Object 例 Object 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