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 |
appearance as argument number 2 |
(subclass Coronavirus EnvelopedVirus) | VirusProteinAndCellPart.kif 1214-1214 | |
(termFormat ChineseLanguage EnvelopedVirus "笼罩病毒") | domainEnglishFormat.kif 22246-22246 | |
(termFormat ChineseTraditionalLanguage EnvelopedVirus "籠罩病毒") | domainEnglishFormat.kif 22245-22245 | |
(termFormat EnglishLanguage EnvelopedVirus "enveloped virus") | domainEnglishFormat.kif 22244-22244 |
appearance as argument number 3 |
(partition Virus UnenvelopedVirus EnvelopedVirus) | VirusProteinAndCellPart.kif 42-42 |
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 1186-1197 |