fof(axMergeSubAtt0, axiom, 
 f_subAttribute(inst_Law,inst_Obligation)).

fof(axMergeSubAtt1, axiom, 
 f_subAttribute(inst_Promise,inst_Obligation)).

fof(axMergeSubAtt2, axiom, 
 f_subAttribute(inst_NakedPromise,inst_Promise)).

fof(axMergeSubAtt3, axiom, 
 f_subAttribute(inst_Liquid,inst_Fluid)).

fof(axMergeSubAtt4, axiom, 
 f_subAttribute(inst_Gas,inst_Fluid)).

fof(axMergeSubAtt5, axiom, 
 f_subAttribute(inst_Plasma,inst_Fluid)).

fof(axMergeSubAtt6, axiom, 
 f_subAttribute(inst_Wet,inst_Damp)).

fof(axMergeSubAtt7, axiom, 
 f_subAttribute(inst_Dead,inst_Unconscious)).

fof(axMergeSubAtt8, axiom, 
 f_subAttribute(inst_Larval,inst_NonFullyFormed)).

fof(axMergeSubAtt9, axiom, 
 f_subAttribute(inst_Embryonic,inst_NonFullyFormed)).

