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

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 757-759
(subclass MonoploidCell SomaticCell)	VirusProteinAndCellPart.kif 755-755	MonoploidCell is a subclass of SomaticCell
(subclass MonoploidCell Zygote)	VirusProteinAndCellPart.kif 756-756	MonoploidCell is a subclass of Zygote

appearance as argument number 2

(termFormat EnglishLanguage MonoploidCell "monoploid cell")

VirusProteinAndCellPart.kif 760-760

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 779-788	If an EukaryoticCell is an instance of MonoploidCell and chromosomeNumber the EukaryoticCell and an integer and a MonoploidChromosomeSet is an instance of MonoploidChromosomeSet and the MonoploidChromosomeSet is located at an object and the object is an instance of CellNucleus and the object is a part of the EukaryoticCell and monoploidNumber the MonoploidChromosomeSet and another integer, then equal the integer and 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 762-777	If an object is an instance of MonoploidCell and another object is an instance of CellNucleus and the other object is a part of the object, then there exists a physical such that the physical is an instance of MonoploidChromosomeSet 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 MonoploidChromosomeSet and equal the other physical and 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