No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 41-41 | FinancialAsset est une sous-classe de physique |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1317-1317 | Collateral est une sous-classe de FinancialAsset |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1355-1355 | RealEstate est une sous-classe de FinancialAsset |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1768-1768 | Investment est une sous-classe de FinancialAsset |