TreeView Knowledge Base Browser - MonoploidChromosomeSet

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 714-716
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 713-713	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 717-717

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 823-823	Le nombre 1 argument de chromosomeSetCount est une instance de MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 844-844	Le nombre 1 argument de homologousChromosomePair est une instance de MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 845-845	Le nombre 2 argument de homologousChromosomePair est une instance de MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 738-738	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 773-782	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 974-984	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 921-931	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 939-949	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 992-1002	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 866-875	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 743-747	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 719-731	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 756-771

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 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

KB Term:			Term intersection

English Word: