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 734-736 | |
(domain monoploidNumber 1 MonoploidChromosomeSet) | VirusProteinAndCellPart.kif 738-738 | 域 monoploidNumber, 1 and MonoploidChromosomeSet |
(domain monoploidNumber 2 Integer) | VirusProteinAndCellPart.kif 739-739 | 域 monoploidNumber, 2 and Integer |
(instance monoploidNumber BinaryPredicate) | VirusProteinAndCellPart.kif 733-733 | 例 monoploidNumber and BinaryPredicate |
appearance as argument number 2 |
(termFormat EnglishLanguage monoploidNumber "monoploid number") | VirusProteinAndCellPart.kif 737-737 |
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 773-782 |
|
consequent |
(=> (and (instance ?COLL MonoploidChromosomeSet) (memberCount ?COLL ?I)) (monoploidNumber ?COLL ?I)) |
VirusProteinAndCellPart.kif 743-747 |