TreeView Knowledge Base Browser - Monomer

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Monomer

Monomer

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 45-47
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 44-44	Monomer is a subclass of molecule

appearance as argument number 2

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

VirusProteinAndCellPart.kif 49-49

Nucleotide is a subclass of Monomer

consequent

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

VirusProteinAndCellPart.kif 72-79

If an entity is an instance of Polymer,
then there exist a collection and a physical such that the entity is equal to the collection and the collection is an instance of collection and the physical is a member of the collection and the physical is an instance of Monomer

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