| 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 |
| appearance as argument number 2 |
|
|
| (disjoint ProkaryoticCell EukaryoticCell) | VirusProteinAndCellPart.kif 391-391 | |
| (subclass Gamete EukaryoticCell) | Mid-level-ontology.kif 24234-24234 | |
| (subclass SomaticCell EukaryoticCell) | Mid-level-ontology.kif 24226-24226 | |
| (subclass Zygote EukaryoticCell) | Mid-level-ontology.kif 24280-24280 | |
| (termFormat ChineseLanguage EukaryoticCell "真核细胞") | domainEnglishFormat.kif 22499-22499 | |
| (termFormat ChineseTraditionalLanguage EukaryoticCell "真核細胞") | domainEnglishFormat.kif 22498-22498 | |
| (termFormat EnglishLanguage EukaryoticCell "eukaryotic cell") | domainEnglishFormat.kif 22497-22497 |
| appearance as argument number 3 |
|
|
| (domain chromosomeNumber 1 EukaryoticCell) | VirusProteinAndCellPart.kif 697-697 |
| 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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (and (instance ?NUCLEUS ?CLASS) (subclass ?CLASS CellNucleus) (initialPart ?CLASS EukaryoticCell)) (exists (?CHROMOTIN) (and (instance ?CHROMOTIN Chromotin) (part ?CHROMOTIN ?NUCLEUS)))) |
VirusProteinAndCellPart.kif 599-607 | |
| (=> (instance ?OBJ1 EukaryoticCell) (exists (?OBJ2) (and (interiorPart ?OBJ2 ?OBJ1) (instance ?OBJ2 CellNucleus)))) |
VirusProteinAndCellPart.kif 383-388 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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