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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 127-128
(subclass RNAVirus Virus) VirusProteinAndCellPart.kif 126-126 RNAVirus est une sous-classe de virus

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


(subclass Coronavirus RNAVirus) VirusProteinAndCellPart.kif 1212-1212 Coronavirus est une sous-classe de RNAVirus
(termFormat ChineseLanguage RNAVirus "RNA病毒") domainEnglishFormat.kif 50174-50174
(termFormat ChineseTraditionalLanguage RNAVirus "RNA病毒") domainEnglishFormat.kif 50173-50173
(termFormat EnglishLanguage RNAVirus "RNA virus") domainEnglishFormat.kif 50172-50172

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


(partition Virus DNAVirus RNAVirus) VirusProteinAndCellPart.kif 40-40 Virus est compl�tement d�compos� en DNAVirus + RNAVirus

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


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


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