| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 58-58 | FinancialAccount est une sous-classe de Agreement |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4541-4541 | FinancialAccount est une sous-classe de Account |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 968-968 | InterestBearingAccount est une sous-classe de FinancialAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 992-992 | PersonalAccount est une sous-classe de FinancialAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1013-1013 | CorporateAccount est une sous-classe de FinancialAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1024-1024 | DepositAccount est une sous-classe de FinancialAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1159-1159 | LiabilityAccount est une sous-classe de FinancialAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1173-1173 | PensionPlan est une sous-classe de FinancialAccount |
|
|