compoundInterest |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 555-558 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 552-552 | Le nombre 1 argument de compoundInterest est une instance de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 553-553 | Le nombre 2 argument de compoundInterest est une instance de Interest |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 554-554 | Le nombre 3 argument de compoundInterest est une instance de interval temporel |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 550-550 | compoundInterest est une instance de pr�dicat ternaire |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 551-551 | compoundInterest est une sous-relation de interestEarned |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 512-512 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 511-511 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 510-510 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16230-16230 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16229-16229 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16228-16228 |