1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
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)).
|
