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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 is a subclass of molecule

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


(subclass Nucleotide Monomer) VirusProteinAndCellPart.kif 49-49 Nucleotide is a subclass of 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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