haploidNumber |
appearance as argument number 1 |
(documentation haploidNumber EnglishLanguage "haploidNumber is a BinaryPredicate indicating the number of Chromosomes contained in the CellNuclues of a Gamete cell.") | VirusProteinAndCellPart.kif 784-786 | |
(domain haploidNumber 1 Gamete) | VirusProteinAndCellPart.kif 788-788 | The number 1 argument of haploid number is an instance of gamete |
(domain haploidNumber 2 Integer) | VirusProteinAndCellPart.kif 789-789 | The number 2 argument of haploid number is an instance of integer |
(instance haploidNumber BinaryPredicate) | VirusProteinAndCellPart.kif 783-783 | haploid number is an instance of binary predicate |
appearance as argument number 2 |
(format EnglishLanguage haploidNumber "There are %2 number of Chromosomes in a Gamete cell %1.") | VirusProteinAndCellPart.kif 790-791 | |
(termFormat EnglishLanguage haploidNumber "haploid number") | VirusProteinAndCellPart.kif 787-787 |
antecedent |