interestEarned |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 525-527 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 522-522 | 域 利息收入, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 523-523 | 域 利息收入, 2 and 利益 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 524-524 | 域 利息收入, 3 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 521-521 | 例 利息收入 and TernaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1361-1361 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1360-1360 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1359-1359 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 551-551 | 子關係 複利 and 利息收入 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 530-530 | 子關係 單純的興趣 and 利息收入 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30409-30409 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30408-30408 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30407-30407 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4162-4166 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4082-4087 |