MonoploidChromosomeSet - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 713-715
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 712-712	MonoploidChromosomeSet est une sous-classe de collection

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

VirusProteinAndCellPart.kif 716-716

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 822-822	Le nombre 1 argument de chromosomeSetCount est une instance de MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 843-843	Le nombre 1 argument de homologousChromosomePair est une instance de MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 844-844	Le nombre 2 argument de homologousChromosomePair est une instance de MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 737-737	Le nombre 1 argument de monoploidNumber est une instance de MonoploidChromosomeSet

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 772-781	EukaryoticCell est une instance de MonoploidCell chromosomeNumber EukaryoticCell and nombre entier MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est situ� � objet objet est une instance de CellNucleus objet est une partie de EukaryoticCell monoploidNumber MonoploidChromosomeSet and nombre entier nombre entier est nombre entier
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 973-983	Objet est une instance de PentaploidCell objet est une instance de CellNucleus objet est une partie de objet collection est situ� � objet collection est une instance de collection memberType collection and Chromosome MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 5
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 920-930	Objet est une instance de TriploidCell objet est une instance de CellNucleus objet est une partie de objet collection est situ� � objet collection est une instance de collection memberType collection and Chromosome MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 3
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 938-948	Collection est une instance de collection memberType collection and Chromosome MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 4 collection est situ� � objet objet est une instance de CellNucleus objet est une partie de objet objet est une instance de TetraploidCell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 991-1001	Collection est une instance de collection memberType collection and Chromosome MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 6 collection est situ� � objet objet est une instance de CellNucleus objet est une partie de objet objet est une instance de HexaploidCell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 865-874	Collection est une instance de HomologousChromosomeSet memberType collection and Chromosome collection est situ� � objet objet est une instance de CellNucleus objet est une partie de EukaryoticCell MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 2
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 742-746	MonoploidChromosomeSet est une instance de MonoploidChromosomeSet memberCount MonoploidChromosomeSet and nombre entier monoploidNumber MonoploidChromosomeSet and nombre entier
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 718-730	Collection est une instance de MonoploidChromosomeSet memberType collection and Chromosome collection est situ� � objet objet est une instance de CellNucleus objet est une partie de EukaryoticCell Chromosome est un membre de collection Chromosome est un membre de collection Chromosome est Chromosome homologousChromosome Chromosome and Chromosome

consequent

No TPTP formula. May not be expressible in strict first order.

VirusProteinAndCellPart.kif 755-770

Objet est une instance de MonoploidCell objet est une instance de CellNucleus objet est une partie de objet
physique physique est une instance de MonoploidChromosomeSet physique est situ� � objet physique physique est une instance de MonoploidChromosomeSet physique est physique physique est situ� � objet

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

KB Term:			Term intersection

English Word: