| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15668-15668 | FinancialInstrument est une sous-classe de certificat |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15672-15672 | Currency est une sous-classe de FinancialInstrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 86-86 | Note est une sous-classe de FinancialInstrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 90-90 | Check est une sous-classe de FinancialInstrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 179-179 | BankCard est une sous-classe de FinancialInstrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2080-2080 | Security est une sous-classe de FinancialInstrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2152-2152 | Stock est une sous-classe de FinancialInstrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2259-2259 | Bond est une sous-classe de FinancialInstrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3928-3928 | Title est une sous-classe de FinancialInstrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3972-3972 | Receipt est une sous-classe de FinancialInstrument |
|
|