|
| (domain startupTimeDelay 1 ComputerProgram) | QoSontology.kif 650-650 | The number 1 argument of startup time delay is an instance of computer program |
| (domainSubclass canRunOn 1 ComputerProgram) | QoSontology.kif 351-351 | The number 1 argument of can run on is a subclass of computer program |
| (domainSubclass dependencyType 2 ComputerProgram) | QoSontology.kif 1222-1222 | The number 2 argument of dependency type is a subclass of computer program |
|
|
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