MonoploidChromosomeSet - Sigma Knowledge base Browser

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

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 823-823	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 844-844	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 845-845	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 738-738	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 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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 974-984	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 921-931	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 939-949	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 992-1002	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 866-875	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 743-747	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 719-731	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 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 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: