|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3654-3654 | O argumento numero 2 de currencyExchangeRate e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3640-3640 | O argumento numero 2 de currencyExchangeRateInPeriod e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3603-3603 | O argumento numero 2 de currencyValue e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 674-674 | O argumento numero 3 de currentAccountBalance e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1285-1285 | O argumento numero 3 de customerValue e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3992-3992 | O argumento numero 3 de dailyLimit e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 803-803 | O argumento numero 2 de downPayment e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2806-2806 | O argumento numero 2 de economicAidDonated e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2789-2789 | O argumento numero 2 de economicAidDonatedInPeriod e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2848-2848 | O argumento numero 2 de economicAidReceivedNet e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2833-2833 | O argumento numero 2 de economicAidReceivedNetInPeriod e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3352-3352 | O argumento numero 2 de employeeContribution e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2258-2258 | O argumento numero 2 de exportTotalInPeriod e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2768-2768 | O argumento numero 2 de externalDebt e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2756-2756 | O argumento numero 2 de externalDebtInPeriod e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2300-2300 | O argumento numero 2 de faceValue e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3479-3479 | O argumento numero 2 de finalPrice e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 798-798 | O argumento numero 2 de floorLoan e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2966-2966 | O argumento numero 3 de grossMerchandiseBoughtInPeriod e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2995-2995 | O argumento numero 3 de grossMerchandiseSoldInPeriod e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2563-2563 | O argumento numero 2 de importTotalInPeriod e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3270-3270 | O argumento numero 2 de income e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3292-3292 | O argumento numero 2 de incomeEarned e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4040-4040 | O argumento numero 2 de lastStatementBalance e' uma instancia de Medida de Divisa |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1998-1998 | O argumento numero 2 de limitPrice e' uma instancia de Medida de Divisa |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners