packages feed

gf-3.1.6: examples/SUMO/axioms/GeographySubAtt.gft

subAttribute (el ? ? ? MountainousTerrain) (el ? ? ? SteepTerrain)

subAttribute (el ? ? ? Upwind) (el ? ? ? Upstream)

subAttribute (el ? ? ? Downwind) (el ? ? ? Downstream)

subAttribute (el ? ? ? GroundwaterPollutionIssue) (el ? ? ? WaterPollutionIssue)

subAttribute (el ? ? ? EndangeredMarineWildlifeIssue) (el ? ? ? EndangeredSpeciesIssue)

subAttribute (el ? ? ? SoilSalinityIssue) (el ? ? ? SoilDegradationIssue)