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 est une sous-relation de interestEarned |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 530-530 |
simpleInterest est une sous-relation 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 |
|