statementAccount |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4055-4056 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4053-4053 | 域 聲明帳戶, 1 and 銀行對帳單 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4054-4054 | 域 聲明帳戶, 2 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4052-4052 | 例 聲明帳戶 and BinaryPredicate |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2351-2351 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2350-2350 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2349-2349 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55128-55128 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55127-55127 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55126-55126 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3885-3895 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4082-4087 |
![]() |
![]() |