OperatingSystem - Sigma Knowledge base Browser

appearance as argument number 1

(subclass OperatingSystem SoftwareSystem)	QoSontology.kif 1098-1098	Operating system is a subclass of software system
(documentation OperatingSystem EnglishLanguage "The master control program that runs the computer. It is the first program loaded when the computer is turned on, and its main part, called the kernel, resides in memory at all times. It may be developed by the vendor of the computer it's running in or by a third party.")	QoSontology.kif 1100-1104	Operating system is a subclass of software system
(lexicon OperatingSystem LexNoun "operating system")	engineering.kif 1603-1603	Operating system is a subclass of software system

appearance as argument number 2

(subclass WindowsOS OperatingSystem)	ComputingBrands.kif 60-60	Windows OS is a subclass of operating system
(subclass PhoneOS OperatingSystem)	ComputingBrands.kif 90-90	Phone OS is a subclass of operating system
(subclass AppleMacOS OperatingSystem)	ComputingBrands.kif 209-209	Mac OS is a subclass of operating system
(subclass MacOS OperatingSystem)	Media.kif 1544-1544	Mac OS is a subclass of operating system
(subclass MicrosoftWindows OperatingSystem)	Media.kif 1549-1549	Microsoft windows is a subclass of operating system
(subclass SymbianOS OperatingSystem)	Media.kif 1554-1554	Symbian OS is a subclass of operating system
(termFormat EnglishLanguage OperatingSystem "OS")	QoSontology.kif 1099-1099	Symbian OS is a subclass of operating system
(subclass Solaris OperatingSystem)	QoSontology.kif 1112-1112	Solaris is a subclass of operating system
(subclass BerkeleySoftwareDistribution OperatingSystem)	QoSontology.kif 2286-2286	Berkeley software distribution is a subclass of operating system
(termFormat EnglishLanguage OperatingSystem "operating system")	domainEnglishFormat.kif 42251-42251	Berkeley software distribution is a subclass of operating system
(termFormat ChineseTraditionalLanguage OperatingSystem "操作系統")	domainEnglishFormat.kif 42252-42252	Berkeley software distribution is a subclass of operating system
(termFormat ChineseLanguage OperatingSystem "操作系统")	domainEnglishFormat.kif 42253-42253	Berkeley software distribution is a subclass of operating system

appearance as argument number 3

(domainSubclass deviceOS 1 OperatingSystem)

The number 1 argument of device OS is a subclass of operating system

consequent

(=>
    (and
        (property ?X Booting)
        (instance ?X Computer))
    (exists (?CD ?OS ?DT)
        (and
            (instance ?CD DigitalData)
            (instance ?OS OperatingSystem)
            (instance ?DT DataTransfer)
            (during
                (WhenFn ?DT)
                (WhenFn ?X))
            (destination ?DT ?X)
            (part ?CD ?OS)
            (objectTransferred ?DT ?CD))))

If X the attribute booting up and X is an instance of computer, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of digital data (3) Z is an instance of operating system (4) W is an instance of data transfer (5) the time of existence of W takes place during the time of existence of X (6) W ends up at X (7) Y is a part of Z (8) the object transferred in W is Y