Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Monomer

Sigma KEE - Monomer
Monomer

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 Monomer e' uma sub-classe de Molecula

appearance as argument number 2
-------------------------


(subclass Nucleotide Monomer) VirusProteinAndCellPart.kif 49-49 Nucleotide e' uma sub-classe de Monomer

consequent
-------------------------


(=>
    (instance ?P Polymer)
    (exists (?COLL ?M)
        (and
            (equal ?P ?COLL)
            (instance ?COLL Collection)
            (member ?M ?COLL)
            (instance ?M Monomer))))
VirusProteinAndCellPart.kif 72-79


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