| 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 819-821 | |
| (domain chromosomeSetCount 1 MonoploidChromosomeSet) | VirusProteinAndCellPart.kif 823-823 | |
| (domain chromosomeSetCount 2 Collection) | VirusProteinAndCellPart.kif 824-824 | |
| (domain chromosomeSetCount 3 Integer) | VirusProteinAndCellPart.kif 825-825 | |
| (instance chromosomeSetCount TernaryPredicate) | VirusProteinAndCellPart.kif 818-818 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage chromosomeSetCount "There are %3 number of %1 MonoploidChromosomeSet in Collection %2.") | VirusProteinAndCellPart.kif 826-827 | |
| (termFormat EnglishLanguage chromosomeSetCount "chromosome set count") | VirusProteinAndCellPart.kif 822-822 |
| antecedent |
|
|
| (=> (and (chromosomeSetCount ?SUB ?COLL ?I) (subCollection ?SUB ?COLL)) (equal ?I (CardinalityFn (KappaFn ?I (subCollection ?SUB ?COLL))))) |
VirusProteinAndCellPart.kif 829-836 | |
| (=> (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 939-949 | |
| (=> (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 992-1002 | |
| (=> (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 896-905 |
| 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 974-984 | |
| (=> (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 921-931 | |
| (=> (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 866-875 |
|
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