Polymer - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage Polymer "polymer")	VirusProteinAndCellPart.kif 67-67
(subclass Biopolymer Polymer)	VirusProteinAndCellPart.kif 84-84	Biopolymer is a subclass of polymer

antecedent

(=>
    (instance ?P Polymer)
    (exists (?COLL ?M)
        (and
            (equal ?P ?COLL)
            (instance ?COLL CollectionOfObjects)
            (member ?M ?COLL)
            (instance ?M Monomer))))

If X is an instance of polymer, then there exist Y, Z such that equal X, Y, Y is an instance of collection, Z is a member of Y, and Z is an instance of monomer