|
|
   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 は ウイルス の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass Coronavirus EnvelopedVirus) | VirusProteinAndCellPart.kif 1213-1213 | Coronavirus は EnvelopedVirus の subclass では %n |
| (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 | ウイルス は UnenvelopedVirus + EnvelopedVirus に exhaustively partitioned %n |
| 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 |
|
|
|
