TreeView Knowledge Base Browser - Polymer

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Polymer

Polymer

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 65-70
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 64-64	Polymer is a subclass of molecule

appearance as argument number 2

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

VirusProteinAndCellPart.kif 81-81

Biopolymer is a subclass of Polymer

antecedent

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