| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6301-6301 | Medida de Divisa e' uma sub-classe de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 513-513 | Interest e' uma sub-classe de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2107-2107 | ShareUnit e' uma sub-classe de Medida de Divisa |
|
|