No TPTP formula. May not be expressible in strict first order. | Merge.kif 15692-15692 | FinancialInstrument e' uma sub-classe de Certificado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15696-15696 | 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 |