|
|
   Polymer
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Polymer EnglishLanguage "A Polymer is a substance or material consisting of very large molecules called macromolecules, composed of many repeating subunits.Polymers range from familiar synthetic plastics such as polystyrene to natural biopolymers such as DNA and proteins that are fundamental to biological structure and function. Polymers, both natural and synthetic, are created via polymerization of many small molecules, known as Monomers. [Wikipedia]") | VirusProteinAndCellPart.kif 65-70 | |
| (subclass Polymer Molecule) | VirusProteinAndCellPart.kif 64-64 | Polymer is a subclass of molecule |
| appearance as argument number 2 |
|
|
| (subclass Biopolymer Polymer) | VirusProteinAndCellPart.kif 81-81 | Biopolymer is a subclass of Polymer |
| antecedent |
|
|
| (=> (instance ?P Polymer) (exists (?COLL ?M) (and (equal ?P ?COLL) (instance ?COLL Collection) (member ?M ?COLL) (instance ?M Monomer)))) |
VirusProteinAndCellPart.kif 72-79 |
|
|
|
|