|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 738-738 | O argumento numero 3 de periodicPayment e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 114-114 | O argumento numero 2 de recordingLength e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1775-1775 | O argumento numero 2 de requestRate e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1768-1768 | O argumento numero 2 de responseRate e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1755-1755 | O argumento numero 2 de responseTime e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2155-2155 | O argumento numero 2 de sendRate e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 714-714 | O argumento numero 2 de settlingTime e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1173-1173 | O argumento numero 2 de simpleDeadline e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 922-922 | O argumento numero 2 de softwareHeartBeatRate e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 651-651 | O argumento numero 2 de startupTimeDelay e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1021-1021 | O argumento numero 2 de suffrageAgeMaximum e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 949-949 | O argumento numero 2 de suffrageAgeMinimum e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1678-1678 | O argumento numero 3 de termLength e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1230-1230 | O argumento numero 2 de totalPrecipitationForPeriod e' uma instancia de Duracao Temporal |
|
|
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