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