# $Id: continentsP.n3 1295 2007-05-11 16:52:51Z josd $

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix : <http://eulersharp.sourceforge.net/2003/05geot/continentsP#>.

:Continent owl:oneOf (:Africa :Antarctica :Asia :Australia :Europe :NorthAmerica :SouthAmerica).
:containsLocation owl:inverseOf :containedIn; rdfs:domain :Continent; rdfs:range :Country.
:NorthernHemisphere owl:differentFrom :Africa, :Antarctica, :Asia, :Australia, :Europe, :NorthAmerica, :SouthAmerica.

:Finland :containedIn :NorthernHemisphere.