No TPTP formula. May not be expressible in strict first order. | Merge.kif 15646-15646 | Financial instrument is a subclass of certificate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15650-15650 | Currency is a subclass of financial instrument |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 86-86 | Note is a subclass of financial instrument |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 90-90 | Check is a subclass of financial instrument |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 179-179 | Bank card is a subclass of financial instrument |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2080-2080 | Security is a subclass of financial instrument |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2152-2152 | Stock is a subclass of financial instrument |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2259-2259 | Bond is a subclass of financial instrument |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3928-3928 | Title is a subclass of financial instrument |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3972-3972 | Receipt is a subclass of financial instrument |