monoploidNumber - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

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))

If All of the following hold: (1) X is an instance of monoploid cell (2) There are Y number of Chromosomes in MonoploidChromosomeSet X. (3) Z is an instance of monoploid chromosome set (4) Z is located at W (5) W is an instance of cell nucleus (6) W is a part of X (7) monoploid number Z and V, then equal Y and V

consequent

(=>
    (and
        (instance ?COLL MonoploidChromosomeSet)
        (memberCount ?COLL ?I))
    (monoploidNumber ?COLL ?I))