|
| (domain startupTimeDelay 1 ComputerProgram) | QoSontology.kif 650-650 | Le nombre 1 argument de startupTimeDelay est une instance de programme d'ordinateur |
| (domainSubclass canRunOn 1 ComputerProgram) | QoSontology.kif 351-351 | Le nombre 1 argument de canRunOn est une sous-classe de programme d'ordinateur |
| (domainSubclass dependencyType 2 ComputerProgram) | QoSontology.kif 1222-1222 | Le nombre 2 argument de dependencyType est une sous-classe de programme d'ordinateur |
|
|
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