| EnvelopedVirus(enveloped virus)
|
| appearance as argument number 1 |
|
| s__documentation(s__EnvelopedVirus,s__EnglishLanguage,'"The class of viruses whose virions have a lipid bilayer formed when the nucleocapsid buds through the cell membrane upon formation."')
|
VirusProteinAndCellPart.kif 97-99 | |
| s__externalImage(s__EnvelopedVirus,'"http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ CMVschema.svg"')
|
pictureList.kif 4677-4677 | |
| s__instance(s__Virus,s__SetOrClass) s__subclass(s__EnvelopedVirus,s__Virus) s__instance(s__EnvelopedVirus,s__SetOrClass)
|
VirusProteinAndCellPart.kif 96-96 | Enveloped virus is a subclass of virus |
| appearance as argument number 2 |
|
|
| s__termFormat(s__ChineseLanguage,s__EnvelopedVirus,'"笼罩病毒"')
|
domainEnglishFormat.kif 22153-22153 | |
| s__termFormat(s__ChineseTraditionalLanguage,s__EnvelopedVirus,'"籠罩病毒"')
|
domainEnglishFormat.kif 22152-22152 | |
| s__termFormat(s__EnglishLanguage,s__EnvelopedVirus,'"enveloped virus"')
|
domainEnglishFormat.kif 22151-22151 |
| appearance as argument number 3 |
|
|
| s__partition__3(s__Virus,s__UnenvelopedVirus,s__EnvelopedVirus)
|
VirusProteinAndCellPart.kif 42-42 | Virus is exhaustively partitioned into unenveloped virus and enveloped virus |
| antecedent |
|
|
| ( ! [V__OBJ1] : (s__instance(V__OBJ1,s__EnvelopedVirus) => ( ? [V__OBJ2] : ((s__properPart(V__OBJ2,V__OBJ1) & s__instance(V__OBJ2,s__ViralCore) & ~(( ? [V__OBJ3] : ((s__instance(V__OBJ3,s__ViralCore) & s__properPart(V__OBJ3,V__OBJ1) & ~((V__OBJ3 = V__OBJ2))))))))) ) )
|
VirusProteinAndCellPart.kif 600-611 |
|
|
|
|