Polymer - Sigma Knowledge base Browser

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 68-73
(subclass Polymer Molecule)	VirusProteinAndCellPart.kif 66-66	Polymer is a subclass of molecule

appearance as argument number 2

(subclass Biopolymer Polymer)	VirusProteinAndCellPart.kif 84-84	Biopolymer is a subclass of polymer
(termFormat EnglishLanguage Polymer "polymer")	VirusProteinAndCellPart.kif 67-67	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 75-82