Monomer - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Monomer EnglishLanguage "In chemistry, a Monomer is a molecule that can react together with other monomer molecules to form a larger polymer chain or three_dimensional network in a process called polymerization.[Wikipedia]")	VirusProteinAndCellPart.kif 45-47
(subclass Monomer Molecule)	VirusProteinAndCellPart.kif 44-44

appearance as argument number 2

(subclass Nucleotide Monomer)	VirusProteinAndCellPart.kif 50-50
(termFormat EnglishLanguage Monomer "monomer")	VirusProteinAndCellPart.kif 48-48

consequent

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

VirusProteinAndCellPart.kif 75-82