| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11834-11834 | Financial transaction is a subclass of transaction |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1909-1909 | Collection of transactions is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1943-1943 | Vending is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20499-20499 | Working is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22421-22421 | Renting is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11872-11872 | Commercial service is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11884-11884 | Betting is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11890-11890 | Buying is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11901-11901 | Selling 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 308-308 | Using an account 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 388-388 | Closing 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. | FinancialOntology.kif 426-426 | Deposit 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. | FinancialOntology.kif 483-483 | Investing is a subclass 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. | FinancialOntology.kif 890-890 | ChargingA fee is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1424-1424 | Call is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1445-1445 | Refinancing is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1799-1799 | Asset allocation is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1950-1950 | Placing an order is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2069-2069 | Liquidation is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2146-2146 | Financial default is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2220-2220 | Stock split is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2749-2749 | Exercise an option is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2829-2829 | Filling an order is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2833-2833 | Cancelling an order is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3079-3079 | Option strategy is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3179-3179 | Short sale is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3191-3191 | Stock market transaction is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3420-3420 | Rollover is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3976-3976 | Financial request is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3980-3980 | Financial response is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4125-4125 | External transfer is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4138-4138 | Internal transfer is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4152-4152 | Update is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2396-2396 | Exporting is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 284-284 | Muakhar sadaq is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 304-304 | Muqaddam sadaq is a subclass of financial transaction |
|
|