|
| (domain startupTimeDelay 1 ComputerProgram) | QoSontology.kif 650-650 | Il numero 1 argomenti di startupTimeDelay è un istanza di ProgrammaDiComputer |
| (domainSubclass canRunOn 1 ComputerProgram) | QoSontology.kif 351-351 | Il numero 1 argomento canRunOn è una sottoclasse diProgrammaDiComputer |
| (domainSubclass dependencyType 2 ComputerProgram) | QoSontology.kif 1222-1222 | Il numero 2 argomento dependencyType è una sottoclasse diProgrammaDiComputer |
|
|
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