<?xml version="1.0"?>
<rdf:RDF
    xmlns:rss="http://purl.org/rss/1.0/"
    xmlns="http://monet.nag.co.uk/owl#"
    xmlns:theory="http://monet.nag.co.uk/theories/"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:p2="http://www.openmath.org/"
    xmlns:jms="http://jena.hpl.hp.com/2003/08/jms#"
    xmlns:p3="http://www.w3.org/1998/Math/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:protege="http://protege.stanford.edu/plugins/owl/protege#"
    xmlns:vcard="http://www.w3.org/2001/vcard-rdf/3.0#"
    xmlns:p1="http://www.mathweb.org/"
    xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:xsd="http://www.w3.org/2000/XMLSchema#"
  xml:base="http://monet.nag.co.uk/owl">
  <owl:Ontology rdf:about="">
    <owl:imports rdf:resource="http://protege.stanford.edu/plugins/owl/protege"/>
    <owl:imports>
      <owl:Ontology rdf:about="http://monet.nag.co.uk/cgi-bin/cvsweb.cgi/~checkout~/owl/protege/theory.owl?rev=HEAD"/>
    </owl:imports>
  </owl:Ontology>
  <owl:Class rdf:ID="evaluate_to_type">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Directive"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="decide">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Directive"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="look_up">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Directive"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="evaluate">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Directive"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="prove_in_theory">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Directive"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="find">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Directive"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Directive">
    <rdfs:comment>The class of all directives.</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:ID="decide_in_theory">
    <rdfs:subClassOf rdf:resource="#Directive"/>
  </owl:Class>
  <owl:Class rdf:ID="prove">
    <rdfs:subClassOf rdf:resource="#Directive"/>
  </owl:Class>
  <owl:ObjectProperty rdf:ID="inTheory">
    <rdfs:range rdf:resource="http://monet.nag.co.uk/theories/Theory"/>
    <rdfs:domain>
      <owl:Class>
        <owl:unionOf rdf:parseType="Collection">
          <owl:Class rdf:about="#prove_in_theory"/>
          <owl:Class rdf:about="#decide_in_theory"/>
        </owl:unionOf>
      </owl:Class>
    </rdfs:domain>
  </owl:ObjectProperty>
</rdf:RDF>

<!-- Created with Protege (with OWL Plugin, Build 71)  http://protege.stanford.edu -->
