FootAndMouthVirus(foot and mouth virus) |
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 4692-4692 | |
(subclass FootAndMouthVirus ViralAgent) | WMD.kif 1186-1186 | Foot and mouth virus is a subclass of viral agent |
appearance as argument number 2 |
(termFormat ChineseLanguage FootAndMouthVirus "口蹄疫病毒") | domainEnglishFormat.kif 24600-24600 | |
(termFormat ChineseTraditionalLanguage FootAndMouthVirus "口蹄疫病毒") | domainEnglishFormat.kif 24599-24599 | |
(termFormat EnglishLanguage FootAndMouthVirus "foot and mouth virus") | domainEnglishFormat.kif 24598-24598 |
antecedent |
(=> (and (instance ?VIRUS1 FootAndMouthVirus) (instance ?VIRUS2 YellowFeverVirus)) (smaller ?VIRUS1 ?VIRUS2)) |
WMD.kif 1189-1193 |
|