No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 284-284 |
O contra-dominio de CurrencyFn e' uma instancia 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 2259-2259 |
Bond 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. |
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 3972-3972 |
Receipt 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 3928-3928 |
Title e' uma sub-classe de FinancialInstrument |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23774-23774 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23773-23773 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23772-23772 |
|