EnvelopedVirus |
appearance as argument number 1 |
![]() |
(documentation EnvelopedVirus EnglishLanguage "The class of viruses whose virions have a lipid bilayer formed when the nucleocapsid buds through the cell membrane upon formation.") | VirusProteinAndCellPart.kif 142-144 | |
(externalImage EnvelopedVirus "http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ CMVschema.svg") | pictureList.kif 4676-4676 | |
(subclass EnvelopedVirus Virus) | VirusProteinAndCellPart.kif 141-141 | EnvelopedVirus ist eine teilkategorie von Virus |
appearance as argument number 2 |
![]() |
(subclass Coronavirus EnvelopedVirus) | VirusProteinAndCellPart.kif 1213-1213 | Coronavirus ist eine teilkategorie von EnvelopedVirus |
(termFormat ChineseLanguage EnvelopedVirus "笼罩病毒") | domainEnglishFormat.kif 22228-22228 | |
(termFormat ChineseTraditionalLanguage EnvelopedVirus "籠罩病毒") | domainEnglishFormat.kif 22227-22227 | |
(termFormat EnglishLanguage EnvelopedVirus "enveloped virus") | domainEnglishFormat.kif 22226-22226 |
appearance as argument number 3 |
![]() |
(partition Virus UnenvelopedVirus EnvelopedVirus) | VirusProteinAndCellPart.kif 42-42 | Virus wird vollstaendig in UnenvelopedVirus und EnvelopedVirus verteilt |
antecedent |
![]() |
(=> (instance ?OBJ1 EnvelopedVirus) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 ViralCore) (not (exists (?OBJ3) (and (instance ?OBJ3 ViralCore) (properPart ?OBJ3 ?OBJ1) (not (equal ?OBJ3 ?OBJ2)))))))) |
VirusProteinAndCellPart.kif 1185-1196 |
|
![]() |
![]() |