Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
FootAndMouthVirus(foot and mouth virus)
|
| appearance as argument number 1 |
|
| (subclass FootAndMouthVirus ViralAgent) | WMD.kif 1182-1182 | Foot and mouth virus is a subclass of viral agent |
| (documentation FootAndMouthVirus EnglishLanguage "A Virus that is smaller than YellowFeverVirus.") | WMD.kif 1183-1183 | Foot and mouth virus is a subclass of viral agent |
| (externalImage FootAndMouthVirus "http://upload.wikimedia.org/wikipedia/ commons/ c/ c9/ Foot_and_Mouth_Disease_Virus.png") | pictureList.kif 4691-4691 | Foot and mouth virus is a subclass of viral agent |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
|