TreeView Knowledge Base Browser - MonoploidCell

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MonoploidCell

MonoploidCell(monoploid cell)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 750-752
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 748-748	Monoploid cell is a subclass of somatic cell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 749-749	Monoploid cell is a subclass of zygote

appearance as argument number 2

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

VirusProteinAndCellPart.kif 753-753

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 772-781	If an eukaryotic cell is an instance of monoploid cell and There are an integer number of Chromosomes in MonoploidChromosomeSet the eukaryotic cell. and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is located at an object and the object is an instance of cell nucleus and the object is a part of the eukaryotic cell and monoploid number the monoploid chromosome set and another integer, then the integer is equal to the other integer
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 755-770	If an object is an instance of monoploid cell and another object is an instance of cell nucleus and the other object is a part of the object, then there exists a physical such that the physical is an instance of monoploid chromosome set and the physical is located at the other object and there doesn't exist another physical such that the other physical is an instance of monoploid chromosome set and the other physical is not equal to the physical and the other physical is located at the other object

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