FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4118-4118 | Le nombre 1 argument de marketValueAmount est une instance de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 631-631 | Le nombre 1 argument de maturityDate est une instance de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 679-679 | Le nombre 1 argument de minimumBalance est une instance de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 717-717 | Le nombre 1 argument de originalBalance est une instance de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 778-778 | Le nombre 1 argument de overdraft est une instance de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3855-3855 | Le nombre 1 argument de paymentsPerPeriod est une instance de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 736-736 | Le nombre 1 argument de periodicPayment est une instance de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 729-729 | Le nombre 1 argument de principalAmount est une instance de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3863-3863 | Le nombre 1 argument de purchasesPerPeriod est une instance de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1331-1331 | Le nombre 1 argument de securedBy est une instance de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4109-4109 | Le nombre 1 argument de shortBalanceAmount est une instance de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 531-531 | Le nombre 1 argument de simpleInterest est une instance de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4054-4054 | Le nombre 2 argument de statementAccount est une instance de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1396-1396 | Le nombre 1 argument de totalBalance est une instance de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1862-1862 | Le nombre 1 argument de yieldLevel est une instance de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3938-3938 | Le nombre 1 argument de bankAccount est une sous-classe de FinancialAccount |