WMDSubAttAx.p

fof(axWMDSubAtt0, axiom, 
 f_subAttribute(inst_BubonicPlague,inst_Plague)).

fof(axWMDSubAtt1, axiom, 
 f_subAttribute(inst_PneumonicPlague,inst_Plague)).

fof(axWMDSubAtt2, axiom, 
 f_subAttribute(inst_InhalationalAnthrax,inst_Anthrax)).

fof(axWMDSubAtt3, axiom, 
 f_subAttribute(inst_LegionnairesDisease,inst_Legionellosis)).

fof(axWMDSubAtt4, axiom, 
 f_subAttribute(inst_PontiacFever,inst_Legionellosis)).