<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:oiled="http://img.cs.man.ac.uk/oil/oiled#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2000/10/XMLSchema#">
    <daml:Ontology rdf:about="">
        <dc:title>&quot;Dig-Anat-Plus-v00&quot;</dc:title>
        <dc:date></dc:date>
        <dc:creator>&quot;ALR&quot;</dc:creator>
        <dc:description>&quot;Simplified top level for teaching&quot;</dc:description>
        <dc:subject></dc:subject>
        <daml:versionInfo></daml:versionInfo>
    </daml:Ontology>
    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#PhysicalStructure">
        <rdfs:label>PhysicalStructure</rdfs:label>
        <rdfs:comment>&quot;Physical things that have parts and a notion
            of being a discrete whole, e.g. trees, houses, hearts,
            bodies, livers, etc.&quot;</rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
        <rdfs:subClassOf>
            <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#Physical"/>
        </rdfs:subClassOf>
    </daml:Class>
    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#Inorganic">
        <rdfs:label>Inorganic</rdfs:label>
        <rdfs:comment></rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
        <rdfs:subClassOf>
            <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#OrganicStatusValueType"/>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <daml:Class>
                <daml:complementOf>
                    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#Organic"/>
                </daml:complementOf>
            </daml:Class>
        </rdfs:subClassOf>
    </daml:Class>
    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#DomainConcept">
        <rdfs:label>DomainConcept</rdfs:label>
        <rdfs:comment>&quot;Everything that is about the _Domain_ -
            Biology, Medicine, the physical world, organisations, etc.&quot;</rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
    </daml:Class>
    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#PhysicalSubstance">
        <rdfs:label>PhysicalSubstance</rdfs:label>
        <rdfs:comment>&quot;Physical stuff - the substance of which
            structures are made or which exist as masses, e.g.water,
            steel, tissue, cartilage,  etc.&quot;</rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
        <rdfs:subClassOf>
            <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#Physical"/>
        </rdfs:subClassOf>
    </daml:Class>
    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#MacroScale">
        <rdfs:label>MacroScale</rdfs:label>
        <rdfs:comment></rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
        <daml:sameClassAs>
            <rdfs:Class>
                <daml:intersectionOf>
                    <daml:List>
                        <daml:first>
                            <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#ScaleRealmValueType"/>
                        </daml:first>
                        <daml:rest>
                            <daml:List>
                                <daml:first>
                                    <daml:Class>
                                    <daml:complementOf>
                                    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#MicroScale"/>
                                    </daml:complementOf>
                                    </daml:Class>
                                </daml:first>
                                <daml:rest>
                                    <daml:nil/>
                                </daml:rest>
                            </daml:List>
                        </daml:rest>
                    </daml:List>
                </daml:intersectionOf>
            </rdfs:Class>
        </daml:sameClassAs>
    </daml:Class>
    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#ScaleRealmValueType">
        <rdfs:label>ScaleRealmValueType</rdfs:label>
        <rdfs:comment>&quot;the essential value type that distinguishes
            Micro from Macro&quot;</rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
        <rdfs:subClassOf>
            <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#ValueType"/>
        </rdfs:subClassOf>
    </daml:Class>
    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#IndependentConcept">
        <rdfs:label>IndependentConcept</rdfs:label>
        <rdfs:comment>&quot;Things that stand on their own.  Guarino: _Sortals_&quot;</rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
        <rdfs:subClassOf>
            <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#DomainConcept"/>
        </rdfs:subClassOf>
    </daml:Class>
    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#OrganicStatusValueType">
        <rdfs:label>OrganicStatusValueType</rdfs:label>
        <rdfs:comment></rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
        <rdfs:subClassOf>
            <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#ValueType"/>
        </rdfs:subClassOf>
    </daml:Class>
    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#Organic">
        <rdfs:label>Organic</rdfs:label>
        <rdfs:comment></rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
        <rdfs:subClassOf>
            <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#OrganicStatusValueType"/>
        </rdfs:subClassOf>
    </daml:Class>
    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#MetaConcept">
        <rdfs:label>MetaConcept</rdfs:label>
        <rdfs:comment>&quot;Notions about DomainConcepts - should not
            really be in this representation at all but lacking better
            tools, kluge here&quot;</rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
        <daml:sameClassAs>
            <daml:Class>
                <daml:complementOf>
                    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#DomainConcept"/>
                </daml:complementOf>
            </daml:Class>
        </daml:sameClassAs>
    </daml:Class>
    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#Physical">
        <rdfs:label>Physical</rdfs:label>
        <rdfs:comment>&quot;Things in the physical world&quot;</rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
        <rdfs:subClassOf>
            <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#IndependentConcept"/>
        </rdfs:subClassOf>
    </daml:Class>
    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#DependentConcept">
        <rdfs:label>DependentConcept</rdfs:label>
        <rdfs:comment>&quot;Things that add to meaning: Guarino: _non-Sortals_&quot;</rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
        <daml:sameClassAs>
            <rdfs:Class>
                <daml:intersectionOf>
                    <daml:List>
                        <daml:first>
                            <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#DomainConcept"/>
                        </daml:first>
                        <daml:rest>
                            <daml:List>
                                <daml:first>
                                    <daml:Class>
                                    <daml:complementOf>
                                    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#IndependentConcept"/>
                                    </daml:complementOf>
                                    </daml:Class>
                                </daml:first>
                                <daml:rest>
                                    <daml:nil/>
                                </daml:rest>
                            </daml:List>
                        </daml:rest>
                    </daml:List>
                </daml:intersectionOf>
            </rdfs:Class>
        </daml:sameClassAs>
    </daml:Class>
    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#ValueType">
        <rdfs:label>ValueType</rdfs:label>
        <rdfs:comment></rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
        <rdfs:subClassOf>
            <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#DependentConcept"/>
        </rdfs:subClassOf>
    </daml:Class>
    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#MicroScale">
        <rdfs:label>MicroScale</rdfs:label>
        <rdfs:comment></rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
        <rdfs:subClassOf>
            <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#ScaleRealmValueType"/>
        </rdfs:subClassOf>
    </daml:Class>
    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#PhysicalProcess">
        <rdfs:label>PhysicalProcess</rdfs:label>
        <rdfs:comment>&quot;The processes which change structures, stuff
            and other procsses - e.g. breathing, moving, reproducing
            etc.  Diseases are a special case of processes.  Note that
            this version does not distinguish between Lenat-s _Process_
            and _Activity_&quot;</rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
        <rdfs:subClassOf>
            <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#Physical"/>
        </rdfs:subClassOf>
    </daml:Class>
    <daml:ObjectProperty rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#RelationSlot">
        <rdfs:label>RelationSlot</rdfs:label>
        <rdfs:comment>&quot;Links two IndependentConcepts&quot;</rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
        <rdfs:subPropertyOf rdf:resource="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#DomainSlot"/>
    </daml:ObjectProperty>
    <daml:ObjectProperty rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#hasOrganicStatus">
        <rdfs:label>hasOrganicStatus</rdfs:label>
        <rdfs:comment></rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
        <rdfs:subPropertyOf rdf:resource="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#RefiningSlot"/>
    </daml:ObjectProperty>
    <daml:UniqueProperty rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#hasOrganicStatus"/>
    <daml:ObjectProperty rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#DomainSlot">
        <rdfs:label>DomainSlot</rdfs:label>
        <rdfs:comment>&quot;Slots linking DomainConcepts&quot;</rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
    </daml:ObjectProperty>
    <daml:ObjectProperty rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#hasLocation">
        <rdfs:label>hasLocation</rdfs:label>
        <rdfs:comment>&quot;Links disorders with OrganicStructures and OrganicProcesses&quot;</rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
        <rdfs:subPropertyOf rdf:resource="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#RelationSlot"/>
    </daml:ObjectProperty>
    <daml:ObjectProperty rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#RefiningSlot">
        <rdfs:label>RefiningSlot</rdfs:label>
        <rdfs:comment>&quot;Things that modify domain values.  Link
            IndependentConcepts to ValueTypes&quot;</rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
        <rdfs:subPropertyOf rdf:resource="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#DomainSlot"/>
    </daml:ObjectProperty>
    <daml:ObjectProperty rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#causes">
        <rdfs:label>causes</rdfs:label>
        <rdfs:comment>&quot;Simple notion for now - links Disorders with
            the thing or process that causes them&quot;</rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
        <daml:inverseOf rdf:resource="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#hasCause"/>
        <rdfs:subPropertyOf rdf:resource="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#RelationSlot"/>
    </daml:ObjectProperty>
    <daml:ObjectProperty rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#asScaleRealm">
        <rdfs:label>asScaleRealm</rdfs:label>
        <rdfs:comment></rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
    </daml:ObjectProperty>
    <daml:ObjectProperty rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#hasCause">
        <rdfs:label>hasCause</rdfs:label>
        <rdfs:comment>&quot;Simple notion for now - links Disorders with
            the thing or process that causes them&quot;</rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
        <daml:inverseOf rdf:resource="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#causes"/>
        <rdfs:subPropertyOf rdf:resource="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#RelationSlot"/>
    </daml:ObjectProperty>
    <daml:ObjectProperty rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#hasScaleRealm">
        <rdfs:label>hasScaleRealm</rdfs:label>
        <rdfs:comment>&quot;the essential property that distinguishes
            Micro from Macro&quot;</rdfs:comment>
        <oiled:creationDate>2002-02-18T15:04:09Z</oiled:creationDate>
        <oiled:creator>rector</oiled:creator>
        <rdfs:subPropertyOf rdf:resource="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#RefiningSlot"/>
    </daml:ObjectProperty>
    <daml:UniqueProperty rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#hasScaleRealm"/>
    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#PhysicalSubstance">
        <daml:disjointWith>
            <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#PhysicalProcess"/>
        </daml:disjointWith>
    </daml:Class>
    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#PhysicalStructure">
        <daml:disjointWith>
            <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#PhysicalSubstance"/>
        </daml:disjointWith>
    </daml:Class>
    <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#PhysicalStructure">
        <daml:disjointWith>
            <daml:Class rdf:about="file:D:\Program Files\OILEd2\ontologies\Teaching exp\SimpleTop-01-01.oil#PhysicalProcess"/>
        </daml:disjointWith>
    </daml:Class>
</rdf:RDF>
