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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HaploidCell
HaploidCell

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


(documentation HaploidCell EnglishLanguage "HaploidCell refers to a Gamete of either sex that contains half (1/ 2) the set of its complete number of chromosomes contained in its corresponding SomaticCell.") VirusProteinAndCellPart.kif 805-807
(subclass HaploidCell Gamete) VirusProteinAndCellPart.kif 804-804 HaploidCellGametesubclass では %n

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


(termFormat EnglishLanguage HaploidCell "haploid cell") VirusProteinAndCellPart.kif 808-808

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


(=>
    (and
        (instance ?CELL HaploidCell)
        (chromosomeNumber ?CELL ?X)
        (haploidNumber ?CELL ?Y))
    (equal ?X ?Y))
VirusProteinAndCellPart.kif 810-815


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