diff options
| author | krasimir <krasimir@chalmers.se> | 2010-09-20 15:21:13 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-09-20 15:21:13 +0000 |
| commit | 197c377c6df09b5b81b9a2cbb8c675b7c6674852 (patch) | |
| tree | a0832240c0a1c5c422293531444c854fa73093d3 /examples | |
| parent | ef3f1c38833e2fe8a2f21e78268a70904681b39b (diff) | |
since Satellite is already subclass of AstronomicalBody we could simplify the signature of NaturalSatellite_Class
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/SUMO/Geography.gf | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/examples/SUMO/Geography.gf b/examples/SUMO/Geography.gf index 421f6278d..8c521d2c4 100644 --- a/examples/SUMO/Geography.gf +++ b/examples/SUMO/Geography.gf @@ -1334,11 +1334,10 @@ abstract Geography = MidLevelOntology ** { fun NaturalGas : Class ;
fun NaturalGas_Class : SubClass NaturalGas CompoundSubstance ;
- -- NaturalSatellite is the class of
- -- large, naturally occurring astronomical bodies orbiting some other
- -- AstronomicalBody.
+ -- NaturalSatellite is the class of large,
+ -- naturally occurring astronomical bodies orbiting some other AstronomicalBody.
fun NaturalSatellite : Class ;
- fun NaturalSatellite_Class : SubClass NaturalSatellite (both AstronomicalBody Satellite) ;
+ fun NaturalSatellite_Class : SubClass NaturalSatellite Satellite ;
-- NauticalMile represents the international
-- unit used for measuring distance in sea and air navigation. The unit is
|