TreeView Knowledge Base Browser - HaploidCell

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - HaploidCell

HaploidCell(haploid cell)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 806-808
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 805-805	Haploid cell is a subclass of gamete

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

VirusProteinAndCellPart.kif 809-809

antecedent

No TPTP formula. May not be expressible in strict first order.

VirusProteinAndCellPart.kif 811-816

If a gamete is an instance of haploid cell and There are an integer number of Chromosomes in MonoploidChromosomeSet the gamete. and There are another integer number of Chromosomes in a Gamete cell the gamete.,
then the integer is equal to the other integer

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