| 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 | |
| (domain chromosomeSetCount 2 Collection) | VirusProteinAndCellPart.kif 823-823 | |
| (domain chromosomeSetCount 3 Integer) | VirusProteinAndCellPart.kif 824-824 | |
| (instance chromosomeSetCount TernaryPredicate) | VirusProteinAndCellPart.kif 817-817 |
| 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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 |
| 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 | |
| (=> (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 | |
| (=> (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 |
|
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