| OperatingSystem | |
| appearance as argument number 1 |
|
|
| (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 1105-1109 | |
| (lexicon OperatingSystem LexNoun "operating system") | engineering.kif 1645-1645 | |
| (subclass OperatingSystem SoftwareSystem) | QoSontology.kif 1103-1103 |
| appearance as argument number 2 |
|
|
| (subclass AppleMacOS OperatingSystem) | ComputingBrands.kif 209-209 | |
| (subclass BerkeleySoftwareDistribution OperatingSystem) | QoSontology.kif 2291-2291 | |
| (subclass MacOS OperatingSystem) | Media.kif 1544-1544 | |
| (subclass MicrosoftWindows OperatingSystem) | Media.kif 1549-1549 | |
| (subclass PhoneOS OperatingSystem) | ComputingBrands.kif 90-90 | |
| (subclass Solaris OperatingSystem) | QoSontology.kif 1117-1117 | |
| (subclass SymbianOS OperatingSystem) | Media.kif 1554-1554 | |
| (subclass WindowsOS OperatingSystem) | ComputingBrands.kif 60-60 | |
| (termFormat ChineseLanguage OperatingSystem "操作系统") | domainEnglishFormat.kif 42283-42283 | |
| (termFormat ChineseTraditionalLanguage OperatingSystem "操作系統") | domainEnglishFormat.kif 42282-42282 | |
| (termFormat EnglishLanguage OperatingSystem "OS") | QoSontology.kif 1104-1104 | |
| (termFormat EnglishLanguage OperatingSystem "operating system") | domainEnglishFormat.kif 42281-42281 |
| appearance as argument number 3 |
|
|
| (domainSubclass deviceOS 1 OperatingSystem) | ComputingBrands.kif 727-727 |
| 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)))) |
ComputingBrands.kif 3213-3225 |
|
|
|