MonoploidChromosomeSet |
appearance as argument number 1 |
(documentation MonoploidChromosomeSet EnglishLanguage "A MonoploidChromosomeSet is one (1) unique set of Chromosomes in a CellNucleus, each of its member is unique and not being part of a pair of homologousChromosme within the set.") | VirusProteinAndCellPart.kif 714-716 | |
(subclass MonoploidChromosomeSet Collection) | VirusProteinAndCellPart.kif 713-713 | MonoploidChromosomeSet ist eine teilkategorie von Collection |
appearance as argument number 2 |
(termFormat EnglishLanguage MonoploidChromosomeSet "monoploid chromosome set") | VirusProteinAndCellPart.kif 717-717 |
appearance as argument number 3 |
(domain chromosomeSetCount 1 MonoploidChromosomeSet) | VirusProteinAndCellPart.kif 823-823 | Die Zahl 1 Argument von chromosomeSetCount ist ein fall von MonoploidChromosomeSet %n{nicht} |
(domain homologousChromosomePair 1 MonoploidChromosomeSet) | VirusProteinAndCellPart.kif 844-844 | Die Zahl 1 Argument von homologousChromosomePair ist ein fall von MonoploidChromosomeSet %n{nicht} |
(domain homologousChromosomePair 2 MonoploidChromosomeSet) | VirusProteinAndCellPart.kif 845-845 | Die Zahl 2 Argument von homologousChromosomePair ist ein fall von MonoploidChromosomeSet %n{nicht} |
(domain monoploidNumber 1 MonoploidChromosomeSet) | VirusProteinAndCellPart.kif 738-738 | Die Zahl 1 Argument von monoploidNumber ist ein fall von MonoploidChromosomeSet %n{nicht} |
antecedent |
consequent |
(=> (and (instance ?CELL MonoploidCell) (instance ?N CellNucleus) (part ?N ?CELL)) (exists (?COLL) (and (instance ?COLL MonoploidChromosomeSet) (located ?COLL ?N) (not (exists (?SET) (and (instance ?SET MonoploidChromosomeSet) (not (equal ?SET ?COLL)) (located ?SET ?N))))))) |
VirusProteinAndCellPart.kif 756-771 |
|