]> 2008/06/10 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. externalID 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. label 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. S&P 500 corporation SP500-Corporation S&P 500 corporations S&P 500 companies S&P 500 company ChubbCorp Chubb Corp., a publicly traded corporation. Chubb Corp. Motorola Inc., a publicly traded corporation. MotorolaInc Motorola Inc. KB Home KB Home, a publicly traded corporation. KBHome United Parcel Service, a publicly traded corporation. United Parcel Service UnitedParcelService Washington Mutual, a publicly traded corporation. Washington Mutual WashingtonMutual AmericanElectricPowerInc American Electric Power News Corporation NewsCorporation News Corporation, a publicly traded corporation. DillardInc Dillard Inc., a publicly traded corporation. Dillard Inc. Loews Corp. LoewsCorp Loews Corp., a publicly traded corporation. Target Corp., a publicly traded corporation. TargetCorp Target Corp. FirstData First Data First Data, a publicly traded corporation. Limited Brands LimitedBrandsInc Limited Brands, Inc., a publicly traded corporation. GatewayInc-7 Gateway Inc., a publicly traded corporation. Gateway Inc. Heinz (H.J.) HeinzHJ Heinz (H.J.), a publicly traded corporation. Equifax Inc. EquifaxInc Equifax Inc., a publicly traded corporation. ApartmentInvestmentandManagementCompany Apartment Investment & Mgmt'A' Weyerhaeuser Corp. WeyerhaeuserCorp Weyerhaeuser Corp., a publicly traded corporation. Entergy Corp., a publicly traded corporation. EntergyCorp Entergy Corp. Kimberly-Clark Kimberly-Clark, a publicly traded corporation. Kimberly-Clark Interpublic Group InterpublicGroup Interpublic Group, a publicly traded corporation. Federal Home Loan Mtg., a publicly traded corporation. Federal Home Loan Mtg. FederalHomeLoanMtg Altera Corp., a publicly traded corporation. AlteraCorp Altera Corp. Phelps Dodge PhelpsDodge-Corporation Becton, Dickinson BectonDickinson Becton, Dickinson, a publicly traded corporation. Dean Foods Dean Foods, a publicly traded corporation. DeanFoods TorchmarkCorp Torchmark Corp. Torchmark Corp., a publicly traded corporation. Baker Hughes BakerHughesIncorporated Nucor Corp., a publicly traded corporation. Nucor Corp. NucorCorp Reynolds American Inc. ReynoldsAmericanInc Reynolds American Inc., a publicly traded corporation. FortuneBrandsInc Fortune Brands, Inc., a publicly traded corporation. Fortune Brands EMCCorp EMC Corp., a publicly traded corporation. EMC Corp. HalliburtonCo Halliburton Co. Halliburton Co., a publicly traded corporation. AutoZoneInc AutoZone Inc. PerkinElmer, a publicly traded corporation. PerkinElmer PerkinElmer Parker-Hannifin Parker-Hannifin, a publicly traded corporation. Parker-Hannifin StrykerCorp Stryker Corp. Stryker Corp., a publicly traded corporation. Medco Health Solutions Inc., a publicly traded corporation. Medco Health Solutions Inc. MedcoHealthSolutionsInc DonnelleyRRAndSons Donnelley (R.R.) & Sons Donnelley (R.R.) & Sons, a publicly traded corporation. BIOGEN IDEC Inc., a publicly traded corporation. BIOGEN IDEC Inc. BIOGENIDECInc MonsterWorldwide Monster Worldwide Monster Worldwide, a publicly traded corporation. Louisiana Pacific, a publicly traded corporation. LouisianaPacific Louisiana Pacific MedtronicInc Medtronic Inc., a publicly traded corporation. Medtronic Inc. Schering-Plough, a publicly traded corporation. Schering-Plough Schering-Plough Dynegy Inc. (New) Class A, a publicly traded corporation. Dynegy Inc. (New) Class A DynegyIncNewClassA Legg Mason, a publicly traded corporation. LeggMason Legg Mason Knight-Ridder Inc., a publicly traded corporation. Knight-RidderInc Knight-Ridder Inc. NaborsIndustriesLtd Nabors Industries Ltd. Nabors Industries Ltd., a publicly traded corporation. Tellabs TellabsInc Affiliated Computer AffiliatedComputerServicesInc Deere & Co., a publicly traded corporation. Deere & Co. DeereAndCo Anheuser-Busch Anheuser-BuschCompaniesInc CentexCorp Centex Corp., a publicly traded corporation. Centex Corp. Unisys Corp. UnisysCorp Unisys Corp., a publicly traded corporation. ProcterAndGamble Procter & Gamble, a publicly traded corporation. Procter & Gamble Mattel MattelInc Mattel, Inc., a publicly traded corporation. eBay Inc., a publicly traded corporation. eBay Inc. EBayInc CaremarkRx Caremark Rx, a publicly traded corporation. Caremark Rx Gap (The), a publicly traded corporation. Gap (The) GapThe CooperTireAndRubber Cooper Tire & Rubber Cooper Tire & Rubber, a publicly traded corporation. General Motors GeneralMotors QwestCommunicationsInternationalInc Qwest Communications International BigLotsInc Big Lots, Inc., a publicly traded corporation. Big Lots BlackAndDeckerCorp Black & Decker Corp. Black & Decker Corp., a publicly traded corporation. GeneralMills General Mills General Mills, a publicly traded corporation. CitrixSystems Citrix Systems, a publicly traded corporation. Citrix Systems SanDiskCorporation-3 SanDisk Corporation SanDisk Corporation, a publicly traded corporation. CBSCorp CBS Corp. CBS Corp., a publicly traded corporation. TextronInc Textron Inc., a publicly traded corporation. Textron Inc. Tyson Foods Tyson Foods, a publicly traded corporation. TysonFoods SearsHoldingsCorporation Sears Holdings Corporation Sears Holdings Corporation, a publicly traded corporation. An international company involved in the development of computer technology, and the production of testing and measurement instruments. The company is headquartered in Palo Alto, California. Hewlett-PackardInc Hewlett-Packard SunTrust Banks SunTrustBanks SunTrust Banks, a publicly traded corporation. USTInc UST Inc. UST Inc., a publicly traded corporation. MeadWestvacoCorporation MeadWestvaco Corporation MeadWestvaco Corporation, a publicly traded corporation. Liz Claiborne Liz Claiborne, Inc., a publicly traded corporation. LizClaiborneInc Public Service Enterprise Group Public Serv. Enterprise Inc., a publicly traded corporation. PublicServEnterpriseInc SAFECOCorp SAFECO Corp., a publicly traded corporation. SAFECO Corp. Novellus Systems NovellusSystems Novellus Systems, a publicly traded corporation. GoodrichCorporation Goodrich Corporation, a publicly traded corporation. Goodrich Corporation The Hershey Company The Hershey Company, a publicly traded corporation. TheHersheyCompany WrigleyWmJr Wrigley (Wm) Jr., a publicly traded corporation. Wrigley (Wm) Jr. UnionPacific Union Pacific Union Pacific, a publicly traded corporation. CincinnatiFinancial Cincinnati Financial Cincinnati Financial, a publicly traded corporation. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwp6JwpEbGdrcN5Y29ycA" class="cyc_term">BaxterHealthcareCorp</a> (Baxter International) is a worldwide biomedical manufacturing company specializing in technologies related to the circulatory system. Baxter BaxterHealthcareCorp Cummins Inc. Cummins Inc., a publicly traded corporation. CumminsInc Apollo Group ApolloGroup Apollo Group, a publicly traded corporation. MedImmune Inc., a publicly traded corporation. MedImmuneInc-3 MedImmune Inc. Fifth Third Bancorp FifthThirdBancorp Equity Residential EquityResidential Equity Residential, a publicly traded corporation. Snap-On Inc., a publicly traded corporation. Snap-On Inc. Snap-OnInc V.F. Corp., a publicly traded corporation. VFCorp V.F. Corp. Merrill Lynch Merrill Lynch, a publicly traded corporation. MerrillLynch WalgreenCo Walgreen Co., a publicly traded corporation. Walgreen Co. XcelEnergyInc Xcel Energy Inc, a publicly traded corporation. Xcel Energy L-3 Communications Holdings, a publicly traded corporation. L-3CommunicationsHoldings L-3 Communications Holdings Juniper Networks JuniperNetworks Juniper Networks, a publicly traded corporation. IllinoisToolWorks Illinois Tool Works, a publicly traded corporation. Illinois Tool Works Ingersoll-RandCoLtd Ingersoll-Rand Co. Ltd. Ingersoll-Rand Co. Ltd., a publicly traded corporation. Exxon Mobil Corp. ExxonMobilCorp Exxon Mobil Corp., a publicly traded corporation. Danaher Corp., a publicly traded corporation. DanaherCorp Danaher Corp. CocaColaCo Coca Cola Co., a publicly traded corporation. Coca Cola Co. CienaCorp Ciena Corp. Ciena Corp., a publicly traded corporation. StJudeMedical St. Jude Medical St Jude Medical, a publicly traded corporation. Sovereign Bancorp, a publicly traded corporation. SovereignBancorp Sovereign Bancorp Novell Inc., a publicly traded corporation. Novell Inc. NovellInc-9 KeyspanEnergy Keyspan Energy, a publicly traded corporation. Keyspan Energy Meredith Corp. Meredith Corp., a publicly traded corporation. MeredithCorp International Game Technology, a publicly traded corporation. InternationalGameTechnology International Game Technology ValeroEnergy-Corporation Valero Energy WholeFoodsMarket Whole Foods Market, a publicly traded corporation. Whole Foods Market Marathon Oil Corp. Marathon Oil Corp., a publicly traded corporation. MarathonOilCorp Whirlpool Corp. WhirlpoolCorp Whirlpool Corp., a publicly traded corporation. ITTIndustriesInc ITT Industries, Inc., a publicly traded corporation. ITT Industries PeoplesEnergy Peoples Energy Peoples Energy, a publicly traded corporation. FPL Group FPLGroup FPL Group, a publicly traded corporation. GoodyearTireAndRubber Goodyear Tire & Rubber Goodyear Tire & Rubber, a publicly traded corporation. E*Trade Financial Corp. E*Trade Financial Corp., a publicly traded corporation. ETradeFinancialCorp Estee Lauder Cos., a publicly traded corporation. EsteeLauderCos Estee Lauder Cos. Fisher Scientific, a publicly traded corporation. Fisher Scientific FisherScientific BellSouth BellSouth, a publicly traded corporation. BellSouth Monsanto Co. MonsantoCo Monsanto Co., a publicly traded corporation. Symbol Technologies Symbol Technologies, a publicly traded corporation. SymbolTechnologies SunocoInc Sunoco Sunoco, Inc., a publicly traded corporation. Paychex Inc., a publicly traded corporation. PaychexInc-3 Paychex Inc. Devon Energy Corp., a publicly traded corporation. Devon Energy Corp. DevonEnergyCorp EquityOfficeProperties Equity Office Properties, a publicly traded corporation. Equity Office Properties Citigroup Inc., a publicly traded corporation. CitigroupInc Citigroup Inc. Amazon Corp., a publicly traded corporation. AmazonCorp Amazon Corp. QUALCOMM Inc., a publicly traded corporation. QUALCOMMInc QUALCOMM Inc. AlliedProductsCorporation Automatic Data Processing Inc. Golden West Financial, a publicly traded corporation. GoldenWestFinancial Golden West Financial Marriott Int'l., a publicly traded corporation. Marriott Int'l. MarriottIntl NVIDIA Corp., a publicly traded corporation. NVIDIA Corp. NVIDIACorp ConvergysCorp Convergys Corp. Convergys Corp., a publicly traded corporation. Office Depot, a publicly traded corporation. OfficeDepot Office Depot Home Depot HomeDepot CenterPointEnergy CenterPoint Energy CenterPoint Energy, a publicly traded corporation. HCA Inc. HCA Inc., a publicly traded corporation. HCAInc ADC Telecommunications, a publicly traded corporation. ADC Telecommunications ADCTelecommunications LehmanBros Lehman Bros., a publicly traded corporation. Lehman Bros. Sempra Energy SempraEnergy Sempra Energy, a publicly traded corporation. Parametric Technology ParametricTechnology Parametric Technology, a publicly traded corporation. AirProductsandChemicalsInc Air Products & Chemicals UnitedHealthGroupInc United Health Group Inc. United Health Group Inc., a publicly traded corporation. Bristol-MyersSquibbCompany Bristol-Myers Squibb Starwood Hotels & Resorts, a publicly traded corporation. StarwoodHotelsAndResorts Starwood Hotels & Resorts NationalCityCorp National City Corp. National City Corp., a publicly traded corporation. EdisonIntl Edison Int'l Edison Int'l, a publicly traded corporation. Electronic Arts ElectronicArtsInc Honeywell Int'l Inc., a publicly traded corporation. Honeywell Int'l Inc. HoneywellIntlInc CampbellSoup-2 Campbell Soup, a publicly traded corporation. Campbell Soup Leggett & Platt, a publicly traded corporation. LeggettAndPlatt Leggett & Platt BardCRInc Bard (C.R.) Inc., a publicly traded corporation. Bard (C.R.) Inc. CoachInc Coach Coach, Inc., a publicly traded corporation. WellsFargo Wells Fargo, a publicly traded corporation. Wells Fargo AFLAC Inc., a publicly traded corporation. AFLACInc AFLAC Inc. Adobe Systems, a publicly traded corporation. AdobeSystems Adobe Systems TransoceanInc Transocean Inc., a publicly traded corporation. Transocean Inc. CiscoSystemsInc Cisco Systems First Horizon National FirstHorizonNational First Horizon National, a publicly traded corporation. HessCorporation Hess Corporation, a publicly traded corporation. Hess Corporation PPL Corp., a publicly traded corporation. PPLCorp PPL Corp. NiSourceInc NiSource Inc., a publicly traded corporation. NiSource Inc. Sabre Holding Corp., a publicly traded corporation. SabreHoldingCorp Sabre Holding Corp. MorganStanley Morgan Stanley Morgan Stanley, a publicly traded corporation. McCormickAndCo McCormick & Co. McCormick & Co., a publicly traded corporation. Progress Energy, Inc., a publicly traded corporation. Progress Energy ProgressEnergyInc IBMInc IBM XL Capital XLCapital XL Capital, a publicly traded corporation. New York Times Cl. A New York Times Cl. A, a publicly traded corporation. NewYorkTimesClA Temple-Inland, a publicly traded corporation. Temple-Inland Temple-Inland ConsolidatedEdison Consolidated Edison Consolidated Edison, a publicly traded corporation. QLogicCorp QLogic Corp., a publicly traded corporation. QLogic Corp. MaximIntegratedProd Maxim Integrated Prod Maxim Integrated Prod, a publicly traded corporation. EatonCorp Eaton Corp., a publicly traded corporation. Eaton Corp. Hospira Inc., a publicly traded corporation. HospiraInc Hospira Inc. Bank of America Corp. BankOfAmerica Franklin Resources, a publicly traded corporation. FranklinResources Franklin Resources LexmarkIntlInc Lexmark Int'l Inc, a publicly traded corporation. Lexmark Int'l Inc Oracle Corp. Oracle Corp., a publicly traded corporation. OracleCorp Genuine Parts, a publicly traded corporation. Genuine Parts GenuineParts Applera Corp-Applied Biosystems Group AppleraCorp-AppliedBiosystemsGroup Applera Corp-Applied Biosystems Group, a publicly traded corporation. Computer Sciences Corp., a publicly traded corporation. ComputerSciencesCorp Computer Sciences Corp. PACCAR Inc., a publicly traded corporation. PACCAR Inc. PACCARInc GannettCo Gannett Co. Gannett Co., a publicly traded corporation. Express Scripts Express Scripts, a publicly traded corporation. ExpressScripts NCR Corp. NCRCorp NCR Corp., a publicly traded corporation. Wyeth Wyeth, a publicly traded corporation. Wyeth Aetna Inc. Aetna Inc., a publicly traded corporation. AetnaInc TeradyneInc Teradyne Inc., a publicly traded corporation. Teradyne Inc. Andrew Corp. AndrewCorporation Waste Management Inc. Waste Management Inc., a publicly traded corporation. WasteManagementInc Starbucks Corp., a publicly traded corporation. StarbucksCorp Starbucks Corp. Waters Corporation Waters Corporation, a publicly traded corporation. WatersCorporation FirstEnergyCorp FirstEnergy Corp. FirstEnergy Corp., a publicly traded corporation. State Street Corp., a publicly traded corporation. StateStreetCorp State Street Corp. Bank of New York, a publicly traded corporation. BankOfNewYork Bank of New York BallCorporation Ball Corp. Hilton Hotels, a publicly traded corporation. HiltonHotels Hilton Hotels GileadSciencesInc Gilead Sciences Nordstrom Nordstrom, a publicly traded corporation. Nordstrom Colgate-Palmolive, a publicly traded corporation. Colgate-Palmolive Colgate-Palmolive BJ Services BJServicesCo JonesApparelGroup Jones Apparel Group, a publicly traded corporation. Jones Apparel Group PactivCorp Pactiv Corp. Pactiv Corp., a publicly traded corporation. BoeingCompany Boeing Company, a publicly traded corporation. Boeing Company HumanaInc Humana Inc. Humana Inc., a publicly traded corporation. AgilentTechnologies-6 Agilent Technologies, a publicly traded corporation. Agilent Technologies ClearChannelCommunications Clear Channel Communications Clear Channel Communications, a publicly traded corporation. SynovusFinancial Synovus Financial Synovus Financial, a publicly traded corporation. RohmAndHaas Rohm & Haas Rohm & Haas, a publicly traded corporation. EOG Resources EOG Resources, a publicly traded corporation. EOGResources Sara Lee Corp. Sara Lee Corp., a publicly traded corporation. SaraLeeCorp Eastman Chemical, a publicly traded corporation. EastmanChemical Eastman Chemical CapitalOneFinancial Capital One Financial Capital One Financial, a publicly traded corporation. Zimmer Holdings Zimmer Holdings, a publicly traded corporation. ZimmerHoldings T. Rowe Price Group, a publicly traded corporation. T. Rowe Price Group TRowePriceGroup AlcoaInc Alcoa Inc Cendant Corporation Cendant Corporation, a publicly traded corporation. CendantCorporation Newell Rubbermaid Co., a publicly traded corporation. NewellRubbermaidCo Newell Rubbermaid Co. PepsiBottlingGroup Pepsi Bottling Group, a publicly traded corporation. Pepsi Bottling Group PulteHomesInc Pulte Homes Pulte Homes, Inc., a publicly traded corporation. Tyco International, a publicly traded corporation. TycoInternational Tyco International Mylan Laboratories, a publicly traded corporation. MylanLaboratories Mylan Laboratories Freeport-McMoranCpAndGld Freeport-McMoran Cp & Gld Freeport-McMoran Cp & Gld, a publicly traded corporation. Alberto-Culver AlbertoCulverCo RaytheonCoNew Raytheon Co. (New), a publicly traded corporation. Raytheon Co. (New) Federated Dept. Stores, a publicly traded corporation. FederatedDeptStores Federated Dept. Stores Bemis Company BemisCompanyInc Abbott Labs, a publicly traded corporation. AbbottLabs Abbott Labs FederalNationalMortgageAssociation the Federal National Mortgage Association AcmeElectricCorporation ACE Limited Sigma-Aldrich Sigma-Aldrich Sigma-Aldrich, a publicly traded corporation. TexasInstrumentsInc Texas Instruments Firm responsible for developing the silicon chip. King Pharmaceuticals King Pharmaceuticals, a publicly traded corporation. KingPharmaceuticals ConocoPhillips ConocoPhillips, a publicly traded corporation. Conoco A large software company founded by Bill Gates and Paul Allen. MicrosoftInc Microsoft Allied Waste Industries, a publicly traded corporation. AlliedWasteIndustries Allied Waste Industries IMS Health Inc., a publicly traded corporation. IMSHealthInc IMS Health Inc. Biomet BiometInc-4 Biomet, Inc., a publicly traded corporation. Goldman Sachs GoldmanSachsGroup Goldman Sachs Group, a publicly traded corporation. Pall Corp., a publicly traded corporation. Pall Corp. PallCorp FiservInc Fiserv Janus Capital Group Janus Capital Group, a publicly traded corporation. JanusCapitalGroup KinderMorgan Kinder Morgan Kinder Morgan, a publicly traded corporation. Time Warner Inc. TimeWarnerInc Time Warner Inc., a publicly traded corporation. CenturyTelephone Century Telephone, a publicly traded corporation. Century Telephone PrudentialFinancial Prudential Financial, a publicly traded corporation. Prudential Financial TJX Companies Inc., a publicly traded corporation. TJX Companies Inc. TJXCompaniesInc Merck & Co. Merck & Co., a publicly traded corporation. MerckAndCo Cooper Industries, Ltd. CooperIndustriesLtd Cooper Industries, Ltd., a publicly traded corporation. PPG Industries PPG Industries, a publicly traded corporation. PPGIndustries SouthwestAirlines-6 Southwest Airlines, a publicly traded corporation. Southwest Airlines Archer-Daniels-Midland Archer-Daniels-Midland, a publicly traded corporation. Archer-Daniels-Midland National Semiconductor, a publicly traded corporation. NationalSemiconductor National Semiconductor Lowe's Cos. LowesCos Lowe's Cos., a publicly traded corporation. AmericanInternationalGroupInc American Int'l. Group Safeway Inc. Safeway Inc., a publicly traded corporation. SafewayInc MetLife Inc., a publicly traded corporation. MetLifeInc MetLife Inc. Ford Motor, a publicly traded corporation. FordMotor Ford Motor PenneyJC Penney (J.C.) Penney (J.C.), a publicly traded corporation. Network Appliance NetworkApplianceInc PMC-SierraInc PMC-Sierra Inc., a publicly traded corporation. PMC-Sierra Inc. SchlumbergerLtd Schlumberger Ltd., a publicly traded corporation. Schlumberger Ltd. Health Management Assoc. HealthManagementAssoc Health Management Assoc., a publicly traded corporation. CompuwareCorp Compuware Corp., a publicly traded corporation. Compuware Corp. Nicor NICORInc NICOR Inc., a publicly traded corporation. Murphy Oil Murphy Oil, a publicly traded corporation. MurphyOil KimcoRealty Kimco Realty, a publicly traded corporation. Kimco Realty Allegheny Technologies Inc AlleghenyTechnologiesInc Allegheny Technologies Inc, a publicly traded corporation. PepsiCoInc PepsiCo Inc. PepsiCo Inc., a publicly traded corporation. General Dynamics General Dynamics, a publicly traded corporation. GeneralDynamics Advanced Micro Devices AdvancedMicroDevices-CommercialOrganization Exelon Corp. ExelonCorp Exelon Corp., a publicly traded corporation. Altria Group Altria Group, Inc., a publicly traded corporation. AltriaGroupInc KeyCorp KeyCorp KeyCorp, a publicly traded corporation. Kroger Co. Kroger Co., a publicly traded corporation. KrogerCo UnitedStatesSteelCorp United States Steel Corp., a publicly traded corporation. United States Steel Corp. AppliedMaterialsInc Applied Materials Brown-Forman Corp., a publicly traded corporation. Brown-FormanCorp Brown-Forman Corp. KLA-Tencor Corp., a publicly traded corporation. KLA-Tencor Corp. KLA-TencorCorp Lockheed Martin Corp., a publicly traded corporation. LockheedMartinCorp Lockheed Martin Corp. BurlingtonNorthernSantaFeCorporation Burlington Northern Santa Fe C Bear Stearns Cos. BearStearnsCompaniesInc Cintas Corporation CintasCorporation-9 Cintas Corporation, a publicly traded corporation. MoodysCorp Moody's Corp Moody's Corp, a publicly traded corporation. LSI Logic, a publicly traded corporation. LSILogic LSI Logic PNCBankCorp PNC Bank Corp., a publicly traded corporation. PNC Bank Corp. GeneralElectric General Electric, a publicly traded corporation. General Electric Harman Int'l Industries Harman Int'l Industries, a publicly traded corporation. HarmanIntlIndustries Huntington Bancshares, a publicly traded corporation. HuntingtonBancshares Huntington Bancshares Corning Inc. CorningInc Corning Inc., a publicly traded corporation. Wachovia Corp. (New) WachoviaCorpNew Wachovia Corp. (New), a publicly traded corporation. International Paper International Paper, a publicly traded corporation. InternationalPaper Southern Co. SouthernCo Southern Co., a publicly traded corporation. ZionsBancorporation Zions Bancorp StaplesInc Staples Inc. Scripps (E. W.) 'A', a publicly traded corporation. ScrippsEWA Scripps (E. W.) 'A' Johnson Controls JohnsonControls Johnson Controls, a publicly traded corporation. EcolabInc Ecolab Inc., a publicly traded corporation. Ecolab Inc. Compass Bancshares, a publicly traded corporation. CompassBancshares Compass Bancshares Bausch & Lomb BauschAndLomb Bausch & Lomb, a publicly traded corporation. JohnsonAndJohnson Johnson & Johnson, a publicly traded corporation. Johnson & Johnson LinearTechnologyCorp Linear Technology Corp., a publicly traded corporation. Linear Technology Corp. AES Corp. AESCorporation Archstone-Smith Trust ArchstoneCommunitiesTrust Dow Jones & Co. Dow Jones & Co., a publicly traded corporation. DowJonesAndCo Freescale Semiconductor Inc. Freescale Semiconductor Inc., a publicly traded corporation. FreescaleSemiconductorInc Dover Corp., a publicly traded corporation. Dover Corp. DoverCorp UnumProvident Corp., a publicly traded corporation. UnumProvident Corp. UnumProvidentCorp WellPointInc WellPoint Inc. WellPoint Inc., a publicly traded corporation. Newmont Mining Corp. (Hldg. Co.) Newmont Mining Corp. (Hldg. Co.), a publicly traded corporation. NewmontMiningCorpHldgCo Regions Financial Corp. (New), a publicly traded corporation. RegionsFinancialCorpNew Regions Financial Corp. (New) Google, Inc. GoogleInc LaboratoryCorpOfAmericaHolding Laboratory Corp. of America Holding Laboratory Corp. of America Holding, a publicly traded corporation. BedBathBeyondInc Bed Bath & Beyond Inc. FluorCorpNew Fluor Corp. (New), a publicly traded corporation. Fluor Corp. (New) YumBrandsInc Yum! Brands, Inc, a publicly traded corporation. Yum! Brands, Inc 3MCompany 3M Company, a publicly traded corporation. 3M Company TektronixInc-1 Tektronix Inc., a publicly traded corporation. Tektronix Inc. PlumCreekTimberCo Plum Creek Timber Co. Plum Creek Timber Co., a publicly traded corporation. Family Dollar Stores, a publicly traded corporation. FamilyDollarStores Family Dollar Stores ConAgra Foods, Inc., a publicly traded corporation. ConAgraFoodsInc ConAgra Foods Verizon Communications VerizonCommunicationsInc Northrop Grumman Corp. NorthropGrummanCorp Northrop Grumman Corp., a publicly traded corporation. Avon Products, a publicly traded corporation. AvonProducts Avon Products FedEx Corporation FedExCorporation FedEx Corporation, a publicly traded corporation. Occidental Petroleum, a publicly traded corporation. Occidental Petroleum OccidentalPetroleum-7 United Technologies UnitedTechnologies United Technologies, a publicly traded corporation. MBIA Inc., a publicly traded corporation. MBIAInc MBIA Inc. RadioShackCorp RadioShack Corp RadioShack Corp, a publicly traded corporation. AlleghenyEnergyInc Allegheny Energy HarrahsEntertainment Harrah's Entertainment, a publicly traded corporation. Harrah's Entertainment Chevron Corp., a publicly traded corporation. ChevronCorp Chevron Corp. ApacheCorp Apache Corp., a publicly traded corporation. Apache Corp. VerisignInc-3 Verisign Inc. Verisign Inc., a publicly traded corporation. North Fork Bancorporation, a publicly traded corporation. North Fork Bancorporation NorthForkBancorporation AmSouth Bancorporation AmSouthBancorporation Pitney-Bowes Pitney-Bowes, a publicly traded corporation. Pitney-Bowes ThermoElectron Thermo Electron Thermo Electron, a publicly traded corporation. Dominion Resources Dominion Resources, a publicly traded corporation. DominionResources Citizens Communications Citizens Communications, a publicly traded corporation. CitizensCommunications Lucent Technologies, a publicly traded corporation. Lucent Technologies LucentTechnologies Comcast Corp., a publicly traded corporation. ComcastCorp Comcast Corp. Lilly (Eli) & Co., a publicly traded corporation. LillyEliAndCo Lilly (Eli) & Co. TribuneCo Tribune Co. Tribune Co., a publicly traded corporation. Ameriprise Financial AmeripriseFinancialInc Ameriprise Financial, Inc., a publicly traded corporation. Wal-MartStores Wal-Mart Stores, a publicly traded corporation. Wal-Mart Stores DTEEnergyCo DTE Energy Co., a publicly traded corporation. DTE Energy Co. Vulcan Materials, a publicly traded corporation. VulcanMaterials Vulcan Materials Kellogg Co. KelloggCo Kellogg Co., a publicly traded corporation. CVS Corp. CVS Corp., a publicly traded corporation. CVSCorp Univision Communications, a publicly traded corporation. UnivisionCommunications Univision Communications AonCorp Aon Corp. Aon Corp., a publicly traded corporation. Forest Laboratories ForestLaboratories Forest Laboratories, a publicly traded corporation. XeroxCorp Xerox Corp., a publicly traded corporation. Xerox Corp. PinnacleWestCapital Pinnacle West Capital, a publicly traded corporation. Pinnacle West Capital D.R. Horton DRHorton D.R. Horton, a publicly traded corporation. CIT Group, a publicly traded corporation. CITGroup CIT Group AmerisourceBergen Corp. AmerisourceBergenCorp AmerisourceBergen Corp., a publicly traded corporation. CharlesSchwab-CommercialOrganization Charles Schwab CircuitCityGroup Circuit City Group Circuit City Group, a publicly traded corporation. M&T Bank Corp., a publicly traded corporation. MTBankCorp M&T Bank Corp. Genzyme Corp., a publicly traded corporation. Genzyme Corp. GenzymeCorp HartfordFinancialSvcGp Hartford Financial Svc.Gp. Hartford Financial Svc.Gp., a publicly traded corporation. PraxairInc Praxair Praxair, Inc., a publicly traded corporation. Wendy's International, a publicly traded corporation. WendysInternational Wendy's International AutoNation AutoNationInc Rockwell Automation, Inc., a publicly traded corporation. RockwellAutomationInc Rockwell Automation TXU Corp., a publicly traded corporation. TXU Corp. TXUCorp Intuit Intuit, Inc., a publicly traded corporation. IntuitInc-6 Rockwell Collins, a publicly traded corporation. Rockwell Collins RockwellCollins Carnival Corp., a publicly traded corporation. CarnivalCorp Carnival Corp. MGICInvestment MGIC Investment MGIC Investment, a publicly traded corporation. Kerr-McGee Kerr-McGee, a publicly traded corporation. Kerr-McGee Mellon Bank Corp. MellonBankCorp Mellon Bank Corp., a publicly traded corporation. Sherwin-Williams Sherwin-Williams Sherwin-Williams, a publicly traded corporation. NationalOilwellVarcoInc National Oilwell Varco National Oilwell Varco, Inc., a publicly traded corporation. Genworth Financial Inc. Genworth Financial Inc., a publicly traded corporation. GenworthFinancialInc Electronic Data Systems Electronic Data Systems, a publicly traded corporation. ElectronicDataSystems Symantec Corp. Symantec-CommercialOrganization <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwEj4WJwpEbGdrcN5Y29ycA" class="cyc_term">Symantec_CommercialOrganization</a> specializes in internet security technology. They are also the makers of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvv9neZwpEbGdrcN5Y29ycA" class="cyc_term">NortonAntiVirus</a>. Dollar General, a publicly traded corporation. Dollar General DollarGeneral Micron Technology MicronTechnology Micron Technology, a publicly traded corporation. Harley-Davidson Harley-Davidson, a publicly traded corporation. Harley-Davidson The producer of Dell brand computer systems and components. DellComputerCorporation Dell Computer Corporation OfficeMax Inc., a publicly traded corporation. OfficeMaxInc OfficeMax Inc. BarrPharmaceuticalsInc Barr Pharmaceuticals Barr Pharmaceuticals, Inc., a publicly traded corporation. TECO Energy, a publicly traded corporation. TECOEnergy TECO Energy Watson Pharmaceuticals, a publicly traded corporation. WatsonPharmaceuticals Watson Pharmaceuticals Grainger (W.W.) Inc. GraingerWWInc Grainger (W.W.) Inc., a publicly traded corporation. ALLTEL Corp., a publicly traded corporation. ALLTEL Corp. ALLTELCorp Sysco Corp. Sysco Corp., a publicly traded corporation. SyscoCorp ManorCareInc Manor Care Inc. Manor Care Inc., a publicly traded corporation. Yahoo, Inc. YahooInc McGraw-Hill McGraw-Hill, a publicly traded corporation. McGraw-Hill Caterpillar Inc., a publicly traded corporation. CaterpillarInc Caterpillar Inc. PGECorp PG&E Corp., a publicly traded corporation. PG&E Corp. Williams Cos. WilliamsCos Williams Cos., a publicly traded corporation. Chesapeake Energy, a publicly traded corporation. ChesapeakeEnergy Chesapeake Energy Masco Corp. MascoCorp Masco Corp., a publicly traded corporation. Comverse Technology ComverseTechnologyInc Jabil Circuit, a publicly traded corporation. JabilCircuit Jabil Circuit CA CAInc CA, Inc., a publicly traded corporation. Federated Investors Inc. FederatedInvestorsInc Federated Investors Inc., a publicly traded corporation. American Power Conversion American Power Conversion, a publicly traded corporation. AmericanPowerConversion BMCIndustriesInc BMC Software JDS Uniphase Corp JDSUniphaseCorp JDS Uniphase Corp, a publicly traded corporation. Progressive Corp., a publicly traded corporation. Progressive Corp. ProgressiveCorp CardinalHealthInc Cardinal Health Cardinal Health, Inc., a publicly traded corporation. Pfizer is a pharmacuetical company. Pfizer PfizerInc Tenet Healthcare Corp. TenetHealthcareCorp Tenet Healthcare Corp., a publicly traded corporation. Costco Co., a publicly traded corporation. Costco Co. CostcoCo St. Paul Travelers Cos., a publicly traded corporation. St. Paul Travelers Cos. StPaulTravelersCos AllerganInc-6 Allergan, Inc., a publicly traded corporation. Allergan El Paso Corp., a publicly traded corporation. ElPasoCorp El Paso Corp. Commerce Bancorp, a publicly traded corporation. Commerce Bancorp CommerceBancorp Marshall & Ilsley Corp., a publicly traded corporation. MarshallAndIlsleyCorp Marshall & Ilsley Corp. Rowan Cos. Rowan Cos., a publicly traded corporation. RowanCos Sprint Nextel Corp. SprintNextelCorp Sprint Nextel Corp., a publicly traded corporation. Sealed Air Corp.(New) Sealed Air Corp.(New), a publicly traded corporation. SealedAirCorpNew OmnicomGroup Omnicom Group Omnicom Group, a publicly traded corporation. Clorox Co., a publicly traded corporation. CloroxCo Clorox Co. Principal Financial Group PrincipalFinancialGroup Principal Financial Group, a publicly traded corporation. Norfolk Southern Corp., a publicly traded corporation. NorfolkSouthernCorp Norfolk Southern Corp. Viacom Viacom: a telecommunications and media company. ViacomInc-Corporation U.S. Bancorp U.S. Bancorp, a publicly traded corporation. USBancorp International Flav/Frag, a publicly traded corporation. International Flav/Frag InternationalFlavFrag AmericanExpressCompany American Express Boston Properties, a publicly traded corporation. BostonProperties Boston Properties Constellation Brands Constellation Brands, a publicly traded corporation. ConstellationBrands LincolnNational-7 Lincoln National Lincoln National, a publicly traded corporation. SLM Corporation SLMCorporation SLM Corporation, a publicly traded corporation. AshlandInc Ashland Inc. WaltDisneyCo Walt Disney Co., a publicly traded corporation. Walt Disney Co. AmericanStandardCompanies American Standard JPMorgan Chase & Co., a publicly traded corporation. JPMorgan Chase & Co. JPMorganChaseAndCo Analog Devices, a publicly traded corporation. AnalogDevices Analog Devices Boston Scientific, a publicly traded corporation. Boston Scientific BostonScientific Avaya Inc., a publicly traded corporation. Avaya Inc. AvayaInc McDonaldsCorp McDonald's Corp., a publicly traded corporation. McDonald's Corp. AmbacFinancialGroup Ambac Financial Group Ambac Financial Group, a publicly traded corporation. Developer of the MacIntosh PC. Apple Computer, Inc. AppleInc Molson Coors Brewing Company MolsonCoorsBrewingCompany Molson Coors Brewing Company, a publicly traded corporation. Block H&R, a publicly traded corporation. Block H&R BlockHR PattersonCosInc Patterson Cos. Inc., a publicly traded corporation. Patterson Cos. Inc. XTOEnergyInc XTO Energy Inc. XTO Energy Inc., a publicly traded corporation. Best Buy Co., Inc., a publicly traded corporation. BestBuyCoInc Best Buy Co. ConstellationEnergyGroup Constellation Energy Group Constellation Energy Group, a publicly traded corporation. Simon Property Group, Inc, a publicly traded corporation. Simon Property Group, Inc SimonPropertyGroupInc AmerenCorporation Ameren Corporation Ryder System, a publicly traded corporation. RyderSystem Ryder System Embarq Corporation, a publicly traded corporation. Embarq Corporation EmbarqCorporation HasbroInc Hasbro Inc., a publicly traded corporation. Hasbro Inc. AutodeskInc Autodesk Countrywide Financial Corp. CountrywideFinancialCorp Countrywide Financial Corp., a publicly traded corporation. Public Storage PublicStorage Public Storage, a publicly traded corporation. Intel Corp. Intel Corp., a publicly traded corporation. IntelCorp Vornado Realty Trust VornadoRealtyTrust Vornado Realty Trust, a publicly traded corporation. KohlsCorp Kohl's Corp., a publicly traded corporation. Kohl's Corp. Du Pont (E.I.), a publicly traded corporation. Du Pont (E.I.) DuPontEI CMSEnergy CMS Energy, a publicly traded corporation. CMS Energy Noble Corporation NobleCorporation Noble Corporation, a publicly traded corporation. Sanmina-SCI Corp. Sanmina-SCI Corp., a publicly traded corporation. Sanmina-SCICorp CoventryHealthCareInc Coventry Health Care CIGNACorp CIGNA Corp., a publicly traded corporation. CIGNA Corp. Quest Diagnostics Quest Diagnostics, a publicly traded corporation. QuestDiagnostics LennarCorp Lennar Corp., a publicly traded corporation. Lennar Corp. NIKE Inc., a publicly traded corporation. NIKEInc NIKE Inc. BB&T Corporation BBTCorporation Hercules, Inc., a publicly traded corporation. Hercules HerculesInc Northern Trust Corp. NorthernTrustCorp Northern Trust Corp., a publicly traded corporation. DardenRestaurants Darden Restaurants Darden Restaurants, a publicly traded corporation. Amgen AmgenInc SolectronCorporation Solectron AT&T Inc., a publicly traded corporation. ATTInc AT&T Inc. Duke Energy, a publicly traded corporation. DukeEnergy Duke Energy McKesson Corp. (New), a publicly traded corporation. McKessonCorpNew McKesson Corp. (New) Eastman Kodak Eastman Kodak, a publicly traded corporation. EastmanKodak MolexInc Molex Inc., a publicly traded corporation. Molex Inc. Stanley Works StanleyWorks Stanley Works, a publicly traded corporation. Anadarko Petroleum AnadarkoPetroleumCorp Allstate AllstateCorp WeatherfordInternationalLtd Weatherford International Ltd. Weatherford International Ltd., a publicly traded corporation. DowChemical Dow Chemical Dow Chemical, a publicly traded corporation. Avery Dennison Corp. AveryDennisonCorporation EmersonElectric Emerson Electric, a publicly traded corporation. Emerson Electric Coca-Cola Enterprises, a publicly traded corporation. Coca-Cola Enterprises Coca-ColaEnterprises CSX Corp., a publicly traded corporation. CSX Corp. CSXCorp Xilinx, Inc XilinxInc BroadcomCorporation Broadcom Corporation Comerica Inc. Comerica Inc., a publicly traded corporation. ComericaInc SupervaluInc Supervalu Inc., a publicly traded corporation. Supervalu Inc. NavistarInternationalCorp Navistar International Corp. Navistar International Corp., a publicly traded corporation. Tiffany-TheCompany Tiffany & Co. ProLogis ProLogis, a publicly traded corporation. ProLogis Marsh & McLennan, a publicly traded corporation. Marsh & McLennan MarshAndMcLennan BrunswickCorporation Brunswick Corp. Millipore Corp., a publicly traded corporation. Millipore Corp. MilliporeCorp Sun Microsystems, a publicly traded corporation. Sun Microsystems SunMicrosystems RobertHalfInternational Robert Half International Robert Half International, a publicly traded corporation. Pretty String (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> TERM STRING) means that STRING is the English word or expression (sequence of words) commonly used to refer to TERM. The predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> is used by the code which generates CycL to English paraphrases, but its applicability is not restricted to this use. prettyString NonAbducibleCollection The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4roVp5xVzKEdiLrQAH6RYvVA" class="cyc_term">NonAbducibleCollection</a> is a sub-collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl_ZwpEbGdrcN5Y29ycA" class="cyc_term">SetOrCollection</a>. Abductive inferences sometimes involve hypothesizing the existence of entities as part of the explanation of some assertion or set of assertions. Cyc will not hypothesize the existence of instances of the collections that are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4roVp5xVzKEdiLrQAH6RYvVA" class="cyc_term">NonAbducibleCollection</a>. Roughly, abductive inferences consume conceptual / theoretical knowledge rather than produce it. So, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4roVp5xVzKEdiLrQAH6RYvVA" class="cyc_term">NonAbducibleCollection</a> because Cyc should be employing existing theoretical knowledge about instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> rather than hypothesizing new instances. non abducible collection S&P 500 corporation SP500-Corporation The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_4bScKNtQdiVw7XtX-HN0Q" class="cyc_term">ClarifyingCollectionType</a> that are used by the <font color="#ff0000">#$KRAKEN</font> application to resolve natural language ambiguities. KE clarifying collection type KEClarifyingCollectionType A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a> (q.v.). Moreover, each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a> is a collection that is temporally stuff-like (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a>) but physically-spatially object-like (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>) -- i.e. object-like with respect to some physical-spatial part-whole predicate (e.g. some specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r8a2smPXcQdiEoJhcx65EiQ" class="cyc_term">properPhysicalDecompositions</a>). <p/> Consider the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a>. Further, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is temporally stuff-like: any one of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> of a given copy <code><b>COPY</b></code> of (say) &quot;Moby Dick&quot; is still a copy of &quot;Moby Dick&quot;. (Most collections of tangible objects are temporally stuff-like in this way.) But <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is spatially <i>object-like</i>: if we take a scalpel and slice <code><b>COPY</b></code> into ten pieces, each piece is not a copy of &quot;Moby Dick&quot;. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a>. <p/> See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVny6pwpEbGdrcN5Y29ycA" class="cyc_term">ExistingStuffType</a>. ExistingObjectType type of object S&P 500 corporation SP500-Corporation A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjQNpwpEbGdrcN5Y29ycA" class="cyc_term">Business</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViSlZwpEbGdrcN5Y29ycA" class="cyc_term">LegalCorporation</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjZ_ZwpEbGdrcN5Y29ycA" class="cyc_term">PubliclyHeldCorporation</a> is an incorporated business whose stock (see the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVivc5wpEbGdrcN5Y29ycA" class="cyc_term">Stock</a>) is traded publicly on some stock exchange or other public securities market. Businesses that are not traded publicly are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV2ZnpwpEbGdrcN5Y29ycA" class="cyc_term">PrivatelyHeldCorporation</a> (q.v.). publicly held corporation PubliclyHeldCorporation