From 3a48cefc3a56c2bceab3c54e17767d00d584ad2b Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Wed, 21 Jul 2010 11:58:51 +0000
Subject: [PATCH] declare Provice as subclass of StateOrProvince in Mondial.gf

---
 examples/SUMO/Mondial.gf | 1 +
 1 file changed, 1 insertion(+)

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);