Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - chromosomeSetCount
chromosomeSetCount

appearance as argument number 1
-------------------------


(instance chromosomeSetCount TernaryPredicate) VirusProteinAndCellPart.kif 802-802 chromosome set count is an instance of ternary predicate
(documentation chromosomeSetCount EnglishLanguage "chromosomeSetCount is a TernaryPredicate. (chromosomeSetCount ?SUB ?COLL ?I) means that there are ?I number of ?SUB MonoploidChromosomeSet contained in CollectionOfObjects ?COLL.") VirusProteinAndCellPart.kif 803-805 chromosome set count is an instance of ternary predicate
(domain chromosomeSetCount 1 MonoploidChromosomeSet) VirusProteinAndCellPart.kif 807-807 The number 1 argument of chromosome set count is an instance of monoploid chromosome set
(domain chromosomeSetCount 2 CollectionOfObjects) VirusProteinAndCellPart.kif 808-808 The number 2 argument of chromosome set count is an instance of collection
(domain chromosomeSetCount 3 Integer) VirusProteinAndCellPart.kif 809-809 The number 3 argument of chromosome set count is an instance of integer

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage chromosomeSetCount "chromosome set count") VirusProteinAndCellPart.kif 806-806
(format EnglishLanguage chromosomeSetCount "There are %3 number of %1 MonoploidChromosomeSet in CollectionOfObjects %2.") VirusProteinAndCellPart.kif 810-811

antecedent
-------------------------


(=>
    (and
        (chromosomeSetCount ?SUB ?COLL ?I)
        (subCollection ?SUB ?COLL))
    (equal ?I
        (CardinalityFn
            (KappaFn ?I
                (subCollection ?SUB ?COLL)))))		 VirusProteinAndCellPart.kif 813-820 If There are X number of Y MonoploidChromosomeSet in CollectionOfObjects Z. and Y is a proper sub-collection of Z, then equal X and the number of instances in the class described by X
(=>
    (and
        (instance ?COLL CollectionOfObjects)
        (memberType ?COLL Chromosome)
        (subCollection ?A ?COLL)
        (chromosomeSetCount ?A ?COLL 2)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N ?CELL))
    (instance ?CELL DiploidCell))		 VirusProteinAndCellPart.kif 880-889 If All of the following hold: (1) X is an instance of collection (2) chromosome is a member type of X (3) Y is a proper sub-collection of X (4) There are 2 number of Y MonoploidChromosomeSet in CollectionOfObjects X. (5) X is located at Z (6) Z is an instance of cell nucleus (7) Z is a part of W, then W is an instance of diploid cell
(=>
    (and
        (instance ?COLL CollectionOfObjects)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL)
        (chromosomeSetCount ?A ?COLL 4)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N ?CELL))
    (instance ?CELL TetraploidCell))		 VirusProteinAndCellPart.kif 923-933 If All of the following hold: (1) X is an instance of collection (2) chromosome is a member type of X (3) Y is an instance of monoploid chromosome set (4) Y is a proper sub-collection of X (5) There are 4 number of Y MonoploidChromosomeSet in CollectionOfObjects X. (6) X is located at Z (7) Z is an instance of cell nucleus (8) Z is a part of W, then W is an instance of tetraploid cell
(=>
    (and
        (instance ?COLL CollectionOfObjects)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL)
        (chromosomeSetCount ?A ?COLL 6)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N ?CELL))
    (instance ?CELL HexaploidCell))		 VirusProteinAndCellPart.kif 976-986 If All of the following hold: (1) X is an instance of collection (2) chromosome is a member type of X (3) Y is an instance of monoploid chromosome set (4) Y is a proper sub-collection of X (5) There are 6 number of Y MonoploidChromosomeSet in CollectionOfObjects X. (6) X is located at Z (7) Z is an instance of cell nucleus (8) Z is a part of W, then W is an instance of hexaploid cell

consequent
-------------------------


(=>
    (and
        (instance ?COLL HomologousChromosomeSet)
        (memberType ?COLL Chromosome)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N EukaryoticCell)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL))
    (chromosomeSetCount ?A ?COLL 2))		 VirusProteinAndCellPart.kif 850-859 If All of the following hold: (1) X is an instance of homologous chromosome set (2) chromosome is a member type of X (3) X is located at Y (4) Y is an instance of cell nucleus (5) Y is a part of eukaryotic cell (6) Z is an instance of monoploid chromosome set (7) Z is a proper sub-collection of X, then There are 2 number of Z MonoploidChromosomeSet in CollectionOfObjects X.
(=>
    (and
        (instance ?CELL TriploidCell)
        (instance ?N CellNucleus)
        (part ?N ?CELL)
        (located ?COLL ?N)
        (instance ?COLL CollectionOfObjects)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL))
    (chromosomeSetCount ?A ?COLL 3))		 VirusProteinAndCellPart.kif 905-915 If All of the following hold: (1) X is an instance of triploid cell (2) Y is an instance of cell nucleus (3) Y is a part of X (4) Z is located at Y (5) Z is an instance of collection (6) chromosome is a member type of Z (7) W is an instance of monoploid chromosome set (8) W is a proper sub-collection of Z, then There are 3 number of W MonoploidChromosomeSet in CollectionOfObjects Z.
(=>
    (and
        (instance ?CELL PentaploidCell)
        (instance ?N CellNucleus)
        (part ?N ?CELL)
        (located ?COLL ?N)
        (instance ?COLL CollectionOfObjects)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL))
    (chromosomeSetCount ?A ?COLL 5))		 VirusProteinAndCellPart.kif 958-968 If All of the following hold: (1) X is an instance of pentaploid cell (2) Y is an instance of cell nucleus (3) Y is a part of X (4) Z is located at Y (5) Z is an instance of collection (6) chromosome is a member type of Z (7) W is an instance of monoploid chromosome set (8) W is a proper sub-collection of Z, then There are 5 number of W MonoploidChromosomeSet in CollectionOfObjects Z.


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners