FinancialAccount(financial account) |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4118-4118 | The number 1 argument of market value amount is an instance of financial account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 631-631 | The number 1 argument of maturity date is an instance of financial account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 679-679 | The number 1 argument of minimum balance is an instance of financial account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 717-717 | The number 1 argument of original balance is an instance of financial account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 778-778 | The number 1 argument of overdraft is an instance of financial account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3855-3855 | The number 1 argument of payments per period is an instance of financial account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 736-736 | The number 1 argument of periodic payment is an instance of financial account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 729-729 | The number 1 argument of principal amount is an instance of financial account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3863-3863 | The number 1 argument of purchases per period is an instance of financial account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1331-1331 | The number 1 argument of secured by is an instance of financial account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4109-4109 | The number 1 argument of short balance amount is an instance of financial account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 531-531 | The number 1 argument of simple interest is an instance of financial account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4054-4054 | The number 2 argument of statement account is an instance of financial account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1396-1396 | The number 1 argument of total balance is an instance of financial account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1862-1862 | The number 1 argument of yield level is an instance of financial account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3938-3938 | The number 1 argument of bank account is a subclass of financial account |