|
| 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 852-852 | 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 7902-7902 | 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 8309-8309 | 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 8310-8310 | 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 8371-8371 | 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 8372-8372 | 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 8069-8069 | 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 8070-8070 | 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 10336-10336 | 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 998-998 | 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 1010-1010 | 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