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 819-821
(domain chromosomeSetCount 1 MonoploidChromosomeSet) VirusProteinAndCellPart.kif 823-823 chromosomeSetCount 的 1 数量 是 MonoploidChromosomeSet 的 instance
(domain chromosomeSetCount 2 Collection) VirusProteinAndCellPart.kif 824-824 chromosomeSetCount 的 2 数量 是 群体 的 instance
(domain chromosomeSetCount 3 Integer) VirusProteinAndCellPart.kif 825-825 chromosomeSetCount 的 3 数量 是 整数 的 instance
(instance chromosomeSetCount TernaryPredicate) VirusProteinAndCellPart.kif 818-818 chromosomeSetCount 是 三元谓语 的 instance

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


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

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


(=>
    (and
        (chromosomeSetCount ?SUB ?COLL ?I)
        (subCollection ?SUB ?COLL))
    (equal ?I
        (CardinalityFn
            (KappaFn ?I
                (subCollection ?SUB ?COLL)))))		 VirusProteinAndCellPart.kif 829-836
(=>
    (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 939-949
(=>
    (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 992-1002
(=>
    (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 896-905

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 974-984
(=>
    (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 921-931
(=>
    (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 866-875


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