|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 742-742 | O argumento numero 2 de maximumReplications e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 721-721 | O argumento numero 2 de minimumReplications e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1016-1016 | O argumento numero 2 de numberOfCPUs e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 729-729 | O argumento numero 1 de numberOfCustomers e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5913-5913 | O argumento numero 2 de pathLength e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 72-72 | O argumento numero 2 de personTransportCapability e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 769-769 | O argumento numero 2 de portNumber e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 777-777 | O argumento numero 2 de processID e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21683-21683 | O argumento numero 2 de protonNumber e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1203-1203 | O argumento numero 2 de slidingWindowSize e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 362-362 | O argumento numero 2 de valence e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 25-25 | O argumento numero 3 de weaponCarryingCapability e' uma instancia de Inteiro positivo |
|
|
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