TreeView Knowledge Base Browser

appearance as argument number 1

(subclass RNAVirus Virus)	VirusProteinAndCellPart.kif 130-130	RNA virus is a subclass of virus
(documentation RNAVirus EnglishLanguage "The class of viruses whose genetic material is made up of RNA.")	VirusProteinAndCellPart.kif 131-132	RNA virus is a subclass of virus

appearance as argument number 2

(subclass Coronavirus RNAVirus)	VirusProteinAndCellPart.kif 1198-1198	Coronavirus is a subclass of RNA virus
(termFormat EnglishLanguage RNAVirus "RNA virus")	domainEnglishFormat.kif 50169-50169	Coronavirus is a subclass of RNA virus
(termFormat ChineseTraditionalLanguage RNAVirus "RNA病毒")	domainEnglishFormat.kif 50170-50170	Coronavirus is a subclass of RNA virus
(termFormat ChineseLanguage RNAVirus "RNA病毒")	domainEnglishFormat.kif 50171-50171	Coronavirus is a subclass of RNA virus

appearance as argument number 3

(partition Virus DNAVirus RNAVirus)

antecedent

(=>
    (instance ?OBJ1 RNAVirus)
    (exists (?OBJ2)
        (and
            (geneticSubstrateOfVirus ?OBJ1 ?OBJ2)
            (instance ?OBJ2 RNAMolecule))))

If X is an instance of RNA virus, then there exists Y such that Y is a genetic substrate of virus of X and Y is an instance of RNA molecule