From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/SUMO/TPTP/FinancialOntologyAx.p | 917 ------------------------------- 1 file changed, 917 deletions(-) delete mode 100644 examples/SUMO/TPTP/FinancialOntologyAx.p (limited to 'examples/SUMO/TPTP/FinancialOntologyAx.p') diff --git a/examples/SUMO/TPTP/FinancialOntologyAx.p b/examples/SUMO/TPTP/FinancialOntologyAx.p deleted file mode 100644 index 4e1412a09..000000000 --- a/examples/SUMO/TPTP/FinancialOntologyAx.p +++ /dev/null @@ -1,917 +0,0 @@ -fof(axFinancialOntology0, axiom, - ( ! [X] : - (hasType(type_AONOrder, X) => hasType(type_FinancialOrder, X)))). - -fof(axFinancialOntology1, axiom, - ( ! [X] : - (hasType(type_ATMMachine, X) => hasType(type_StationaryArtifact, X)))). - -fof(axFinancialOntology2, axiom, - ( ! [X] : - (hasType(type_ATMSlot, X) => hasType(type_Hole, X)))). - -fof(axFinancialOntology3, axiom, - ( ! [X] : - (hasType(type_AdjustableRateAccount, X) => hasType(type_InterestBearingAccount, X)))). - -fof(axFinancialOntology4, axiom, - ( ! [X] : - (hasType(type_AmericanExpressCard, X) => hasType(type_CreditCard, X)))). - -fof(axFinancialOntology5, axiom, - ( ! [X] : - (hasType(type_Annuity, X) => hasType(type_FinancialContract, X)))). - -fof(axFinancialOntology6, axiom, - ( ! [X] : - (hasType(type_AssetAllocation, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology7, axiom, - ( ! [X] : - (hasType(type_AuthorizationOfTransaction, X) => hasType(type_ControllingAnAccount, X)))). - -fof(axFinancialOntology8, axiom, - ( ! [X] : - (hasType(type_AuthorizationOfTransaction, X) => hasType(type_FinancialService, X)))). - -fof(axFinancialOntology9, axiom, - ( ! [X] : - (hasType(type_AuthorizationOfTransaction, X) => hasType(type_RegulatoryProcess, X)))). - -fof(axFinancialOntology10, axiom, - ( ! [X] : - (hasType(type_AutomaticTransaction, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology11, axiom, - ( ! [X] : - (hasType(type_BalloonLoan, X) => hasType(type_Loan, X)))). - -fof(axFinancialOntology12, axiom, - ( ! [X] : - (hasType(type_BankCard, X) => hasType(type_FinancialInstrument, X)))). - -fof(axFinancialOntology13, axiom, - ( ! [X] : - (hasType(type_BankStatement, X) => hasType(type_Proposition, X)))). - -fof(axFinancialOntology14, axiom, - ( ! [X] : - (hasType(type_BankTermLoan, X) => hasType(type_Loan, X)))). - -fof(axFinancialOntology15, axiom, - ( ! [X] : - (hasType(type_Bank_FinancialOrganization, X) => hasType(type_FinancialOrganization, X)))). - -fof(axFinancialOntology16, axiom, - ( ! [X] : - (hasType(type_Bearish, X) => hasType(type_InvestmentAttribute, X)))). - -fof(axFinancialOntology17, axiom, - ( ! [X] : - (hasType(type_BlueChipStock, X) => hasType(type_Stock, X)))). - -fof(axFinancialOntology18, axiom, - ( ! [X] : - (hasType(type_Bond, X) => hasType(type_FinancialInstrument, X)))). - -fof(axFinancialOntology19, axiom, - ( ! [X] : - (hasType(type_Bond, X) => hasType(type_Investment, X)))). - -fof(axFinancialOntology20, axiom, - ( ! [X] : - (hasType(type_BorrowedStock, X) => hasType(type_Stock, X)))). - -fof(axFinancialOntology21, axiom, - ( ! [X] : - (hasType(type_BridgeLoan, X) => hasType(type_Loan, X)))). - -fof(axFinancialOntology22, axiom, - ( ! [X] : - (hasType(type_BrokerLoan, X) => hasType(type_Loan, X)))). - -fof(axFinancialOntology23, axiom, - ( ! [X] : - (hasType(type_Broker, X) => hasType(type_CognitiveAgent, X)))). - -fof(axFinancialOntology24, axiom, - ( ! [X] : - (hasType(type_Bullish, X) => hasType(type_InvestmentAttribute, X)))). - -fof(axFinancialOntology25, axiom, - ( ! [X] : - (hasType(type_ButterflySpread, X) => hasType(type_SpreadOption, X)))). - -fof(axFinancialOntology26, axiom, - ( ! [X] : - (hasType(type_CallOption, X) => hasType(type_Option, X)))). - -fof(axFinancialOntology27, axiom, - ( ! [X] : - (hasType(type_Call, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology28, axiom, - ( ! [X] : - (hasType(type_CallableBond, X) => hasType(type_Bond, X)))). - -fof(axFinancialOntology29, axiom, - ( ! [X] : - (hasType(type_CallableLoan, X) => hasType(type_Loan, X)))). - -fof(axFinancialOntology30, axiom, - ( ! [X] : - (hasType(type_CancellingAnOrder, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology31, axiom, - ( ! [X] : - (hasType(type_Cash, X) => hasType(type_FinancialAsset, X)))). - -fof(axFinancialOntology32, axiom, - ( ! [X] : - (hasType(type_Cash, X) => hasType(type_FinancialInstrument, X)))). - -fof(axFinancialOntology33, axiom, - ( ! [X] : - (hasType(type_CertificateOfDeposit, X) => hasType(type_SavingsAccount, X)))). - -fof(axFinancialOntology34, axiom, - ( ! [X] : - (hasType(type_Check, X) => hasType(type_FinancialInstrument, X)))). - -fof(axFinancialOntology35, axiom, - ( ! [X] : - (hasType(type_CheckingAccount, X) => hasType(type_DepositAccount, X)))). - -fof(axFinancialOntology36, axiom, - ( ! [X] : - (hasType(type_ClosingAnAccount, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology37, axiom, - ( ! [X] : - (hasType(type_Collateral, X) => hasType(type_FinancialAsset, X)))). - -fof(axFinancialOntology38, axiom, - ( ! [X] : - (hasType(type_CommonStock, X) => hasType(type_Stock, X)))). - -fof(axFinancialOntology39, axiom, - ( ! [X] : - (hasType(type_ConsolidationLoan, X) => hasType(type_Loan, X)))). - -fof(axFinancialOntology40, axiom, - ( ! [X] : - (hasType(type_ConsumerPriceIndex, X) => hasType(type_InflationIndex, X)))). - -fof(axFinancialOntology41, axiom, - ( ! [X] : - (hasType(type_ControllingAnAccount, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology42, axiom, - ( ! [X] : - (hasType(type_ConventionalMortgage, X) => hasType(type_Mortgage, X)))). - -fof(axFinancialOntology43, axiom, - ( ! [X] : - (hasType(type_ConventionalOption, X) => hasType(type_Option, X)))). - -fof(axFinancialOntology44, axiom, - ( ! [X] : - (hasType(type_CorporateAccount, X) => hasType(type_FinancialAccount, X)))). - -fof(axFinancialOntology45, axiom, - ( ! [X] : - (hasType(type_CorporateBond, X) => hasType(type_Bond, X)))). - -fof(axFinancialOntology46, axiom, - ( ! [X] : - (hasType(type_CorporateBond, X) => hasType(type_TaxableInvestment, X)))). - -fof(axFinancialOntology47, axiom, - ( ! [X] : - (hasType(type_CouponBond, X) => hasType(type_Bond, X)))). - -fof(axFinancialOntology48, axiom, - ( ! [X] : - (hasType(type_CreditAccount, X) => hasType(type_LiabilityAccount, X)))). - -fof(axFinancialOntology49, axiom, - ( ! [X] : - (hasType(type_CreditCardAccount, X) => hasType(type_CreditAccount, X)))). - -fof(axFinancialOntology50, axiom, - ( ! [X] : - (hasType(type_CreditCard, X) => hasType(type_BankCard, X)))). - -fof(axFinancialOntology51, axiom, - ( ! [X] : - (hasType(type_CreditUnion, X) => hasType(type_FinancialOrganization, X)))). - -fof(axFinancialOntology52, axiom, - ( ! [X] : - (hasType(type_DayLoan, X) => hasType(type_Loan, X)))). - -fof(axFinancialOntology53, axiom, - ( ! [X] : - (hasType(type_DayOrder, X) => hasType(type_FinancialOrder, X)))). - -fof(axFinancialOntology54, axiom, - ( ! [X] : - (hasType(type_DebitCard, X) => hasType(type_BankCard, X)))). - -fof(axFinancialOntology55, axiom, - ( ! [X] : - (hasType(type_DefensiveStock, X) => hasType(type_Stock, X)))). - -fof(axFinancialOntology56, axiom, - ( ! [X] : - (hasType(type_DefinedContributionPlan, X) => hasType(type_PensionPlan, X)))). - -fof(axFinancialOntology57, axiom, - ( ! [X] : - (hasType(type_DepositAccount, X) => hasType(type_FinancialAccount, X)))). - -fof(axFinancialOntology58, axiom, - ( ! [X] : - (hasType(type_Deposit, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology59, axiom, - ( ! [X] : - (hasType(type_DepositingACheck, X) => hasType(type_UsingAnAccount, X)))). - -fof(axFinancialOntology60, axiom, - ( ! [X] : - (hasType(type_DirectRollover, X) => hasType(type_Rollover, X)))). - -fof(axFinancialOntology61, axiom, - ( ! [X] : - (hasType(type_DiscoverCard, X) => hasType(type_CreditCard, X)))). - -fof(axFinancialOntology62, axiom, - ( ! [X] : - (hasType(type_Dividend, X) => hasType(type_Payment, X)))). - -fof(axFinancialOntology63, axiom, - ( ! [X] : - (hasType(type_Downtick, X) => hasType(type_StockMarketTransaction, X)))). - -fof(axFinancialOntology64, axiom, - ( ! [X] : - (hasType(type_DrawingACheck, X) => hasType(type_UsingAnAccount, X)))). - -fof(axFinancialOntology65, axiom, - ( ! [X] : - (hasType(type_EconomicIndicator, X) => hasType(type_Proposition, X)))). - -fof(axFinancialOntology66, axiom, - ( ! [X] : - (hasType(type_Employment, X) => hasType(type_FinancialContract, X)))). - -fof(axFinancialOntology67, axiom, - ( ! [X] : - (hasType(type_Employment, X) => hasType(type_ServiceContract, X)))). - -fof(axFinancialOntology68, axiom, - ( ! [X] : - (hasType(type_EnteringAPin, X) => hasType(type_AuthorizationOfTransaction, X)))). - -fof(axFinancialOntology69, axiom, - ( ! [X] : - (hasType(type_EnteringAPing, X) => hasType(type_ContentDevelopment, X)))). - -fof(axFinancialOntology70, axiom, - ( ! [X] : - (hasType(type_EquityOption, X) => hasType(type_Option, X)))). - -fof(axFinancialOntology71, axiom, - ( ! [X] : - (hasType(type_EvergreenLoan, X) => hasType(type_Loan, X)))). - -fof(axFinancialOntology72, axiom, - ( ! [X] : - (hasType(type_ExpiredCard, X) => hasType(type_BankCard, X)))). - -fof(axFinancialOntology73, axiom, - ( ! [X] : - (hasType(type_ExternalTransfer, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology74, axiom, - ( ! [X] : - (hasType(type_FHALoan, X) => hasType(type_Mortgage, X)))). - -fof(axFinancialOntology75, axiom, - ( ! [X] : - (hasType(type_FOKOrder, X) => hasType(type_FinancialOrder, X)))). - -fof(axFinancialOntology76, axiom, - ( ! [X] : - (hasType(type_FaxMachine, X) => hasType(type_Device, X)))). - -fof(axFinancialOntology77, axiom, - ( ! [X] : - (hasType(type_Fax, X) => hasType(type_Communication, X)))). - -fof(axFinancialOntology78, axiom, - ( ! [X] : - (hasType(type_FederalHousingAdministration, X) => hasType(type_Government, X)))). - -fof(axFinancialOntology79, axiom, - ( ! [X] : - (hasType(type_FillingAnOrder, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology80, axiom, - ( ! [X] : - (hasType(type_FinancialDefault, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology81, axiom, - ( ! [X] : - (hasType(type_FinancialOrder, X) => hasType(type_ServiceContract, X)))). - -fof(axFinancialOntology82, axiom, - ( ! [X] : - (hasType(type_FinancialOrganization, X) => hasType(type_Organization, X)))). - -fof(axFinancialOntology83, axiom, - ( ! [X] : - (hasType(type_FinancialRating, X) => hasType(type_RelationalAttribute, X)))). - -fof(axFinancialOntology84, axiom, - ( ! [X] : - (hasType(type_FinancialRequest, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology85, axiom, - ( ! [X] : - (hasType(type_FinancialResponse, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology86, axiom, - ( ! [X] : - (hasType(type_FixedAnnuity, X) => hasType(type_Annuity, X)))). - -fof(axFinancialOntology87, axiom, - ( ! [X] : - (hasType(type_FixedRateAccount, X) => hasType(type_InterestBearingAccount, X)))). - -fof(axFinancialOntology88, axiom, - ( ! [X] : - (hasType(type_GTCOrder, X) => hasType(type_FinancialOrder, X)))). - -fof(axFinancialOntology89, axiom, - ( ! [X] : - (hasType(type_GovernmentBond, X) => hasType(type_Bond, X)))). - -fof(axFinancialOntology90, axiom, - ( ! [X] : - (hasType(type_GrowthStock, X) => hasType(type_Stock, X)))). - -fof(axFinancialOntology91, axiom, - ( ! [X] : - (hasType(type_IOCOrder, X) => hasType(type_FinancialOrder, X)))). - -fof(axFinancialOntology92, axiom, - ( ! [X] : - (hasType(type_IndexBond, X) => hasType(type_Bond, X)))). - -fof(axFinancialOntology93, axiom, - ( ! [X] : - (hasType(type_IndexOption, X) => hasType(type_Option, X)))). - -fof(axFinancialOntology94, axiom, - ( ! [X] : - (hasType(type_Index, X) => hasType(type_PerformanceMeasure, X)))). - -fof(axFinancialOntology95, axiom, - ( ! [X] : - (hasType(type_IndexedLoan, X) => hasType(type_Loan, X)))). - -fof(axFinancialOntology96, axiom, - ( ! [X] : - (hasType(type_IndividualRetirementAccount, X) => hasType(type_PensionPlan, X)))). - -fof(axFinancialOntology97, axiom, - ( ! [X] : - (hasType(type_IndividualRetirementAccount, X) => hasType(type_PersonalAccount, X)))). - -fof(axFinancialOntology98, axiom, - ( ! [X] : - (hasType(type_IndividualRetirementAccount, X) => hasType(type_SavingsAccount, X)))). - -fof(axFinancialOntology99, axiom, - ( ! [X] : - (hasType(type_InflationIndex, X) => hasType(type_Index, X)))). - -fof(axFinancialOntology100, axiom, - ( ! [X] : - (hasType(type_Inflation, X) => hasType(type_EconomicIndicator, X)))). - -fof(axFinancialOntology101, axiom, - ( ! [X] : - (hasType(type_InterestBearingAccount, X) => hasType(type_FinancialAccount, X)))). - -fof(axFinancialOntology102, axiom, - ( ! [X] : - (hasType(type_InterestOnlyLoan, X) => hasType(type_Loan, X)))). - -fof(axFinancialOntology103, axiom, - ( ! [X] : - (hasType(type_InterestRate, X) => hasType(type_ConstantQuantity, X)))). - -fof(axFinancialOntology104, axiom, - ( ! [X] : - (hasType(type_InterestRate, X) => hasType(type_EconomicIndicator, X)))). - -fof(axFinancialOntology105, axiom, - ( ! [X] : - (hasType(type_Interest, X) => hasType(type_CurrencyMeasure, X)))). - -fof(axFinancialOntology106, axiom, - ( ! [X] : - (hasType(type_InternalTransfer, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology107, axiom, - ( ! [X] : - (hasType(type_Investing, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology108, axiom, - ( ! [X] : - (hasType(type_InvestmentAccount, X) => hasType(type_DepositAccount, X)))). - -fof(axFinancialOntology109, axiom, - ( ! [X] : - (hasType(type_InvestmentAttribute, X) => hasType(type_RelationalAttribute, X)))). - -fof(axFinancialOntology110, axiom, - ( ! [X] : - (hasType(type_Investor, X) => hasType(type_SocialRole, X)))). - -fof(axFinancialOntology111, axiom, - ( ! [X] : - (hasType(type_JointAccount, X) => hasType(type_PersonalAccount, X)))). - -fof(axFinancialOntology112, axiom, - ( ! [X] : - (hasType(type_JunkBond, X) => hasType(type_CorporateBond, X)))). - -fof(axFinancialOntology113, axiom, - ( ! [X] : - (hasType(type_LEAPS, X) => hasType(type_Option, X)))). - -fof(axFinancialOntology114, axiom, - ( ! [X] : - (hasType(type_LiabilityAccount, X) => hasType(type_FinancialAccount, X)))). - -fof(axFinancialOntology115, axiom, - ( ! [X] : - (hasType(type_Liability, X) => hasType(type_FinancialContract, X)))). - -fof(axFinancialOntology116, axiom, - ( ! [X] : - (hasType(type_LimitOrder, X) => hasType(type_FinancialOrder, X)))). - -fof(axFinancialOntology117, axiom, - ( ! [X] : - (hasType(type_Liquidation, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology118, axiom, - ( ! [X] : - (hasType(type_LiquidityAttribute, X) => hasType(type_RelationalAttribute, X)))). - -fof(axFinancialOntology119, axiom, - ( ! [X] : - (hasType(type_LoanCommitment, X) => hasType(type_Contract, X)))). - -fof(axFinancialOntology120, axiom, - ( ! [X] : - (hasType(type_Loan, X) => hasType(type_LiabilityAccount, X)))). - -fof(axFinancialOntology121, axiom, - ( ! [X] : - (hasType(type_LongStraddle, X) => hasType(type_Straddle, X)))). - -fof(axFinancialOntology122, axiom, - ( ! [X] : - (hasType(type_MNHOrder, X) => hasType(type_FinancialOrder, X)))). - -fof(axFinancialOntology123, axiom, - ( ! [X] : - (hasType(type_MOCOrder, X) => hasType(type_FinancialOrder, X)))). - -fof(axFinancialOntology124, axiom, - ( ! [X] : - (hasType(type_MarketOrder, X) => hasType(type_FinancialOrder, X)))). - -fof(axFinancialOntology125, axiom, - ( ! [X] : - (hasType(type_MarketShareWeightedIndex, X) => hasType(type_Index, X)))). - -fof(axFinancialOntology126, axiom, - ( ! [X] : - (hasType(type_MarketValueWeightedIndex, X) => hasType(type_Index, X)))). - -fof(axFinancialOntology127, axiom, - ( ! [X] : - (hasType(type_MasterCard, X) => hasType(type_CreditCard, X)))). - -fof(axFinancialOntology128, axiom, - ( ! [X] : - (hasType(type_MoneyMarket, X) => hasType(type_SavingsAccount, X)))). - -fof(axFinancialOntology129, axiom, - ( ! [X] : - (hasType(type_MortgageBond, X) => hasType(type_CorporateBond, X)))). - -fof(axFinancialOntology130, axiom, - ( ! [X] : - (hasType(type_Mortgage, X) => hasType(type_SecuredLoan, X)))). - -fof(axFinancialOntology131, axiom, - ( ! [X] : - (hasType(type_MunicipalBond, X) => hasType(type_Bond, X)))). - -fof(axFinancialOntology132, axiom, - ( ! [X] : - (hasType(type_MunicipalBond, X) => hasType(type_TaxFreeInvestment, X)))). - -fof(axFinancialOntology133, axiom, - ( ! [X] : - (hasType(type_MutualFundAccount, X) => hasType(type_InvestmentAccount, X)))). - -fof(axFinancialOntology134, axiom, - ( ! [X] : - (hasType(type_NASDAQCompositeIndex, X) => hasType(type_Index, X)))). - -fof(axFinancialOntology135, axiom, - ( ! [X] : - (hasType(type_NHOrder, X) => hasType(type_FinancialOrder, X)))). - -fof(axFinancialOntology136, axiom, - ( ! [X] : - (hasType(type_NikkeiIndex, X) => hasType(type_Index, X)))). - -fof(axFinancialOntology137, axiom, - ( ! [X] : - (hasType(type_Note, X) => hasType(type_FinancialInstrument, X)))). - -fof(axFinancialOntology138, axiom, - ( ! [X] : - (hasType(type_OCOOrder, X) => hasType(type_FinancialOrder, X)))). - -fof(axFinancialOntology139, axiom, - ( ! [X] : - (hasType(type_OpeningAnAccount, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology140, axiom, - ( ! [X] : - (hasType(type_OptionStrategy, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology141, axiom, - ( ! [X] : - (hasType(type_Option, X) => hasType(type_FinancialContract, X)))). - -fof(axFinancialOntology142, axiom, - ( ! [X] : - (hasType(type_PayCheck, X) => hasType(type_Check, X)))). - -fof(axFinancialOntology143, axiom, - ( ! [X] : - (hasType(type_Payment, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology144, axiom, - ( ! [X] : - (hasType(type_Penalty, X) => hasType(type_ChargingAFee, X)))). - -fof(axFinancialOntology145, axiom, - ( ! [X] : - (hasType(type_PennyStock, X) => hasType(type_Stock, X)))). - -fof(axFinancialOntology146, axiom, - ( ! [X] : - (hasType(type_PerformanceBond, X) => hasType(type_Bond, X)))). - -fof(axFinancialOntology147, axiom, - ( ! [X] : - (hasType(type_PerformanceMeasure, X) => hasType(type_PhysicalQuantity, X)))). - -fof(axFinancialOntology148, axiom, - ( ! [X] : - (hasType(type_PersonalAccount, X) => hasType(type_FinancialAccount, X)))). - -fof(axFinancialOntology149, axiom, - ( ! [X] : - (hasType(type_PiggybankLoan, X) => hasType(type_Loan, X)))). - -fof(axFinancialOntology150, axiom, - ( ! [X] : - (hasType(type_PlacingAnOrder, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology151, axiom, - ( ! [X] : - (hasType(type_PreferredStock, X) => hasType(type_Stock, X)))). - -fof(axFinancialOntology152, axiom, - ( ! [X] : - (hasType(type_Prepayment, X) => hasType(type_Payment, X)))). - -fof(axFinancialOntology153, axiom, - ( ! [X] : - (hasType(type_PriceWeightedIndex, X) => hasType(type_Index, X)))). - -fof(axFinancialOntology154, axiom, - ( ! [X] : - (hasType(type_ProcessingACheck, X) => hasType(type_AuthorizationOfTransaction, X)))). - -fof(axFinancialOntology155, axiom, - ( ! [X] : - (hasType(type_ProcessingACheck, X) => hasType(type_ControllingAnAccount, X)))). - -fof(axFinancialOntology156, axiom, - ( ! [X] : - (hasType(type_ProducerPriceIndex, X) => hasType(type_InflationIndex, X)))). - -fof(axFinancialOntology157, axiom, - ( ! [X] : - (hasType(type_PutOption, X) => hasType(type_Option, X)))). - -fof(axFinancialOntology158, axiom, - ( ! [X] : - (hasType(type_RealEstate, X) => hasType(type_CorpuscularObject, X)))). - -fof(axFinancialOntology159, axiom, - ( ! [X] : - (hasType(type_RealEstate, X) => hasType(type_FinancialAsset, X)))). - -fof(axFinancialOntology160, axiom, - ( ! [X] : - (hasType(type_RealEstate, X) => hasType(type_Region, X)))). - -fof(axFinancialOntology161, axiom, - ( ! [X] : - (hasType(type_Refinancing, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology162, axiom, - ( ! [X] : - (hasType(type_RegisteredBond, X) => hasType(type_Bond, X)))). - -fof(axFinancialOntology163, axiom, - ( ! [X] : - (hasType(type_RestrictedStock, X) => hasType(type_Stock, X)))). - -fof(axFinancialOntology164, axiom, - ( ! [X] : - (hasType(type_RiskAttribute, X) => hasType(type_RelationalAttribute, X)))). - -fof(axFinancialOntology165, axiom, - ( ! [X] : - (hasType(type_Rollover, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology166, axiom, - ( ! [X] : - (hasType(type_RothIRAAccount, X) => hasType(type_IndividualRetirementAccount, X)))). - -fof(axFinancialOntology167, axiom, - ( ! [X] : - (hasType(type_SARSEPPlan, X) => hasType(type_DefinedContributionPlan, X)))). - -fof(axFinancialOntology168, axiom, - ( ! [X] : - (hasType(type_SavingsAccount, X) => hasType(type_DepositAccount, X)))). - -fof(axFinancialOntology169, axiom, - ( ! [X] : - (hasType(type_SavingsAccount, X) => hasType(type_InterestBearingAccount, X)))). - -fof(axFinancialOntology170, axiom, - ( ! [X] : - (hasType(type_SavingsAndLoans, X) => hasType(type_FinancialOrganization, X)))). - -fof(axFinancialOntology171, axiom, - ( ! [X] : - (hasType(type_SavingsPlan_401K, X) => hasType(type_DefinedContributionPlan, X)))). - -fof(axFinancialOntology172, axiom, - ( ! [X] : - (hasType(type_SavingsPlan_403B, X) => hasType(type_DefinedContributionPlan, X)))). - -fof(axFinancialOntology173, axiom, - ( ! [X] : - (hasType(type_SavingsPlan_408K, X) => hasType(type_PensionPlan, X)))). - -fof(axFinancialOntology174, axiom, - ( ! [X] : - (hasType(type_SecuredBond, X) => hasType(type_Bond, X)))). - -fof(axFinancialOntology175, axiom, - ( ! [X] : - (hasType(type_SecuredLoan, X) => hasType(type_Loan, X)))). - -fof(axFinancialOntology176, axiom, - ( ! [X] : - (hasType(type_Security, X) => hasType(type_FinancialInstrument, X)))). - -fof(axFinancialOntology177, axiom, - ( ! [X] : - (hasType(type_ServiceAttribute, X) => hasType(type_RelationalAttribute, X)))). - -fof(axFinancialOntology178, axiom, - ( ! [X] : - (hasType(type_Share, X) => hasType(type_CurrencyMeasure, X)))). - -fof(axFinancialOntology179, axiom, - ( ! [X] : - (hasType(type_Share, X) => hasType(type_Security, X)))). - -fof(axFinancialOntology180, axiom, - ( ! [X] : - (hasType(type_ShortSale, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology181, axiom, - ( ! [X] : - (hasType(type_SingleOption, X) => hasType(type_OptionStrategy, X)))). - -fof(axFinancialOntology182, axiom, - ( ! [X] : - (hasType(type_SinglePaymentLoan, X) => hasType(type_Loan, X)))). - -fof(axFinancialOntology183, axiom, - ( ! [X] : - (hasType(type_SpreadOption, X) => hasType(type_OptionStrategy, X)))). - -fof(axFinancialOntology184, axiom, - ( ! [X] : - (hasType(type_StatusAttribute, X) => hasType(type_RelationalAttribute, X)))). - -fof(axFinancialOntology185, axiom, - ( ! [X] : - (hasType(type_StockIndex, X) => hasType(type_Index, X)))). - -fof(axFinancialOntology186, axiom, - ( ! [X] : - (hasType(type_StockMarketTransaction, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology187, axiom, - ( ! [X] : - (hasType(type_StockMarket, X) => hasType(type_Organization, X)))). - -fof(axFinancialOntology188, axiom, - ( ! [X] : - (hasType(type_StockOption, X) => hasType(type_Option, X)))). - -fof(axFinancialOntology189, axiom, - ( ! [X] : - (hasType(type_StockSplit, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology190, axiom, - ( ! [X] : - (hasType(type_StopOrder, X) => hasType(type_FinancialOrder, X)))). - -fof(axFinancialOntology191, axiom, - ( ! [X] : - (hasType(type_Straddle, X) => hasType(type_OptionStrategy, X)))). - -fof(axFinancialOntology192, axiom, - ( ! [X] : - (hasType(type_TaxFreeInvestment, X) => hasType(type_Investment, X)))). - -fof(axFinancialOntology193, axiom, - ( ! [X] : - (hasType(type_TaxableInvestment, X) => hasType(type_Investment, X)))). - -fof(axFinancialOntology194, axiom, - ( ! [X] : - (hasType(type_Title, X) => hasType(type_FinancialInstrument, X)))). - -fof(axFinancialOntology195, axiom, - ( ! [X] : - (hasType(type_TraditionalSavingsAccount, X) => hasType(type_SavingsAccount, X)))). - -fof(axFinancialOntology196, axiom, - ( ! [X] : - (hasType(type_TreasuryBill, X) => hasType(type_SavingsAccount, X)))). - -fof(axFinancialOntology197, axiom, - ( ! [X] : - (hasType(type_TreasuryBond, X) => hasType(type_Bond, X)))). - -fof(axFinancialOntology198, axiom, - ( ! [X] : - (hasType(type_UnsecuredLoan, X) => hasType(type_Loan, X)))). - -fof(axFinancialOntology199, axiom, - ( ! [X] : - (hasType(type_Update, X) => hasType(type_ContentDevelopment, X)))). - -fof(axFinancialOntology200, axiom, - ( ! [X] : - (hasType(type_Update, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology201, axiom, - ( ! [X] : - (hasType(type_Uptick, X) => hasType(type_StockMarketTransaction, X)))). - -fof(axFinancialOntology202, axiom, - ( ! [X] : - (hasType(type_UsingAnAccount, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology203, axiom, - ( ! [X] : - (hasType(type_ValidCard, X) => hasType(type_BankCard, X)))). - -fof(axFinancialOntology204, axiom, - ( ! [X] : - (hasType(type_ValueStock, X) => hasType(type_Stock, X)))). - -fof(axFinancialOntology205, axiom, - ( ! [X] : - (hasType(type_VariableAnnuity, X) => hasType(type_Annuity, X)))). - -fof(axFinancialOntology206, axiom, - ( ! [X] : - (hasType(type_VerifyingCardCode, X) => hasType(type_AuthorizationOfTransaction, X)))). - -fof(axFinancialOntology207, axiom, - ( ! [X] : - (hasType(type_VisaCard, X) => hasType(type_CreditCard, X)))). - -fof(axFinancialOntology208, axiom, - ( ! [X] : - (hasType(type_Withdrawal, X) => hasType(type_FinancialTransaction, X)))). - -fof(axFinancialOntology209, axiom, - ( ! [X] : - (hasType(type_YieldAttribute, X) => hasType(type_RelationalAttribute, X)))). - -fof(axFinancialOntology210, axiom, - ( ! [X] : - (hasType(type_ZeroCouponBond, X) => hasType(type_Bond, X)))). - -fof(axFinancialOntology211, axiom, - ( ! [X] : - (hasType(type_ServiceContract, X) => hasType(type_Contract, X)))). - -fof(axFinancialOntology212, axiom, - (hasType(type_FinancialRating, inst_AAA_Rating))). - -fof(axFinancialOntology213, axiom, - (hasType(type_StatusAttribute, inst_Active))). - -fof(axFinancialOntology214, axiom, - (hasType(type_Option, inst_AmericanStyleOption))). - -fof(axFinancialOntology215, axiom, - (hasType(type_FinancialRating, inst_B_Rating))). - -fof(axFinancialOntology216, axiom, - (hasType(type_InvestmentAccount, inst_BrokerageAccount))). - -fof(axFinancialOntology217, axiom, - (hasType(type_FinancialRating, inst_C_Rating))). - -fof(axFinancialOntology218, axiom, - (hasType(type_ServiceAttribute, inst_ClosedService))). - -fof(axFinancialOntology219, axiom, - (hasType(type_FinancialRating, inst_D_Rating))). - -fof(axFinancialOntology220, axiom, - (hasType(type_Option, inst_EuropeanStyleOption))). - -fof(axFinancialOntology221, axiom, - (hasType(type_FinancialTransaction, inst_ExerciseAnOption))). - -fof(axFinancialOntology222, axiom, - (hasType(type_LiquidityAttribute, inst_HighLiquidity))). - -fof(axFinancialOntology223, axiom, - (hasType(type_RiskAttribute, inst_HighRisk))). - -fof(axFinancialOntology224, axiom, - (hasType(type_YieldAttribute, inst_HighYield))). - -fof(axFinancialOntology225, axiom, - (hasType(type_StatusAttribute, inst_Locked))). - -fof(axFinancialOntology226, axiom, - (hasType(type_LiquidityAttribute, inst_LowLiquidity))). - -fof(axFinancialOntology227, axiom, - (hasType(type_RiskAttribute, inst_LowRisk))). - -fof(axFinancialOntology228, axiom, - (hasType(type_YieldAttribute, inst_LowYield))). - -fof(axFinancialOntology229, axiom, - (hasType(type_Position, inst_Manager))). - -fof(axFinancialOntology230, axiom, - (hasType(type_Organization, inst_NASDAQ))). - -fof(axFinancialOntology231, axiom, - (hasType(type_StatusAttribute, inst_New))). - -fof(axFinancialOntology232, axiom, - (hasType(type_ServiceAttribute, inst_OpenService))). - -fof(axFinancialOntology233, axiom, - (hasType(type_StatusAttribute, inst_Pending))). - -fof(axFinancialOntology234, axiom, - (hasType(type_FinancialInstrument, inst_Receipt))). - -- cgit v1.2.3