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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(subclass Biopolymer Polymer) VirusProteinAndCellPart.kif 81-81 Biopolymer is a subclass of 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 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