GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-18 09:19:32 -06:00
Code Issues Packages Projects Releases Wiki Activity

since Satellite is already subclass of AstronomicalBody we could simplify the signature of NaturalSatellite_Class

Browse Source
This commit is contained in:
krasimir
2010-09-20 15:21:13 +00:00
parent d75be87c3d
commit 6170d8ca35
1 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
examples/SUMO/Geography.gf
View File

@@ -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