diff options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/SUMO/Mondial.gf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/examples/SUMO/Mondial.gf b/examples/SUMO/Mondial.gf index da580f3f1..612f53fb8 100644 --- a/examples/SUMO/Mondial.gf +++ b/examples/SUMO/Mondial.gf @@ -10683,6 +10683,7 @@ abstract Mondial = MidLevelOntology, Geography, Government ** { fun Portugal : Ind (both Country EuropeanNation);
fun Province : Class ;
+ fun Province_Class : SubClass Province StateOrProvince ;
fun Qatar : Ind (both Country Nation);
|