monoploidNumber - Sigma Knowledge base Browser

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	The number 1 argument of monoploid number is an instance of monoploid chromosome set
(domain monoploidNumber 2 Integer)	VirusProteinAndCellPart.kif 739-739	The number 2 argument of monoploid number is an instance of integer
(instance monoploidNumber BinaryPredicate)	VirusProteinAndCellPart.kif 733-733	monoploid number is an instance of binary predicate

appearance as argument number 2

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