| OperatingSystem(operating system) | | DOS, Linux, MS-DOS, Microsoft_disk_operating_system, OS, UNIX, UNIX_operating_system, UNIX_system, disk_operating_system, operating_system |
| 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 996-1000 | |
| (lexicon OperatingSystem LexNoun "operating system") | engineering.kif 1332-1332 | |
| (subclass OperatingSystem SoftwareSystem) | QoSontology.kif 994-994 | Operating system is a subclass of software system |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass deviceOS 1 OperatingSystem) | ComputingBrands.kif 727-727 | 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)))) |
ComputingBrands.kif 3217-3229 |
|
|
|
|