| YellowFeverVirus
|
| appearance as argument number 1 |
|
| (biochemicalAgentSyndrome YellowFeverVirus Fever) | WMD.kif 1174-1174 | |
| (biochemicalAgentSyndrome YellowFeverVirus YellowSkin) | WMD.kif 1175-1175 | |
| (documentation YellowFeverVirus EnglishLanguage "A Virus that can result in chills, fever, stomach bleeding, and YellowSkin.") | WMD.kif 1176-1177 | |
| (externalImage YellowFeverVirus "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ YellowFeverVirus.jpg") | pictureList.kif 4856-4856 | |
| (externalImage YellowFeverVirus "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ Yellow_fever_Africa_2005.png") | pictureList.kif 9862-9862 | |
| (subclass YellowFeverVirus ViralAgent) | WMD.kif 1173-1173 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage YellowFeverVirus "黄热病病毒") | domainEnglishFormat.kif 63787-63787 | |
| (termFormat ChineseTraditionalLanguage YellowFeverVirus "黃熱病病毒") | domainEnglishFormat.kif 63786-63786 | |
| (termFormat EnglishLanguage YellowFeverVirus "yellow fever virus") | domainEnglishFormat.kif 63785-63785 |
| antecedent |
|
|
| (=> (and (instance ?VIRUS1 FootAndMouthVirus) (instance ?VIRUS2 YellowFeverVirus)) (smaller ?VIRUS1 ?VIRUS2)) |
WMD.kif 1189-1193 | |
| (=> (instance ?VIRUS YellowFeverVirus) (exists (?NUMBER) (and (width ?VIRUS (MeasureFn ?NUMBER Meter)) (equal ?NUMBER 0.00000002)))) |
WMD.kif 1179-1184 |
|
|
|