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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RNAVirus

Sigma KEE - RNAVirus
RNAVirus

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


(documentation RNAVirus EnglishLanguage "The class of viruses whose genetic material is made up of RNA.") VirusProteinAndCellPart.kif 82-83
(subclass RNAVirus Virus) VirusProteinAndCellPart.kif 81-81

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


(subclass Coronavirus RNAVirus) VirusProteinAndCellPart.kif 699-699
(termFormat ChineseLanguage RNAVirus "RNA病毒") domainEnglishFormat.kif 50157-50157
(termFormat ChineseTraditionalLanguage RNAVirus "RNA病毒") domainEnglishFormat.kif 50156-50156
(termFormat EnglishLanguage RNAVirus "RNA virus") domainEnglishFormat.kif 50155-50155

appearance as argument number 3
-------------------------


(partition Virus DNAVirus RNAVirus) VirusProteinAndCellPart.kif 40-40

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


(=>
    (instance ?OBJ1 RNAVirus)
    (exists (?OBJ2)
        (and
            (geneticSubstrateOfVirus ?OBJ1 ?OBJ2)
            (instance ?OBJ2 RNAMolecule))))
VirusProteinAndCellPart.kif 85-90


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