![]() |
![]() ![]() ![]()
|
![]() |
|
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 267-271 | |
(subclass SoftwareSystem ComputerProgram) | QoSontology.kif 266-266 | Software system is a subclass of computer program |
appearance as argument number 2 |
![]() |
(subclass OperatingSystem SoftwareSystem) | QoSontology.kif 992-992 | Operating system is a subclass of software system |
(termFormat ChineseLanguage SoftwareSystem "软件系统") | domainEnglishFormat.kif 53721-53721 | |
(termFormat ChineseTraditionalLanguage SoftwareSystem "軟件系統") | domainEnglishFormat.kif 53720-53720 | |
(termFormat EnglishLanguage SoftwareSystem "software system") | domainEnglishFormat.kif 53719-53719 |
appearance as argument number 3 |
![]() |
(domain rMProgramOf 2 SoftwareSystem) | QoSontology.kif 616-616 | The number 2 argument of rM program-of is an instance of software system |
(domain softwarePath 1 SoftwareSystem) | QoSontology.kif 1089-1089 | The number 1 argument of software path is an instance of software system |
antecedent |
![]() |
![]() |
![]() |