| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 58-58 | Financial account is a subclass of agreement |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4541-4541 | Financial account is a subclass of account |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 968-968 | Interest bearing account is a subclass of financial account |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 992-992 | Personal account is a subclass of financial account |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1013-1013 | Corporate account is a subclass of financial account |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1024-1024 | Deposit account is a subclass of financial account |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1159-1159 | Liability account is a subclass of financial account |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1173-1173 | Pension plan is a subclass of financial account |
|
|