| 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 23946-23946 | |
| (subclass SomaticCell EukaryoticCell) | Mid-level-ontology.kif 23938-23938 | |
| (subclass Zygote EukaryoticCell) | Mid-level-ontology.kif 23992-23992 | |
| (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 698-698 |
| 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 866-875 | |
| (=> (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 877-888 | |
| (=> (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 719-731 | |
| (=> (and (instance ?NUCLEUS ?CLASS) (subclass ?CLASS CellNucleus) (initialPart ?CLASS EukaryoticCell)) (exists (?CHROMOTIN) (and (instance ?CHROMOTIN Chromotin) (part ?CHROMOTIN ?NUCLEUS)))) |
VirusProteinAndCellPart.kif 600-608 | |
| (=> (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