![]() |
![]() ![]() ![]()
|
![]() |
|
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 270-274 | |
(subclass SoftwareSystem ComputerProgram) | QoSontology.kif 269-269 | 软件系统 是 电脑程序 的 subclass |
appearance as argument number 2 |
![]() |
(subclass OperatingSystem SoftwareSystem) | QoSontology.kif 1103-1103 | 操作系统 是 软件系统 的 subclass |
(termFormat ChineseLanguage SoftwareSystem "软件系统") | domainEnglishFormat.kif 53742-53742 | 操作系统 是 软件系统 的 subclass |
(termFormat ChineseTraditionalLanguage SoftwareSystem "軟件系統") | domainEnglishFormat.kif 53741-53741 | 操作系统 是 软件系统 的 subclass |
(termFormat EnglishLanguage SoftwareSystem "software system") | domainEnglishFormat.kif 53740-53740 | 操作系统 是 软件系统 的 subclass |
appearance as argument number 3 |
![]() |
(domain rMProgramOf 2 SoftwareSystem) | QoSontology.kif 727-727 | rM的程序 的 2 数量 是 软件系统 的 instance |
(domain softwarePath 1 SoftwareSystem) | QoSontology.kif 1193-1193 | 软件路径 的 1 数量 是 软件系统 的 instance |
antecedent |
![]() |
(=> (and (instance ?Application AutomaticApplication) (instance ?System SoftwareSystem) (part ?Application ?System)) (part (StartupFn ?Application) (StartupFn ?System))) |
QoSontology.kif 694-699 | |
(=> (and (instance ?Software SoftwareSystem) (instance ?Process ComputerProcess) (programRunning ?Process ?Software)) (exists (?Hardware) (and (instance ?Hardware HardwareSystem) (computerRunning ?Process ?Hardware)))) |
QoSontology.kif 300-308 | |
(=> (instance ?SOFTWARE SoftwareSystem) (exists (?FILE) (and (instance ?FILE SoftwareFile) (component ?FILE ?SOFTWARE)))) |
Media.kif 1523-1528 |
|
(=> (instance ?System SoftwareSystem) (forall (?Program ?Process) (=> (and (part ?Program ?System) (programRunning ?Process ?Program)) (exists (?Purpose) (hasPurpose ?Process ?Purpose))))) |
QoSontology.kif 279-287 |
![]() |
![]() |