Ontologia Pais

%% Organização administrativa do pais

conceitos {

Pais[nome:string, populacao:int],
Regiao[nomereg:string, n_distritos:int, populacao:int],
Distrito[nomedist:string, n_municipios:int],
Municipio[nomemunic:string, n_freguesias:int],
Freguesia[nomefreg:string],
Vila[nomevila:string],
Aldeia[nomeald:string]
}

individuos {pais1,
regiao1, regiao2,
distrito1, distrito2,
municipio1, municipio2,
freguesia1, freguesia2,
vila1, vila2,
aldeia1, aldeia2}

relacoes { pertence
%%-- usam-se ainda as relações prédefindas:
%%---- 'is-a' (subclass-of) 'subclasse'
%%---- 'iof' (instance-of) 'instancia'
}

triplos {
Regiao = pertence => Pais;
Distrito = pertence => Regiao;
Municipio = pertence => Distrito;
Freguesia = pertence => Municipio;
Vila = pertence => Municipio;
Aldeia = pertence => Municipio;

pais1 = instancia => Pais[nome='Portugal', populacao='10310000'];

regiao1 = instancia => Regiao[nomereg='Norte', n_distritos='4',
populacao='3818722'];
regiao2 = instancia => Regiao[nomereg='Centro', n_distritos='5',
populacao='2348453'];
distrito1 = instancia => Distrito[nomedist='Viana do Castelo',
n_municipios='10'];
distrito2 = instancia => Distrito[nomedist='Guarda',
n_municipios='14'];
municipio1 = instancia => Municipio[nomemunic='Moncao',
n_freguesias='24'];
municipio2 = instancia => Municipio[nomemunic='Gouveia',
n_freguesias='16'];
freguesia1 = instancia => Freguesia[nomefreg='Trute'];
freguesia2 = instancia => Freguesia[nomefreg='Sao Juliao'];
vila1 = instancia => Vila[nomevila='Arcos de Valdevez'];
vila2 = instancia => Vila[nomevila='Fornos de Algodres'];
aldeia1 = instancia => Aldeia[nomeald='Pias'];
aldeia2 = instancia => Aldeia[nomeald='Eiro'];

regiao1 = pertence => pais1;

regiao2 = pertence => pais1;
 distrito1 = pertence => regiao1;
distrito2 = pertence => regiao2;
municipio1 = pertence => distrito1;
municipio2 = pertence => distrito2;
freguesia1 = pertence => municipio1;
freguesia2 = pertence => municipio2;
vila1 = pertence => municipio1;
vila2 = pertence => municipio1;
aldeia1 = pertence => municipio1;
aldeia2 = pertence => municipio1
}
.