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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DiploidCell
DiploidCell

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 891-892
(subclass DiploidCell SomaticCell) VirusProteinAndCellPart.kif 889-889 DiploidCellSomaticCellsubclass では %n
(subclass DiploidCell Zygote) VirusProteinAndCellPart.kif 890-890 DiploidCellZygotesubclass では %n

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


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

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


(=>
    (and
        (instance ?A AegilopsGrass)
        (part ?C ?A)
        (instance ?C ?CLASS))
    (subclass ?CLASS DiploidCell))
Economy.kif 3840-3845
(=>
    (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
(=>
    (and
        (instance ?COLL HomologousChromosomeSet)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N ?CELL))
    (instance ?CELL DiploidCell))
VirusProteinAndCellPart.kif 906-912
(=>
    (and
        (instance ?E EinkornWheatGrass)
        (part ?C ?E)
        (instance ?E ?CLASS))
    (subclass ?CLASS DiploidCell))
Economy.kif 3934-3939
(=>
    (and
        (instance ?E TriticumUrartu)
        (part ?C ?E)
        (instance ?E ?CLASS))
    (subclass ?CLASS DiploidCell))
Economy.kif 3948-3953


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