monoploidNumber |
appearance as argument number 1 |
(documentation monoploidNumber EnglishLanguage "monoploidNumber is a BinaryPredicate indicating the number of unique Chromosomes contained in a complete MonoploidChromosomeSet in the CellNuclues of a EukaryoticCell.") | VirusProteinAndCellPart.kif 733-735 | |
(domain monoploidNumber 1 MonoploidChromosomeSet) | VirusProteinAndCellPart.kif 737-737 | |
(domain monoploidNumber 2 Integer) | VirusProteinAndCellPart.kif 738-738 | |
(instance monoploidNumber BinaryPredicate) | VirusProteinAndCellPart.kif 732-732 |
appearance as argument number 2 |
(termFormat EnglishLanguage monoploidNumber "monoploid number") | VirusProteinAndCellPart.kif 736-736 |
antecedent |
(=> (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 772-781 |
consequent |
(=> (and (instance ?COLL MonoploidChromosomeSet) (memberCount ?COLL ?I)) (monoploidNumber ?COLL ?I)) |
VirusProteinAndCellPart.kif 742-746 |