From 6170d8ca358317964b978503c4e0b431f7b6c7f6 Mon Sep 17 00:00:00 2001 From: krasimir Date: Mon, 20 Sep 2010 15:21:13 +0000 Subject: [PATCH] since Satellite is already subclass of AstronomicalBody we could simplify the signature of NaturalSatellite_Class --- examples/SUMO/Geography.gf | 7 +++---- 1 file 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