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 数量 是 MonoploidChromosomeSet 的 instance |
(domain monoploidNumber 2 Integer) | VirusProteinAndCellPart.kif 739-739 | monoploidNumber 的 2 数量 是 整数 的 instance |
(instance monoploidNumber BinaryPredicate) | VirusProteinAndCellPart.kif 733-733 | monoploidNumber 是 二元谓语 的 instance |
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 |