|
| (domain startupTimeDelay 1 ComputerProgram) | QoSontology.kif 650-650 | O argumento numero 1 de startupTimeDelay e' uma instancia de Programa de Computador |
| (domainSubclass canRunOn 1 ComputerProgram) | QoSontology.kif 351-351 | O argumento numero 1 de canRunOn e' uma sub-classe de Programa de Computador |
| (domainSubclass dependencyType 2 ComputerProgram) | QoSontology.kif 1222-1222 | O argumento numero 2 de dependencyType e' uma sub-classe de Programa de Computador |
|
|
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