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

(documentation chromosomeSetCount EnglishLanguage "chromosomeSetCount is a TernaryPredicate. (chromosomeSetCount ?SUB ?COLL ?I) means that there are ?I number of ?SUB MonoploidChromosomeSet contained in Collection ?COLL.")	VirusProteinAndCellPart.kif 818-820
(domain chromosomeSetCount 1 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 822-822	The number 1 argument of chromosome set count is an instance of monoploid chromosome set
(domain chromosomeSetCount 2 Collection)	VirusProteinAndCellPart.kif 823-823	The number 2 argument of chromosome set count is an instance of collection
(domain chromosomeSetCount 3 Integer)	VirusProteinAndCellPart.kif 824-824	The number 3 argument of chromosome set count is an instance of integer
(instance chromosomeSetCount TernaryPredicate)	VirusProteinAndCellPart.kif 817-817	chromosome set count is an instance of ternary predicate

appearance as argument number 2

(format EnglishLanguage chromosomeSetCount "There are %3 number of %1 MonoploidChromosomeSet in Collection %2.")	VirusProteinAndCellPart.kif 825-826
(termFormat EnglishLanguage chromosomeSetCount "chromosome set count")	VirusProteinAndCellPart.kif 821-821

antecedent

(=> (and (chromosomeSetCount ?SUB ?COLL ?I) (subCollection ?SUB ?COLL)) (equal ?I (CardinalityFn (KappaFn ?I (subCollection ?SUB ?COLL)))))	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
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL) (chromosomeSetCount ?A ?COLL 4) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N ?CELL)) (instance ?CELL TetraploidCell))	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
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL) (chromosomeSetCount ?A ?COLL 6) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N ?CELL)) (instance ?CELL HexaploidCell))	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
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (subCollection ?A ?COLL) (chromosomeSetCount ?A ?COLL 2) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N ?CELL)) (instance ?CELL DiploidCell))	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

(=> (and (instance ?CELL PentaploidCell) (instance ?N CellNucleus) (part ?N ?CELL) (located ?COLL ?N) (instance ?COLL Collection) (memberType ?COLL Chromosome) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL)) (chromosomeSetCount ?A ?COLL 5))	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.
(=> (and (instance ?CELL TriploidCell) (instance ?N CellNucleus) (part ?N ?CELL) (located ?COLL ?N) (instance ?COLL Collection) (memberType ?COLL Chromosome) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL)) (chromosomeSetCount ?A ?COLL 3))	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.
(=> (and (instance ?COLL HomologousChromosomeSet) (memberType ?COLL Chromosome) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N EukaryoticCell) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL)) (chromosomeSetCount ?A ?COLL 2))	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