summaryrefslogtreecommitdiff
path: root/examples/SUMO/TPTP/WMDSubAttAx.p
blob: d3a627f4b4c32f3c4bbe8e71e716c5004f2e6fdf (plain)
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)).