GeographySubAttAx.p

fof(axGeographySubAtt0, axiom, 
 f_subAttribute(inst_MountainousTerrain,inst_SteepTerrain)).

fof(axGeographySubAtt1, axiom, 
 f_subAttribute(inst_Upwind,inst_Upstream)).

fof(axGeographySubAtt2, axiom, 
 f_subAttribute(inst_Downwind,inst_Downstream)).

fof(axGeographySubAtt3, axiom, 
 f_subAttribute(inst_GroundwaterPollutionIssue,inst_WaterPollutionIssue)).

fof(axGeographySubAtt4, axiom, 
 f_subAttribute(inst_EndangeredMarineWildlifeIssue,inst_EndangeredSpeciesIssue)).

fof(axGeographySubAtt5, axiom, 
 f_subAttribute(inst_SoilSalinityIssue,inst_SoilDegradationIssue)).