| 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 146-148 | |
| (externalImage EnvelopedVirus "http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ CMVschema.svg") | pictureList.kif 4675-4675 | |
| (subclass EnvelopedVirus Virus) | VirusProteinAndCellPart.kif 145-145 |
| appearance as argument number 2 |
|
|
| (subclass Coronavirus EnvelopedVirus) | VirusProteinAndCellPart.kif 1221-1221 | |
| (termFormat ChineseLanguage EnvelopedVirus "笼罩病毒") | domainEnglishFormat.kif 22240-22240 | |
| (termFormat ChineseTraditionalLanguage EnvelopedVirus "籠罩病毒") | domainEnglishFormat.kif 22239-22239 | |
| (termFormat EnglishLanguage EnvelopedVirus "enveloped virus") | domainEnglishFormat.kif 22238-22238 |
| 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 1193-1204 |
|
|
|