|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1499-1499 | O argumento numero 3 de annualExpendituresOfAreaInPeriod e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1471-1471 | O argumento numero 3 de annualRevenuesOfAreaInPeriod e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 359-359 | O argumento numero 1 de businessHours e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 920-920 | O argumento numero 4 de capabilityDuring e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1529-1529 | O argumento numero 3 de capitalExpendituresOfAreaInPeriod e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1658-1658 | O argumento numero 2 de coldSeasonInArea e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 604-604 | O argumento numero 2 de commemoratesDate e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1638-1638 | O argumento numero 2 de coolSeasonInArea e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3630-3630 | O argumento numero 2 de currencyExchangePerUSDollar e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3641-3641 | O argumento numero 3 de currencyExchangeRateInPeriod e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1627-1627 | O argumento numero 2 de drySeasonInArea e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2790-2790 | O argumento numero 3 de economicAidDonatedInPeriod e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2834-2834 | O argumento numero 3 de economicAidReceivedNetInPeriod e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2096-2096 | O argumento numero 3 de electricityConsumptionInPeriod e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2139-2139 | O argumento numero 3 de electricityExportInPeriod e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2029-2029 | O argumento numero 4 de electricityFractionFromSourceInPeriod e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2184-2184 | O argumento numero 3 de electricityImportInPeriod e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1964-1964 | O argumento numero 3 de electricityProductionInPeriod e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2522-2522 | O argumento numero 4 de exportPartnerByFractionInPeriod e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2492-2492 | O argumento numero 4 de exportPartnerByRankInPeriod e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2352-2352 | O argumento numero 3 de exportPartnerInPeriod e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2259-2259 | O argumento numero 3 de exportTotalInPeriod e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2757-2757 | O argumento numero 3 de externalDebtInPeriod e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3682-3682 | O argumento numero 2 de fiscalYearPeriod e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1246-1246 | O argumento numero 3 de highestDecileShareOfHouseholdIncomeInPeriod e' uma sub-classe de Intervalo Temporal |
| 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