| FootAndMouthVirus
|
| appearance as argument number 1 |
|
| (documentation FootAndMouthVirus EnglishLanguage "A Virus that is smaller than YellowFeverVirus.") | WMD.kif 1187-1187 | |
| (externalImage FootAndMouthVirus "http://upload.wikimedia.org/wikipedia/ commons/ c/ c9/ Foot-and-Mouth-Disease-Virus.png") | pictureList.kif 4691-4691 | |
| (subclass FootAndMouthVirus ViralAgent) | WMD.kif 1186-1186 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FootAndMouthVirus "口蹄疫病毒") | domainEnglishFormat.kif 24595-24595 | |
| (termFormat ChineseTraditionalLanguage FootAndMouthVirus "口蹄疫病毒") | domainEnglishFormat.kif 24594-24594 | |
| (termFormat EnglishLanguage FootAndMouthVirus "foot and mouth virus") | domainEnglishFormat.kif 24593-24593 |
| antecedent |
|
|
| (=> (and (instance ?VIRUS1 FootAndMouthVirus) (instance ?VIRUS2 YellowFeverVirus)) (smaller ?VIRUS1 ?VIRUS2)) |
WMD.kif 1189-1193 |
|
|
|