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	Monoploid chromosome set is a subclass of 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	The number 1 argument of chromosome set count is an instance of monoploid chromosome set
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 843-843	The number 1 argument of homologous chromosome pair is an instance of monoploid chromosome set
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 844-844	The number 2 argument of homologous chromosome pair is an instance of monoploid chromosome set
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 737-737	The number 1 argument of monoploid number is an instance of monoploid chromosome set

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 772-781	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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 973-983	If an object is an instance of pentaploid cell and another object is an instance of cell nucleus and the other object is a part of the object and a collection is located at the other object and the collection is an instance of collection and Chromosome is a member type of the collection and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is a proper sub-collection of the collection, then There are 5 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection.
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 920-930	If an object is an instance of triploid cell and another object is an instance of cell nucleus and the other object is a part of the object and a collection is located at the other object and the collection is an instance of collection and Chromosome is a member type of the collection and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is a proper sub-collection of the collection, then There are 3 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection.
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 938-948	If a collection is an instance of collection and Chromosome is a member type of the collection and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is a proper sub-collection of the collection and There are 4 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection. and the collection is located at an object and the object is an instance of cell nucleus and the object is a part of another object, then the other object is an instance of tetraploid cell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 991-1001	If a collection is an instance of collection and Chromosome is a member type of the collection and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is a proper sub-collection of the collection and There are 6 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection. and the collection is located at an object and the object is an instance of cell nucleus and the object is a part of another object, then the other object is an instance of hexaploid cell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 865-874	If a collection is an instance of homologous chromosome set and Chromosome is a member type of the collection and the collection is located at an object and the object is an instance of cell nucleus and the object is a part of eukaryotic cell and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is a proper sub-collection of the collection, then There are 2 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection.
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 742-746	If a monoploid chromosome set is an instance of monoploid chromosome set and an integer is a member count of the monoploid chromosome set, then monoploid number the monoploid chromosome set and the integer
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 718-730	If a collection is an instance of monoploid chromosome set and Chromosome is a member type of the collection and the collection is located at an object and the object is an instance of cell nucleus and the object is a part of eukaryotic cell and a Chromosome is a member of the collection and another Chromosome is a member of the collection and the Chromosome is not equal to the other Chromosome, then not the Chromosome in the other Chromosome are homologousChromosome

consequent

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

VirusProteinAndCellPart.kif 755-770

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