chromosomeSetCount - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - chromosomeSetCount

chromosomeSetCount

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 818-820
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 823-823	The number 2 argument of chromosome set count is an instance of collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 824-824	The number 3 argument of chromosome set count is an instance of integer
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 817-817	chromosome set count is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 825-826
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 821-821

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 828-835	If There are an integer number of a monoploid chromosome set MonoploidChromosomeSet in Collection a collection. and the monoploid chromosome set is a proper sub-collection of the collection, then the integer is equal to the number of instances in the class described by the integer
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 895-904	If a collection is an instance of collection and Chromosome is a member type of the collection and a monoploid chromosome set is a proper sub-collection of the collection and There are 2 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 diploid cell

consequent

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

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