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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DiploidCell
DiploidCell(diploid cell)

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


(documentation DiploidCell EnglishLanguage "DiploidCells have a set of two (2) homologous Chromosome, usually one from the mother and from the father. [Wikipedia]") VirusProteinAndCellPart.kif 898-899
(subclass DiploidCell SomaticCell) VirusProteinAndCellPart.kif 896-896 Diploid cell is a subclass of somatic cell
(subclass DiploidCell Zygote) VirusProteinAndCellPart.kif 897-897 Diploid cell is a subclass of zygote

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


(termFormat EnglishLanguage DiploidCell "diploid cell") VirusProteinAndCellPart.kif 900-900

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


(=>
    (and
        (instance ?A AegilopsGrass)
        (part ?C ?A)
        (instance ?C ?CLASS))
    (subclass ?CLASS DiploidCell))
Economy.kif 4177-4182
(=>
    (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 902-911
(=>
    (and
        (instance ?COLL HomologousChromosomeSet)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N ?CELL))
    (instance ?CELL DiploidCell))
VirusProteinAndCellPart.kif 913-919
(=>
    (and
        (instance ?E EinkornWheatGrass)
        (part ?C ?E)
        (instance ?E ?CLASS))
    (subclass ?CLASS DiploidCell))
Economy.kif 4271-4276
(=>
    (and
        (instance ?E TriticumUrartu)
        (part ?C ?E)
        (instance ?E ?CLASS))
    (subclass ?CLASS DiploidCell))
Economy.kif 4285-4290


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 is open source software produced by Articulate Software and its partners