examples/SUMO/TPTP/WMDSubAttAx.p


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

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)).