Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  chromosomeSetCount

Sigma KEE - chromosomeSetCount
chromosomeSetCount

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


(documentation chromosomeSetCount EnglishLanguage "chromosomeSetCount is a TernaryPredicate. (chromosomeSetCount ?SUB ?COLL ?I) means that there are ?I number of ?SUB MonoploidChromosomeSet contained in Collection ?COLL.") VirusProteinAndCellPart.kif 818-820
(domain chromosomeSetCount 1 MonoploidChromosomeSet) VirusProteinAndCellPart.kif 822-822 chromosomeSetCount 的 1 数量 是 MonoploidChromosomeSetinstance
(domain chromosomeSetCount 2 Collection) VirusProteinAndCellPart.kif 823-823 chromosomeSetCount 的 2 数量 是 群体instance
(domain chromosomeSetCount 3 Integer) VirusProteinAndCellPart.kif 824-824 chromosomeSetCount 的 3 数量 是 整数instance
(instance chromosomeSetCount TernaryPredicate) VirusProteinAndCellPart.kif 817-817 chromosomeSetCount三元谓语instance

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


(format EnglishLanguage chromosomeSetCount "There are %3 number of %1 MonoploidChromosomeSet in Collection %2.") VirusProteinAndCellPart.kif 825-826
(termFormat EnglishLanguage chromosomeSetCount "chromosome set count") VirusProteinAndCellPart.kif 821-821

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


(=>
    (and
        (chromosomeSetCount ?SUB ?COLL ?I)
        (subCollection ?SUB ?COLL))
    (equal ?I
        (CardinalityFn
            (KappaFn ?I
                (subCollection ?SUB ?COLL)))))
VirusProteinAndCellPart.kif 828-835
(=>
    (and
        (instance ?COLL Collection)
        (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 938-948
(=>
    (and
        (instance ?COLL Collection)
        (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 991-1001
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (subCollection ?A ?COLL)
        (chromosomeSetCount ?A ?COLL 2)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N ?CELL))
    (instance ?CELL DiploidCell))
VirusProteinAndCellPart.kif 895-904

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


(=>
    (and
        (instance ?CELL PentaploidCell)
        (instance ?N CellNucleus)
        (part ?N ?CELL)
        (located ?COLL ?N)
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL))
    (chromosomeSetCount ?A ?COLL 5))
VirusProteinAndCellPart.kif 973-983
(=>
    (and
        (instance ?CELL TriploidCell)
        (instance ?N CellNucleus)
        (part ?N ?CELL)
        (located ?COLL ?N)
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL))
    (chromosomeSetCount ?A ?COLL 3))
VirusProteinAndCellPart.kif 920-930
(=>
    (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 865-874


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners