FinancialTransaction(financial transaction) | ![]() | C.O.D., COD, NAFTA, North_American_Free_Trade_Agreement, advance, advisory_service, amortise, amortize, arbitrage, arms_deal, at_a_loss, attestation_report, attestation_service, bank, banking, barratry, bear, bear_hug, bear_market, best, black_market, bond, bond-trading_activity, bond_trading, bountied, break, break_even, bribe, bribery, broker, buckshee, bull_market, business, business_activity, business_deal, buy, buy_off, buyer's_market, buyers'_market, capital_account, carriage_trade, carry, cash, cash_in, cash_on_delivery, cashed, charter, chartered, check_out, clean_up... |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3095-3096 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11669-11671 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11667-11667 | Financial transaction is a subclass of transaction |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19811-19811 | The values returned by occupation are subclasses of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 507-507 | Automatic transaction is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11717-11717 | Betting is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11723-11723 | Buying is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 388-388 | Closing an account is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11705-11705 | Commercial service is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 353-353 | Controlling an account is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 426-426 | Deposit is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2406-2406 | Exporting is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 483-483 | Investing is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 273-273 | Muakhar sadaq is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 293-293 | Muqaddam sadaq is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 290-290 | Opening an account is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 403-403 | Payment is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21877-21877 | Renting is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11734-11734 | Selling is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2118-2118 | Collection of transactions is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 308-308 | Using an account is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1898-1898 | Vending is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 455-455 | Withdrawal is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19821-19821 | Working is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1140-1140 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1497-1497 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1893-1893 | The number 1 argument of broker is an instance of financial transaction |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1913-1913 | The number 1 argument of eCommerceSite is an instance of financial transaction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6864-6864 | The number 1 argument of loss is an instance of financial transaction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7278-7278 | The number 1 argument of profit is an instance of financial transaction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11683-11683 | The number 1 argument of transaction amount is an instance of financial transaction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19819-19819 | The number 2 argument of occupation is a subclass of financial transaction |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |