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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Polymer

Sigma KEE - Polymer
Polymer

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 65-70
(subclass Polymer Molecule) VirusProteinAndCellPart.kif 64-64 Polymer ist eine teilkategorie von Molecule

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


(subclass Biopolymer Polymer) VirusProteinAndCellPart.kif 81-81 Biopolymer ist eine teilkategorie von Polymer

antecedent
-------------------------


(=>
    (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