| appearance as argument number 1 |
|
| (documentation SoftwareSystem EnglishLanguage "This is the class of mutually supportive groups of instances of ComputerProgram for a single general purpose. For example, a database management system is a collection of many instances of ComputerProgram that work together to store, retrieve, modify, and delete data.") | QoSontology.kif 269-273 | |
| (subclass SoftwareSystem ComputerProgram) | QoSontology.kif 268-268 |
| appearance as argument number 2 |
|
|
| (subclass OperatingSystem SoftwareSystem) | QoSontology.kif 1100-1100 | |
| (termFormat ChineseLanguage SoftwareSystem "软件系统") | domainEnglishFormat.kif 53773-53773 | |
| (termFormat ChineseTraditionalLanguage SoftwareSystem "軟件系統") | domainEnglishFormat.kif 53772-53772 | |
| (termFormat EnglishLanguage SoftwareSystem "software system") | domainEnglishFormat.kif 53771-53771 |
| appearance as argument number 3 |
|
|
| (domain rMProgramOf 2 SoftwareSystem) | QoSontology.kif 724-724 | |
| (domain softwarePath 1 SoftwareSystem) | QoSontology.kif 1190-1190 |
| antecedent |
|
|
| (=> (and (instance ?Application AutomaticApplication) (instance ?System SoftwareSystem) (part ?Application ?System)) (part (StartupFn ?Application) (StartupFn ?System))) |
QoSontology.kif 692-697 | |
| (=> (and (instance ?Software SoftwareSystem) (instance ?Process ComputerProcess) (programRunning ?Process ?Software)) (exists (?Hardware) (and (instance ?Hardware HardwareSystem) (computerRunning ?Process ?Hardware)))) |
QoSontology.kif 299-307 | |
| (=> (instance ?SOFTWARE SoftwareSystem) (exists (?FILE) (and (instance ?FILE SoftwareFile) (component ?FILE ?SOFTWARE)))) |
Media.kif 1521-1526 | |
| (=> (instance ?System SoftwareSystem) (forall (?Program ?Process) (=> (and (part ?Program ?System) (programRunning ?Process ?Program)) (exists (?Purpose) (hasPurpose ?Process ?Purpose))))) |
QoSontology.kif 278-286 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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