<?xml version="1.0" encoding="UTF-8"?>

<?xml-stylesheet type="text/xsl" href="http://sw.opencyc.org/xsl/OpenCycOWLCollectionDisplayVersioned.xsl"?>

<!DOCTYPE rdf:RDF [
     <!ENTITY ocyc "http://sw.opencyc.org/concept/" >
     <!ENTITY cyc  "http://sw.cyc.com/concept/" >
     <!ENTITY rdf  "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
     <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
     <!ENTITY xsd  "http://www.w3.org/2001/XMLSchema#" >
     <!ENTITY owl  "http://www.w3.org/2002/07/owl#" >
   ]>

<rdf:RDF xml:base="http://sw.opencyc.org/2008/06/10/concept/"
         xmlns="http://sw.opencyc.org/2008/06/10/concept/"
         xmlns:cycAnnot="http://sw.cyc.com/CycAnnotations_v1#"
         xmlns:rdf="&rdf;"
         xmlns:rdfs="&rdfs;"
         xmlns:owl="&owl;"
         xmlns:xsd="&xsd;">

  <owl:Ontology rdf:about="http://sw.opencyc.org/2008/06/10/concept/">
    <owl:versionInfo>2008/06/10</owl:versionInfo>
    <rdfs:comment xml:lang="en">

      OpenCyc Knowledge Base

      Copyright© 2001-2008 Cycorp, Inc., http://www.cyc.com/, Austin, TX, USA

      This file contains an OWL representation of information contained 
      in the OpenCyc Knowledge Base. The content of this OWL file is 
      licensed under the Creative Commons Attribution 3.0 license whose 
      text can be found at http://creativecommons.org/licenses/by/3.0/legalcode. 
      The content of this OWL file, including the OpenCyc content it represents, 
      constitutes the "Work" referred to in the Creative Commons license. The terms of 
      this license equally apply to, without limitation, renamings and other 
      logically equivalent reformulations of the content of this OWL file 
      (or portions thereof) in any natural or formal language, as well 
      as to derivations of this content or inclusion of it in other ontologies.

    </rdfs:comment>
  </owl:Ontology>

  <owl:AnnotationProperty rdf:about="http://sw.cyc.com/CycAnnotations_v1#externalID">
    <rdfs:label xml:lang="en">externalID</rdfs:label>
    <rdfs:comment xml:lang="en">
      A unique, language-neutral, variable-sized identifier
      for a concept that can be used to refer unambiguously to that concept across 
      OWL exports or across Cyc inference engines.
    </rdfs:comment>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
  </owl:AnnotationProperty>

  <owl:AnnotationProperty rdf:about="http://sw.cyc.com/CycAnnotations_v1#label">
    <rdfs:label xml:lang="en">label</rdfs:label>
    <rdfs:comment xml:lang="en">
      A natural-language representation for a concept that is both human 
      readable and readable by the Cyc inference engine. These terms are not 
      guaranteed to refer to the same concept across time but are guaranteed to
      be consistent within a particular OWL export. Use 'cycAnnot:externalID'
      for unambiguously referring to a concept across OWL exports or across Cyc
      inference engines.
    </rdfs:comment>
  </owl:AnnotationProperty>

  <owl:Class rdf:about="Mx4rhci2dAhuEduVNADggVaqog">
    <cycAnnot:label xml:lang="en">PropertyAndCasualtyInsurance-SubIndustrySP</cycAnnot:label>
    <rdfs:label xml:lang="en">Property &amp; Casualty Insurance</rdfs:label>
    <rdfs:comment xml:lang="en">The &apos;Property &amp; Casualty Insurance&apos; sub-industry, as defined by Standard and Poor&apos;s.</rdfs:comment>
    <rdfs:subClassOf rdf:resource="Mx4rLYABNQhuEduVMwDggVaqog"/>
    <rdf:type rdf:resource="Mx4r4EvD8whxEduVMgDggVaqog"/>
    <owl:sameAs rdf:resource="&cyc;Mx4rhci2dAhuEduVNADggVaqog"/>
    <owl:sameAs rdf:resource="&ocyc;Mx4rhci2dAhuEduVNADggVaqog"/>
  </owl:Class>

  <Mx4rhci2dAhuEduVNADggVaqog rdf:about="Mx4rbQThNghvEduVNQDggVaqog">
    <cycAnnot:label xml:lang="en">ChubbCorp</cycAnnot:label>
    <rdfs:comment xml:lang="en">Chubb Corp., a publicly traded corporation.</rdfs:comment>
    <rdfs:label xml:lang="en">Chubb Corp.</rdfs:label>
  </Mx4rhci2dAhuEduVNADggVaqog>

  <Mx4rhci2dAhuEduVNADggVaqog rdf:about="Mx4rhcmg1QhuEduVNADggVaqog">
    <cycAnnot:label xml:lang="en">AmbacFinancialGroup</cycAnnot:label>
    <rdfs:label xml:lang="en">Ambac Financial Group</rdfs:label>
    <rdfs:comment xml:lang="en">Ambac Financial Group, a publicly traded corporation.</rdfs:comment>
  </Mx4rhci2dAhuEduVNADggVaqog>

  <Mx4rhci2dAhuEduVNADggVaqog rdf:about="Mx4rLJVrZQh0EduVOADggVaqog">
    <rdfs:comment xml:lang="en">St. Paul Travelers Cos., a publicly traded corporation.</rdfs:comment>
    <rdfs:label xml:lang="en">St. Paul Travelers Cos.</rdfs:label>
    <cycAnnot:label xml:lang="en">StPaulTravelersCos</cycAnnot:label>
  </Mx4rhci2dAhuEduVNADggVaqog>

  <Mx4rhci2dAhuEduVNADggVaqog rdf:about="Mx4r4kH_lgh6EduVNwDggVaqog">
    <rdfs:comment xml:lang="en">MBIA Inc., a publicly traded corporation.</rdfs:comment>
    <cycAnnot:label xml:lang="en">MBIAInc</cycAnnot:label>
    <rdfs:label xml:lang="en">MBIA Inc.</rdfs:label>
  </Mx4rhci2dAhuEduVNADggVaqog>

  <Mx4rhci2dAhuEduVNADggVaqog rdf:about="Mx4r91XB8gh1EduVOQDggVaqog">
    <rdfs:label xml:lang="en">XL Capital</rdfs:label>
    <cycAnnot:label xml:lang="en">XLCapital</cycAnnot:label>
    <rdfs:comment xml:lang="en">XL Capital, a publicly traded corporation.</rdfs:comment>
  </Mx4rhci2dAhuEduVNADggVaqog>

  <Mx4rhci2dAhuEduVNADggVaqog rdf:about="Mx4rLJSoEgh0EduVOADggVaqog">
    <rdfs:comment xml:lang="en">Progressive Corp., a publicly traded corporation.</rdfs:comment>
    <rdfs:label xml:lang="en">Progressive Corp.</rdfs:label>
    <cycAnnot:label xml:lang="en">ProgressiveCorp</cycAnnot:label>
  </Mx4rhci2dAhuEduVNADggVaqog>

  <Mx4rhci2dAhuEduVNADggVaqog rdf:about="Mx4rLJT2Nwh0EduVOADggVaqog">
    <cycAnnot:label xml:lang="en">SAFECOCorp</cycAnnot:label>
    <rdfs:comment xml:lang="en">SAFECO Corp., a publicly traded corporation.</rdfs:comment>
    <rdfs:label xml:lang="en">SAFECO Corp.</rdfs:label>
  </Mx4rhci2dAhuEduVNADggVaqog>

  <Mx4rhci2dAhuEduVNADggVaqog rdf:about="Mx4rwTk1wZwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">Allstate</rdfs:label>
    <cycAnnot:label xml:lang="en">AllstateCorp</cycAnnot:label>
  </Mx4rhci2dAhuEduVNADggVaqog>

  <Mx4rhci2dAhuEduVNADggVaqog rdf:about="Mx4rvnKNlJwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">AcmeElectricCorporation</cycAnnot:label>
    <rdfs:label xml:lang="en">ACE Limited</rdfs:label>
  </Mx4rhci2dAhuEduVNADggVaqog>

  <Mx4rhci2dAhuEduVNADggVaqog rdf:about="Mx4rbQThOAhvEduVNQDggVaqog">
    <cycAnnot:label xml:lang="en">CincinnatiFinancial</cycAnnot:label>
    <rdfs:label xml:lang="en">Cincinnati Financial</rdfs:label>
    <rdfs:comment xml:lang="en">Cincinnati Financial, a publicly traded corporation.</rdfs:comment>
  </Mx4rhci2dAhuEduVNADggVaqog>

  <owl:Class rdf:about="&cyc;Mx4rhci2dAhuEduVNADggVaqog">
    <cycAnnot:label xml:lang="en">PropertyAndCasualtyInsurance-SubIndustrySP</cycAnnot:label>
    <rdfs:label xml:lang="en">Property &amp; Casualty Insurance</rdfs:label>
    <rdfs:comment xml:lang="en">The &apos;Property &amp; Casualty Insurance&apos; sub-industry, as defined by Standard and Poor&apos;s.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="&ocyc;Mx4rhci2dAhuEduVNADggVaqog">
    <cycAnnot:label xml:lang="en">PropertyAndCasualtyInsurance-SubIndustrySP</cycAnnot:label>
    <rdfs:label xml:lang="en">Property &amp; Casualty Insurance</rdfs:label>
    <rdfs:comment xml:lang="en">The &apos;Property &amp; Casualty Insurance&apos; sub-industry, as defined by Standard and Poor&apos;s.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4r4EvD8whxEduVMgDggVaqog">
    <rdfs:label xml:lang="en">corporation type by sub industry SP</rdfs:label>
    <cycAnnot:label xml:lang="en">CorporationTypeBySubIndustry-SP</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rLYABNQhuEduVMwDggVaqog">
    <rdfs:label xml:lang="en">Insurance</rdfs:label>
    <cycAnnot:label xml:lang="en">Insurance-IndustrySP</cycAnnot:label>
    <rdfs:comment xml:lang="en">The &apos;Insurance&apos; industry, as defined by Standard and Poor&apos;s.</rdfs:comment>
  </owl:Class>

</rdf:RDF>
