| appearance as argument number 1 |
|
| (documentation EukaryoticCell EnglishLanguage "The Class of Cells that have a CellNucleus.") | VirusProteinAndCellPart.kif 386-386 | |
| (subclass EukaryoticCell Cell) | VirusProteinAndCellPart.kif 385-385 |
| appearance as argument number 2 |
|
|
| (disjoint ProkaryoticCell EukaryoticCell) | VirusProteinAndCellPart.kif 396-396 | |
| (subclass Gamete EukaryoticCell) | Mid-level-ontology.kif 25611-25611 | |
| (subclass SomaticCell EukaryoticCell) | Mid-level-ontology.kif 25603-25603 | |
| (subclass Zygote EukaryoticCell) | Mid-level-ontology.kif 25657-25657 | |
| (termFormat ChineseLanguage EukaryoticCell "真核细胞") | domainEnglishFormat.kif 22498-22498 | |
| (termFormat ChineseTraditionalLanguage EukaryoticCell "真核細胞") | domainEnglishFormat.kif 22497-22497 | |
| (termFormat EnglishLanguage EukaryoticCell "eukaryotic cell") | domainEnglishFormat.kif 22496-22496 |
| appearance as argument number 3 |
|
|
| (domain chromosomeNumber 1 EukaryoticCell) | VirusProteinAndCellPart.kif 704-704 |
| 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 872-881 | |
| (=> (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 883-894 | |
| (=> (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 725-737 | |
| (=> (and (instance ?NUCLEUS ?CLASS) (subclass ?CLASS CellNucleus) (initialPart ?CLASS EukaryoticCell)) (exists (?CHROMOTIN) (and (instance ?CHROMOTIN Chromotin) (part ?CHROMOTIN ?NUCLEUS)))) |
VirusProteinAndCellPart.kif 605-613 | |
| (=> (instance ?OBJ1 EukaryoticCell) (exists (?OBJ2) (and (interiorPart ?OBJ2 ?OBJ1) (instance ?OBJ2 CellNucleus)))) |
VirusProteinAndCellPart.kif 388-393 |
|
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