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

(documentation EukaryoticCell EnglishLanguage "The Class of Cells that have a CellNucleus.")	VirusProteinAndCellPart.kif 381-381
(subclass EukaryoticCell Cell)	VirusProteinAndCellPart.kif 380-380	子類真核細胞 and Cell

appearance as argument number 2

(disjoint ProkaryoticCell EukaryoticCell)	VirusProteinAndCellPart.kif 391-391	不相交的原核細胞 and 真核細胞
(subclass Gamete EukaryoticCell)	Mid-level-ontology.kif 23945-23945	子類 Gamete and 真核細胞
(subclass SomaticCell EukaryoticCell)	Mid-level-ontology.kif 23937-23937	子類 SomaticCell and 真核細胞
(subclass Zygote EukaryoticCell)	Mid-level-ontology.kif 23991-23991	子類 Zygote and 真核細胞
(termFormat ChineseLanguage EukaryoticCell "真核细胞")	domainEnglishFormat.kif 22486-22486
(termFormat ChineseTraditionalLanguage EukaryoticCell "真核細胞")	domainEnglishFormat.kif 22485-22485
(termFormat EnglishLanguage EukaryoticCell "eukaryotic cell")	domainEnglishFormat.kif 22484-22484

appearance as argument number 3

(domain chromosomeNumber 1 EukaryoticCell)

VirusProteinAndCellPart.kif 697-697

域 chromosomeNumber, 1 and 真核細胞

antecedent

(=> (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 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
(=> (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 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
(=> (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 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
(=> (and (instance ?NUCLEUS ?CLASS) (subclass ?CLASS CellNucleus) (initialPart ?CLASS EukaryoticCell)) (exists (?CHROMOTIN) (and (instance ?CHROMOTIN Chromotin) (part ?CHROMOTIN ?NUCLEUS))))	VirusProteinAndCellPart.kif 599-607	例 Object and Object 子類 Object and 細胞核 %每個 Object 是真核細胞的 initially part Object 例 Object and 染色質部分 Object and Object
(=> (instance ?OBJ1 EukaryoticCell) (exists (?OBJ2) (and (interiorPart ?OBJ2 ?OBJ1) (instance ?OBJ2 CellNucleus))))	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