| (subclass FinancialInstrument Certificate) | Merge.kif 15796-15796 | |
| (subclass Currency FinancialInstrument) | Merge.kif 15800-15800 | |
| (subclass Note FinancialInstrument) | FinancialOntology.kif 88-88 | |
| (subclass Check FinancialInstrument) | FinancialOntology.kif 92-92 | |
| (subclass BankCard FinancialInstrument) | FinancialOntology.kif 181-181 | |
| (subclass Security FinancialInstrument) | FinancialOntology.kif 2097-2097 | |
| (subclass Stock FinancialInstrument) | FinancialOntology.kif 2169-2169 | |
| (subclass Bond FinancialInstrument) | FinancialOntology.kif 2276-2276 | |
| (subclass Title FinancialInstrument) | FinancialOntology.kif 3946-3946 | |
| (subclass Receipt FinancialInstrument) | FinancialOntology.kif 3990-3990 |
|
|