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 | Le nombre 1 argument de monoploidNumber est une instance de MonoploidChromosomeSet |
(domain monoploidNumber 2 Integer) | VirusProteinAndCellPart.kif 739-739 | Le nombre 2 argument de monoploidNumber est une instance de nombre entier |
(instance monoploidNumber BinaryPredicate) | VirusProteinAndCellPart.kif 733-733 | monoploidNumber est une instance de pr�dicat binaire |
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 |