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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Nucleotide
Nucleotide

appearance as argument number 1
-------------------------


(documentation Nucleotide EnglishLanguage "Nucleotides are organic molecules composed of a nitrogenous base, a pentose sugar and a phosphate. They serve as monomeric units of the nucleic acid polymers – deoxyribonucleic acid (DNA) and ribonucleic acid (RNA), both of which are essential biomolecules within all life-forms on Earth.[Wikipedia]") VirusProteinAndCellPart.kif 51-54
(subclass Nucleotide Monomer) VirusProteinAndCellPart.kif 49-49 Nucleotide is a subclass of Monomer
(subclass Nucleotide OrganicObject) VirusProteinAndCellPart.kif 50-50 Nucleotide is a subclass of organic object

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


(=>
    (and
        (instance ?N Nucleotide)
        (part ?N ?M))
    (or
        (instance ?M DNAMolecule)
        (instance ?M RNAMolecule)))
VirusProteinAndCellPart.kif 56-62

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


(=>
    (and
        (instance ?G Gene)
        (located ?G ?C)
        (instance ?C Cell))
    (exists (?B ?N ?R)
        (and
            (instance ?B BiologicalProcess)
            (eventLocated ?B ?C)
            (origin ?B ?G)
            (result ?B ?N)
            (instance ?N Nucleotide)
            (part ?N ?R)
            (instance ?R RNAMolecule)
            (located ?R ?C))))
VirusProteinAndCellPart.kif 654-668
(=>
    (instance ?G Gene)
    (exists (?N ?D)
        (and
            (instance ?N Nucleotide)
            (equal ?G ?N)
            (part ?N ?D)
            (instance ?D DNAMolecule))))
VirusProteinAndCellPart.kif 645-652


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