Cell - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3518-3518
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14033-14034
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1069-1069
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14032-14032	Cell is a subclass of body part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9139-9139	Blood cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 326-326	Eukaryotic cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9242-9242	Nerve cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 336-336	Prokaryotic cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1022-1022
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1261-1261

appearance as argument number 3

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

VirusProteinAndCellPart.kif 583-583

The number 1 argument of cell part is an instance of cell

antecedent

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

VirusProteinAndCellPart.kif 485-490

If an object is an instance of cell,
then there exists another object such that the other object is an instance of cell envelope and the other object is a part of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13455-13463	If an agent is an instance of virus and a process is an instance of replication and the agent is an agent of the process, then there exists an object such that the process is located at the object and the object is an instance of cell
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13424-13435	If a corpuscular object is an instance of bacterium, then there exists another corpuscular object such that the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of cell and for all a third corpuscular object if the third corpuscular object is a component of the corpuscular object and the third corpuscular object is an instance of cell, then the other corpuscular object is equal to the third corpuscular object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 363-368	If an object is an instance of cell membrane internal, then there exists an entity such that the entity is an instance of cell and the object is a interior part of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9308-9313	If an object is an instance of cell nucleus, then there exists another object such that the other object is an instance of cell and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9295-9300	If an object is an instance of cell part, then there exists an entity such that the entity is an instance of cell and the object is a proper part of the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13882-13887	If an object is an instance of anatomical structure, then there exists another object such that the other object is an instance of cell and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14059-14064	If an object is an instance of tissue, then there exists another object such that the other object is an instance of cell and the other object is a part of the object

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

KB Term:			Term intersection

English Word: