| EnvelopedVirus(enveloped virus)
|
| 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 | Enveloped virus is a subclass of virus |
| appearance as argument number 2 |
|
|
| (subclass Coronavirus EnvelopedVirus) | VirusProteinAndCellPart.kif 1214-1214 | Coronavirus is a subclass of enveloped virus |
| (termFormat ChineseLanguage EnvelopedVirus "笼罩病毒") | domainEnglishFormat.kif 22246-22246 | Coronavirus is a subclass of enveloped virus |
| (termFormat ChineseTraditionalLanguage EnvelopedVirus "籠罩病毒") | domainEnglishFormat.kif 22245-22245 | Coronavirus is a subclass of enveloped virus |
| (termFormat EnglishLanguage EnvelopedVirus "enveloped virus") | domainEnglishFormat.kif 22244-22244 | Coronavirus is a subclass of enveloped virus |
| appearance as argument number 3 |
|
|
| (partition Virus UnenvelopedVirus EnvelopedVirus) | VirusProteinAndCellPart.kif 42-42 | Virus is exhaustively partitioned into unenveloped virus and enveloped virus |
| 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 |
|
|
|
|