No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 41-41 | Financial asset is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1317-1317 | Collateral is a subclass of financial asset |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1355-1355 | Real estate is a subclass of financial asset |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1768-1768 | Investment is a subclass of financial asset |