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