% :- use_module(library(pfc)). isa_rel(at,relation). isa_rel(above,relation). isa_rel(ontable,relation). isa_rel(top,relation). isa_rel(emptyhand,relation). %Type and Relation Hierarchy isa_cg(entity,univ). isa_cg(block,entity). isa_cg(hand,entity). isa_cg(location,entity). isa_cg(pickup,act). isa_cg(putdown,act). isa_cg(movehand,act). isa_cg(moveblock,act). %isa_cg (subtype,suptype). %dobavka % isa_cg(entity,univ). isa_cg(financial_instrument,entity). isa_cg(certificate,financial_instrument). isa_cg(certificate_of_deposit,certificate). isa_cg(negotiable_certificate_of_deposit,certificate_of_deposit). isa_cg(commercial_paper,financial_instrument). isa_cg(bankers_acceptance,financial_instrument). isa_cg(contract,financial_instrument). isa_cg(option_contract,contract). isa_cg(stock_option,option_contract). isa_cg(euporean_standart_option,option_contract). /*ESO*/ isa_cg(index_option,option_contract). isa_cg(american_standart_option,option_contract). /*ASO*/ isa_cg(call_option,option_contract). isa_cg(put_option,option_contract). isa_cg(futures_contract,contract). isa_cg(agricultural_futures_contract,futures_contract). isa_cg(metallurgical_futures_contract,futures_contract). isa_cg(foward_contract,contract). isa_cg(debt_instrument,financial_instrument). isa_cg(loan,debt_instrument). isa_cg(bond,debt_instrument). isa_cg(multiplier_bond,bond). isa_cg(compound_interest_bond,bond). isa_cg(zero_coupon_bond,bond). isa_cg(convertible_bond,bond). isa_cg(municipal_bond,bond). isa_cg(housing_bond,municipal_bond). isa_cg(municipal_note,municipal_bond). isa_cg(tax_anticipation_note,municipal_note). isa_cg(bond_anticipation_note,municipal_note). isa_cg(revenue_anticipation_note,municipal_note). isa_cg(moral_obligation_bond,municipal_bond). isa_cg(limited_and_special_tax_bond,municipal_bond). isa_cg(insured_municipal_bond,municipal_bond). isa_cg(revenue_bond,municipal_bond). isa_cg(industrial_revenue_bond,revenue_bond). isa_cg(general_obligation_bond,municipal_bond). isa_cg(double_barreled_bond,municipal_bond). isa_cg(non_tax_exempt_bond,bond). isa_cg(tax_exempt_bond,bond). isa_cg(revenue_bond,tax_exempt_bond). isa_cg(general_obligation_bond,tax_exempt_bond). isa_cg(double_barreled_bond,tax_exempt_bond). isa_cg(non_callable_bond,bond). isa_cg(callable_bond,bond). isa_cg(put_bond,bond). isa_cg(coupon_bond,bond). isa_cg(bearer_bond,coupon_bond). isa_cg(partially_registered_bond,coupon_bond). isa_cg(income_bond,bond). isa_cg(registered_bond,bond). isa_cg(partially_registered_bond,registered_bond). isa_cg(subordinated_bond,bond). isa_cg(corporate_bond,bond). isa_cg(secured_bond,corporate_bond). isa_cg(unsecured_bond,corporate_bond). isa_cg(samuraibond,corporate_bond). isa_cg(junk_bond,corporate_bond). isa_cg(gilt_edged_bond,corporate_bond). isa_cg(bulldog_bond,corporate_bond). isa_cg(serial_bond,bond). isa_cg(equipment_trust_certifcate,serial_bond). /*ETC*/ isa_cg(equipment_trust_certifcate,senior_bond). isa_cg(senior_bond,bond). isa_cg(mortgage_bond,senior_bond). isa_cg(open_end_mortgage_bond,mortgage_bond). isa_cg(closed_end_mortgage_bond,mortgage_bond). isa_cg(agency_bond,bond). isa_cg(federal_agency_bond,agency_bond). isa_cg(government_bond,bond). isa_cg(federal_agency_bond,government_bond). isa_cg(gilt,government_bond). isa_cg(u_s_treasuries,government_bond). isa_cg(u_s_treasury_bill,u_s_treasuries). isa_cg(u_s_treasury_note,u_s_treasuries). isa_cg(u_s_treasury_bond,u_s_treasuries). isa_cg(savings_bond,government_bond). isa_cg(eurobond,government_bond). isa_cg(security,financial_instrument). isa_cg(bond,security). isa_cg(fixed_interest_security,security). isa_cg(floating_rate_security,security). isa_cg(hybrid_security,security). isa_cg(asset_backed_security,security). isa_cg(mortgage_backed_security,security). isa_cg(stock,security). isa_cg(growth_stock,stock). isa_cg(speculative_stock,stock). isa_cg(defnsive_stock,stock). isa_cg(cyclical_stock,stock). isa_cg(common_stock,stock). isa_cg(preferred_stock,stock). isa_cg(cummulative_preferred_stock,preferred_stock). isa_cg(non_cummulative_preferred_stock,preferred_stock). isa_cg(unlisted_stock,stock). isa_cg(listed_stock,stock). isa_cg(blue_chip_stock,stock). isa_cg(organization,entity). isa_cg(option_clearing_corporation,organization). /*OCC*/ isa_cg(company,organization). isa_cg(corporation,organization). isa_cg(self_regulatory_organization,organization). isa_cg(forward_market,self_regulatory_organization). isa_cg(stock_market,self_regulatory_organization). isa_cg(security_and_exchannge_comission,organization). /*SEC*/ isa_cg(market,organization). isa_cg(financial_market,market). isa_cg(stock_market,financial_market). isa_cg(stock_exchange,stock_market). isa_cg(nyse,stock_exchange). isa_cg(nasd,stock_exchange). isa_cg(amex,stock_exchange). isa_cg(secondary_market,financial_market). isa_cg(stock_exchange,secondary_market). isa_cg(otc_market,secondary_market). isa_cg(primary_market,financial_market). isa_cg(negotiated_market,financial_market). isa_cg(capital_market,financial_market). isa_cg(money_market,financial_market). isa_cg(open_market,financial_market). isa_cg(spot_market,financial_market). isa_cg(bond_market,financial_market). isa_cg(usa_federal_reserve,organization). isa_cg(commodity_futures_trading_commission,organization). /*CFTC*/ isa_cg(government,organization). isa_cg(municipal_government,government). isa_cg(state_government,municipal_government). isa_cg(local_government,municipal_government). isa_cg(national_government,government). isa_cg(brokerage_firm,organization). isa_cg(government_agency,organization). isa_cg(bank,organization). isa_cg(investment_bank,bank).