OpeningAnAccount(opening an account)![]() ![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 293-293 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10167-10167 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11551-11551 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 292-292 | Opening an account is a subclass of financial transaction |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42212-42212 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42211-42211 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42210-42210 |
antecedent |
![]() |
![]() |
![]() |