:-multifile(isa/2). %isa (subtype,suptype). %dobavka isa(entity,univ). isa(financial_instrument,entity). isa(certificate,financial_instrument). isa(certificate_of_deposit,certificate). isa(negotiable_certificate_of_deposit,certificate_of_deposit). isa(bottom,negotiable_certificate_of_deposit). isa(commercial_paper,financial_instrument). isa(bottom,commercial_paper). isa(banker_s_acceptance,financial_instrument). isa(bottom,banker_s_acceptance). isa(contract,financial_instrument). isa(option_contract,contract). isa(stock_option,option_contract). isa(bottom,stock_option). isa(euporean_standart_option,option_contract). %ESO isa(bottom,euporean_standart_option). isa(index_option,option_contract). isa(bottom,index_option). isa(american_standart_option,option_contract). %ASO isa(bottom,american_standart_option). isa(call_option,option_contract). isa(bottom,call_option). isa(put_option,option_contract). isa(bottom,put_option). isa(futures_contract,contract). isa(agricultural_futures_contract,futures_contract). isa(bottom,agricultural_futures_contract). isa(metallurgical_futures_contract,futures_contract). isa(bottom,metallurgical_futures_contract). isa(foward_contract,contract). isa(bottom,foward_contract). isa(debt_instrument,financial_instrument). isa(loan,debt_instrument). isa(bond,debt_instrument). isa(multiplier_bond,bond). isa(bottom,multiplier_bond). isa(compound_interest_bond,bond). isa(bottom,compound_interest_bond). isa(zero_coupon_bond,bond). isa(bottom,zero_coupon_bond). isa(convertible_bond,bond). isa(bottom,convertible_bond). isa(municipal_bond,bond). isa(housing_bond,municipal_bond). isa(bottom,housing_bond). isa(municipal_note,municipal_bond). isa(tax_anticipation_note,municipal_note). isa(bottom,tax_anticipation_note). isa(bond_anticipation_note,municipal_note). isa(bottom,bond_anticipation_note). isa(revenue_anticipation_note,municipal_note). isa(bottom,revenue_anticipation_note). isa(moral_obligation_bond,municipal_bond). isa(bottom,moral_obligation_bond). isa(limited_and_special_tax_bond,municipal_bond). isa(bottom,limited_and_special_tax_bond). isa(insured_municipal_bond,municipal_bond). isa(bottom,insured_municipal_bond). isa(revenue_bond,municipal_bond). isa(industrial_revenue_bond,revenue_bond). isa(bottom,industrial_revenue_bond). isa(general_obligation_bond,municipal_bond). isa(double_barreled_bond,municipal_bond). isa(non_tax_exempt_bond,bond). isa(tax_exempt_bond,bond). isa(revenue_bond,tax_exempt_bond). isa(general_obligation_bond,tax_exempt_bond). isa(bottom,general_obligation_bond). isa(double_barreled_bond,tax_exempt_bond). isa(bottom,double_barreled_bond). isa(non_callable_bond,bond). isa(bottom,non_callable_bond). isa(callable_bond,bond). isa(bottom,callable_bond). isa(put_bond,bond). isa(bottom,put_bond). isa(coupon_bond,bond). isa(bearer_bond,coupon_bond). isa(bottom,bearer_bond). isa(partially_registered_bond,coupon_bond). isa(income_bond,bond). isa(registered_bond,bond). isa(partially_registered_bond,registered_bond). isa(bottom,partially_registered_bond). isa(subordinated_bond,bond). isa(corporate_bond,bond). isa(secured_bond,corporate_bond). isa(bottom,secured_bond). isa(unsecured_bond,corporate_bond). isa(bottom,unsecured_bond). isa(samuraibond,corporate_bond). isa(bottom,samuraibond). isa(junk_bond,corporate_bond). isa(bottom,junk_bond). isa(gilt_edged_bond,corporate_bond). isa(bottom,gilt_edged_bond). isa(bulldog_bond,corporate_bond). isa(bottom,bulldog_bond). isa(serial_bond,bond). isa(equipment_trust_certificate,serial_bond). %ETC isa(equipment_trust_certificate,senior_bond). isa(bottom,equipment_trust_certificate). isa(senior_bond,bond). isa(mortgage_bond,senior_bond). isa(open_end_mortgage_bond,mortgage_bond). isa(bottom,open_end_mortgage_bond). isa(closed_end_mortgage_bond,mortgage_bond). isa(bottom,closed_end_mortgage_bond). isa(agency_bond,bond). isa(federal_agency_bond,agency_bond). isa(government_bond,bond). isa(federal_agency_bond,government_bond). isa(bottom,federal_agency_bond). isa(gilt,government_bond). isa(bottom,gilt). isa(u_s_treasuries,government_bond). isa(u_s_treasury_bill,u_s_treasuries). isa(bottom,u_s_treasury_bill). isa(u_s_treasury_note,u_s_treasuries). isa(bottom,u_s_treasury_note). isa(u_s_treasury_bond,u_s_treasuries). isa(bottom,u_s_treasury_bond). isa(savings_bond,government_bond). isa(bottom,savings_bond). isa(eurobond,government_bond). isa(bottom,eurobond). %dobavka isa(money,financial_instrument). isa(cash,money). isa(currency,money). isa(bottom,cash). isa(bottom,currency). isa(equity_instrument,financial_instrument). isa(stock,equity_instrument). %krai na dobavkata isa(security,financial_instrument). isa(bond,security). isa(fixed_interest_security,security). isa(bottom,fixed_interest_security). isa(floating_rate_security,security). isa(bottom,floating_rate_security). isa(hybrid_security,security). isa(bottom,hybrid_security). isa(asset_backed_security,security). isa(bottom,asset_backed_security). isa(mortgage_backed_security,security). isa(bottom,mortgage_backed_security). isa(stock,security). isa(growth_stock,stock). isa(bottom,growth_stock). isa(speculative_stock,stock). isa(bottom,speculative_stock). isa(defnsive_stock,stock). isa(bottom,defnsive_stock). isa(cyclical_stock,stock). isa(bottom,cyclical_stock). isa(common_stock,stock). isa(bottom,common_stock). isa(preferred_stock,stock). isa(cummulative_preferred_stock,preferred_stock). isa(bottom,cummulative_preferred_stock). isa(non_cummulative_preferred_stock,preferred_stock). isa(bottom,non_cummulative_preferred_stock). isa(unlisted_stock,stock). isa(bottom,unlisted_stock). isa(listed_stock,stock). isa(bottom,listed_stock). isa(blue_chip_stock,stock). isa(bottom,blue_chip_stock). isa(organization,entity). isa(option_clearing_corporation,organization). %OCC isa(bottom,option_clearing_corporation). isa(company,organization). isa(bottom,company). isa(corporation,organization). isa(bottom,corporation). isa(self_regulatory_organization,organization). isa(forward_market,self_regulatory_organization). isa(bottom,forward_market). isa(stock_market,self_regulatory_organization). isa(security_and_exchannge_comission,organization). %SEC isa(bottom,security_and_exchannge_comission). isa(market,organization). isa(financial_market,market). isa(stock_market,financial_market). isa(stock_exchange,stock_market). isa(nyse,stock_exchange). isa(bottom,nyse). isa(nasd,stock_exchange). isa(bottom,nasd). isa(amex,stock_exchange). isa(bottom,amex). isa(secondary_market,financial_market). isa(stock_exchange,secondary_market). isa(otc_market,secondary_market). isa(bottom,otc_market). isa(primary_market,financial_market). isa(bottom,primary_market). isa(negotiated_market,financial_market). isa(bottom,negotiated_market). isa(capital_market,financial_market). isa(bottom,capital_market). isa(money_market,financial_market). isa(bottom,money_market). isa(open_market,financial_market). isa(bottom,open_market). isa(spot_market,financial_market). isa(bottom,spot_market). isa(bond_market,financial_market). isa(bottom,bond_market). isa(usa_federal_reserve,organization). isa(bottom,usa_federal_reserve). isa(commodity_futures_trading_commission,organization). %CFTC isa(bottom,commodity_futures_trading_commission). isa(government,organization). isa(municipal_government,government). isa(state_government,municipal_government). isa(bottom,state_government). isa(local_government,municipal_government). isa(bottom,local_government). isa(national_government,government). isa(bottom,national_government). isa(brokerage_firm,organization). isa(bottom,brokerage_firm). isa(government_agency,organization). isa(bottom,government_agency). isa(bank,organization). isa(investment_bank,bank). isa(bottom,investment_bank).