Deposit(deposit)![]() | ![]() | bank_deposit, demand_deposit, deposit |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 429-429 | Deposit is disjoint from withdrawing from an account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 430-431 | Deposit is disjoint from withdrawing from an account |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9139-9139 | Deposit is disjoint from withdrawing from an account |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9140-9140 | Deposit is disjoint from withdrawing from an account |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8447-8447 | Deposit is disjoint from withdrawing from an account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 428-428 | Deposit is a subclass of financial transaction |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19149-19149 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19148-19148 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19147-19147 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |