TreeView Knowledge Base Browser - MonoploidCell

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MonoploidCell

MonoploidCell(monoploid cell)

appearance as argument number 1

(documentation MonoploidCell EnglishLanguage "MonoploidCell is a cell that contains one (1) set of Chromosomes, ie.a MonoploidChromosomeSet. In other words, its chromosomeNumber and monoploidNumber are equal.")	VirusProteinAndCellPart.kif 751-753
(subclass MonoploidCell SomaticCell)	VirusProteinAndCellPart.kif 749-749	Monoploid cell is a subclass of somatic cell
(subclass MonoploidCell Zygote)	VirusProteinAndCellPart.kif 750-750	Monoploid cell is a subclass of zygote

appearance as argument number 2

(termFormat EnglishLanguage MonoploidCell "monoploid cell")

VirusProteinAndCellPart.kif 754-754

antecedent

(=> (and (instance ?CELL MonoploidCell) (chromosomeNumber ?CELL ?X) (instance ?COLL MonoploidChromosomeSet) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N ?CELL) (monoploidNumber ?COLL ?Y)) (equal ?X ?Y))	VirusProteinAndCellPart.kif 773-782	If an eukaryotic cell is an instance of monoploid cell and There are an integer number of Chromosomes in MonoploidChromosomeSet the eukaryotic cell. and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is located at an object and the object is an instance of cell nucleus and the object is a part of the eukaryotic cell and monoploid number the monoploid chromosome set and another integer, then the integer is equal to the other integer
(=> (and (instance ?CELL MonoploidCell) (instance ?N CellNucleus) (part ?N ?CELL)) (exists (?COLL) (and (instance ?COLL MonoploidChromosomeSet) (located ?COLL ?N) (not (exists (?SET) (and (instance ?SET MonoploidChromosomeSet) (not (equal ?SET ?COLL)) (located ?SET ?N)))))))	VirusProteinAndCellPart.kif 756-771	If an object is an instance of monoploid cell and another object is an instance of cell nucleus and the other object is a part of the object, then there exists a physical such that the physical is an instance of monoploid chromosome set and the physical is located at the other object and there doesn't exist another physical such that the other physical is an instance of monoploid chromosome set and the other physical is not equal to the physical and the other physical is located at the other object

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