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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HexaploidCell
HexaploidCell

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


(documentation HexaploidCell EnglishLanguage "HexaploidCell refers to a cell that contains six (6) sets of homologous Chromosomes.") VirusProteinAndCellPart.kif 987-988
(subclass HexaploidCell SomaticCell) VirusProteinAndCellPart.kif 985-985
(subclass HexaploidCell Zygote) VirusProteinAndCellPart.kif 986-986

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


(termFormat EnglishLanguage HexaploidCell "hexaploid cell") VirusProteinAndCellPart.kif 989-989

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


(=>
    (and
        (instance ?CELL HexaploidCell)
        (part ?N ?CELL)
        (instance ?N CellNucleus)
        (located ?COLL ?N)
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome))
    (exists (?A ?B ?C)
        (and
            (instance ?A HomologousChromosomeSet)
            (subCollection ?A ?COLL)
            (instance ?B HomologousChromosomeSet)
            (subCollection ?B ?COLL)
            (instance ?C HomologousChromosomeSet)
            (subCollection ?C ?COLL)
            (not
                (equal ?A ?B))
            (not
                (equal ?A ?C))
            (not
                (equal ?B ?C)))))
VirusProteinAndCellPart.kif 1003-1024

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


(=>
    (and
        (instance ?C CommonWheatGrass)
        (part ?CELL ?C)
        (instance ?CELL ?CLASS))
    (subclass ?CLASS HexaploidCell))
Economy.kif 4078-4083
(=>
    (and
        (instance ?C SpeltWheatGrass)
        (part ?CELL ?C)
        (instance ?CELL ?CLASS))
    (subclass ?CLASS HexaploidCell))
Economy.kif 4108-4113
(=>
    (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


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