|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3873-3873 | O argumento numero 3 de creditsPerPeriod e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 994-994 | O argumento numero 2 de dateUsed e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 848-848 | O argumento numero 3 de daylightHoursInterval e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7924-7924 | O argumento numero 1 de duration e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8331-8331 | O argumento numero 1 de during e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8332-8332 | O argumento numero 2 de during e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8393-8393 | O argumento numero 1 de earlier e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8394-8394 | O argumento numero 2 de earlier e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3353-3353 | O argumento numero 3 de employeeContribution e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8091-8091 | O argumento numero 1 de finishes e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8092-8092 | O argumento numero 2 de finishes e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3515-3515 | O argumento numero 1 de firstTimeBuyers e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3563-3563 | O argumento numero 1 de firstTimeSellers e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2967-2967 | O argumento numero 4 de grossMerchandiseBoughtInPeriod e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2996-2996 | O argumento numero 4 de grossMerchandiseSoldInPeriod e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10335-10335 | O argumento numero 2 de heartRate e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5011-5011 | O argumento numero 2 de highTide e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 994-994 | O argumento numero 2 de highestTemperatureForPeriod e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3271-3271 | O argumento numero 3 de income e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1678-1678 | O argumento numero 3 de inflationRateInCountry e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 524-524 | O argumento numero 3 de interestEarned e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 582-582 | O argumento numero 3 de interestRatePerPeriod e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4331-4331 | O argumento numero 3 de loggedInDuring e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5020-5020 | O argumento numero 2 de lowTide e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1006-1006 | O argumento numero 2 de lowestTemperatureForPeriod e' uma instancia 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