Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
YellowFeverVirus(yellow fever virus)
|
| appearance as argument number 1 |
|
| (subclass YellowFeverVirus ViralAgent) | WMD.kif 1169-1169 | Yellow fever virus is a subclass of viral agent |
| (biochemicalAgentSyndrome YellowFeverVirus Fever) | WMD.kif 1170-1170 | A fever is a biochemical agent syndrome of yellow fever virus |
| (biochemicalAgentSyndrome YellowFeverVirus YellowSkin) | WMD.kif 1171-1171 | Yellow skin is a biochemical agent syndrome of yellow fever virus |
| (documentation YellowFeverVirus EnglishLanguage "A Virus that can result in chills, fever, stomach bleeding, and YellowSkin.") | WMD.kif 1172-1173 | Yellow skin is a biochemical agent syndrome of yellow fever virus |
| (externalImage YellowFeverVirus "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ YellowFeverVirus.jpg") | pictureList.kif 4855-4855 | Yellow skin is a biochemical agent syndrome of yellow fever virus |
| (externalImage YellowFeverVirus "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ Yellow_fever_Africa_2005.png") | pictureList.kif 9861-9861 | Yellow skin is a biochemical agent syndrome of yellow fever virus |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?VIRUS YellowFeverVirus) (exists (?NUMBER) (and (width ?VIRUS (MeasureFn ?NUMBER Meter)) (equal ?NUMBER 0.00000002)))) |
WMD.kif 1175-1180 | If X is an instance of yellow fever virus, then there exists Y such that the width of X is Y meter(s) and equal Y and 0.00000002 |
| (=> (and (instance ?VIRUS1 FootAndMouthVirus) (instance ?VIRUS2 YellowFeverVirus)) (smaller ?VIRUS1 ?VIRUS2)) |
WMD.kif 1185-1189 | If X is an instance of foot and mouth virus and Y is an instance of yellow fever virus, then X is smaller than Y |
|