chromosomeNumber |
appearance as argument number 1 |
(documentation chromosomeNumber EnglishLanguage "chromosomeNumber is a BinaryPredicate indicating the total number of Chromosomes contained in the CellNucleus of a EukaryoticCell.") | VirusProteinAndCellPart.kif 694-696 | |
(domain chromosomeNumber 1 EukaryoticCell) | VirusProteinAndCellPart.kif 698-698 | |
(domain chromosomeNumber 2 Integer) | VirusProteinAndCellPart.kif 699-699 | |
(instance chromosomeNumber BinaryPredicate) | VirusProteinAndCellPart.kif 693-693 |
appearance as argument number 2 |
(format EnglishLanguage chromosomeNumber "There are %2 number of Chromosomes in MonoploidChromosomeSet %1.") | VirusProteinAndCellPart.kif 740-741 | |
(format EnglishLanguage chromosomeNumber "There are %2 number of &Chromosome in EukaryoticCell %1.") | VirusProteinAndCellPart.kif 700-701 | |
(termFormat EnglishLanguage chromosomeNumber "chromosome number") | VirusProteinAndCellPart.kif 697-697 |
antecedent |
(=> (and (chromosomeNumber ?C ?I) (part ?N ?C) (instance ?N CellNucleus) (instance ?COLL Collection) (located ?COLL ?N) (memberType ?COLL Chromosome)) (memberCount ?COLL ?I)) |
VirusProteinAndCellPart.kif 703-711 | |
(=> (and (instance ?CELL HaploidCell) (chromosomeNumber ?CELL ?X) (haploidNumber ?CELL ?Y)) (equal ?X ?Y)) |
VirusProteinAndCellPart.kif 811-816 | |
(=> (and (instance ?CELL MonoploidCell) (chromosomeNumber ?CELL ?X) (instance ?COLL MonoploidChromosomeSet) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N ?CELL) (monoploidNumber ?COLL ?Y)) (equal ?X ?Y)) |
VirusProteinAndCellPart.kif 773-782 |