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 | O argumento numero 1 de compoundInterest e' uma instancia de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 553-553 | O argumento numero 2 de compoundInterest e' uma instancia de Interest |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 554-554 | O argumento numero 3 de compoundInterest e' uma instancia de Intervalo Temporal |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 550-550 | compoundInterest e' uma instancia de Predicado Ternario |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 551-551 | compoundInterest e' uma sub-relacao 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 |