Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Virion(virion)
more pictures... |  | virion |
| appearance as argument number 1 |
|
|
| (instance Virion DevelopmentalAttribute) | VirusProteinAndCellPart.kif 193-193 | Virion is an instance of developmental attribute |
| (documentation Virion EnglishLanguage "The class of viruses in the virion stage, i.e., viruses that are mature and capable of exiting cells or invading other viruses.") | VirusProteinAndCellPart.kif 194-195 | Virion is an instance of developmental attribute |
| (externalImage Virion "http://upload.wikimedia.org/wikipedia/commons/2/25/ CPE_rounding.jpg") | pictureList.kif 6960-6960 | Virion is an instance of developmental attribute |
| (externalImage Virion "http://upload.wikimedia.org/wikipedia/commons/3/39/ Leukemia_cells_that_contain_Epstein_Barrvirus_using_a_FA_staining_technique_PHIL_2984_lores.jpg") | pictureList.kif 8226-8226 | Virion is an instance of developmental attribute |
| (externalImage Virion "http://upload.wikimedia.org/wikipedia/commons/3/3d/ Gene_therapy.jpg") | pictureList.kif 8227-8227 | Virion is an instance of developmental attribute |
| (externalImage Virion "http://upload.wikimedia.org/wikipedia/commons/4/45/ Herpes_simplex_virus_TEM_B82-0474_lores.jpg") | pictureList.kif 8228-8228 | Virion is an instance of developmental attribute |
| (externalImage Virion "http://upload.wikimedia.org/wikipedia/commons/7/78/ Coronaviruses_004_lores.jpg") | pictureList.kif 8229-8229 | Virion is an instance of developmental attribute |
| (externalImage Virion "http://upload.wikimedia.org/wikipedia/commons/a/a4/ EM_of_influenza_virus.jpg") | pictureList.kif 8230-8230 | Virion is an instance of developmental attribute |
| (externalImage Virion "http://upload.wikimedia.org/wikipedia/en/9/96/Human_Torovirus.jpg") | pictureList.kif 8232-8232 | Virion is an instance of developmental attribute |
| (externalImage Virion "http://upload.wikimedia.org/wikipedia/en/f/fa/Poxvirus.jpg") | pictureList.kif 8233-8233 | Virion is an instance of developmental attribute |
| (externalImage Virion "http://upload.wikimedia.org/wikipedia/commons/0/0d/ DT_chemical_structure.png") | pictureList.kif 8235-8235 | Virion is an instance of developmental attribute |
| (externalImage Virion "http://upload.wikimedia.org/wikipedia/commons/3/3c/ Tevenphage.png") | pictureList.kif 8236-8236 | Virion is an instance of developmental attribute |
| (externalImage Virion "http://upload.wikimedia.org/wikipedia/commons/3/3f/ Ebola_virus_em.png") | pictureList.kif 8237-8237 | Virion is an instance of developmental attribute |
| (externalImage Virion "http://upload.wikimedia.org/wikipedia/commons/d/d6/ G_chemical_structure.png") | pictureList.kif 8238-8238 | Virion is an instance of developmental attribute |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?VIRUS VacciniaVirion) (attribute ?VIRUS Virion)) |
VirusProteinAndCellPart.kif 204-206 | If X is an instance of vaccinia virion, then virion is an attribute of X |
|