|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8326-8326 | O argumento numero 1 de meetsTemporally e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8327-8327 | O argumento numero 2 de meetsTemporally e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 992-992 | O argumento numero 3 de militaryExpendituresFractionOfGDPInPeriod e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 953-953 | O argumento numero 3 de militaryExpendituresInUSDollarsInPeriod e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1180-1180 | O argumento numero 2 de musicChartPeriod e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3611-3611 | O argumento numero 1 de newRegisteredUsers e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 128-128 | O argumento numero 3 de offersAtTime e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 953-953 | O argumento numero 2 de overcastDaysInPeriod e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8227-8227 | O argumento numero 1 de overlapsTemporally e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8228-8228 | O argumento numero 2 de overlapsTemporally e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3857-3857 | O argumento numero 3 de paymentsPerPeriod e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1023-1023 | O argumento numero 3 de perCapitaGDPInPeriod e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3865-3865 | O argumento numero 3 de purchasesPerPeriod e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2826-2826 | O argumento numero 2 de rainfallIntensity e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29999-29999 | O argumento numero 4 de rents e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30887-30887 | O argumento numero 4 de shortage e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 533-533 | O argumento numero 3 de simpleInterest e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 3031-3031 | O argumento numero 2 de snowfallIntensity e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8037-8037 | O argumento numero 1 de starts e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8038-8038 | O argumento numero 2 de starts e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4060-4060 | O argumento numero 2 de statementPeriod e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 240-240 | O argumento numero 2 de validityPeriod e' uma instancia de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8444-8444 | O argumento numero 1 de RecurrentTimeIntervalFn e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8445-8445 | O argumento numero 2 de RecurrentTimeIntervalFn e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9374-9374 | O argumento numero 2 de TemporalCompositionFn 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