![]() |
![]() ![]() ![]()
|
![]() |
|
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 11675-11677 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11673-11673 | 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 19835-19835 | The values returned by occupation are subclasses of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1811-1811 | Asset allocation 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. | Merge.kif 11723-11723 | Betting is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11729-11729 | Buying is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1423-1423 | Call is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2840-2840 | Cancelling an order is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 889-889 | ChargingA fee 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 11711-11711 | 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. | FinancialOntology.kif 2756-2756 | Exercise an option 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 4077-4077 | External transfer is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2836-2836 | Filling an order is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2155-2155 | Financial default is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3928-3928 | Financial request is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3932-3932 | Financial response is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4090-4090 | Internal transfer 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 2078-2078 | Liquidation 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 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
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. | FinancialOntology.kif 3831-3831 | The number 1 argument of confirmation number 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 6868-6868 | The number 1 argument of loss is an instance of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1974-1974 | The number 1 argument of order for is an instance of financial transaction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7282-7282 | The number 1 argument of profit is an instance of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 894-894 | The number 2 argument of service fee is an instance of financial transaction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11689-11689 | The number 1 argument of transaction amount is an instance of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3943-3943 | The number 2 argument of daily limit is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 680-680 | The number 2 argument of minimum balance is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19843-19843 | The number 2 argument of occupation is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1975-1975 | The number 2 argument of order for is a subclass of financial transaction |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |