Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OperatingSystem
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 994-998
(lexicon OperatingSystem LexNoun "operating system") engineering.kif 1330-1330
(subclass OperatingSystem SoftwareSystem) QoSontology.kif 992-992 Operating system is a subclass of software system

appearance as argument number 2
-------------------------


(subclass AppleMacOS OperatingSystem) ComputingBrands.kif 206-206 Mac OS is a subclass of operating system
(subclass BerkeleySoftwareDistribution OperatingSystem) QoSontology.kif 2165-2165 Berkeley software distribution is a subclass of operating system
(subclass MacOS OperatingSystem) Media.kif 1532-1532 MacOS is a subclass of operating system
(subclass MicrosoftWindows OperatingSystem) Media.kif 1537-1537 MicrosoftWindows is a subclass of operating system
(subclass PhoneOS OperatingSystem) ComputingBrands.kif 89-89 PhoneOS is a subclass of operating system
(subclass Solaris OperatingSystem) QoSontology.kif 1006-1006 Solaris is a subclass of operating system
(subclass SymbianOS OperatingSystem) Media.kif 1542-1542 SymbianOS is a subclass of operating system
(subclass WindowsOS OperatingSystem) ComputingBrands.kif 60-60 WindowsOS is a subclass of operating system
(termFormat ChineseLanguage OperatingSystem "操作系统") domainEnglishFormat.kif 42139-42139
(termFormat ChineseTraditionalLanguage OperatingSystem "操作系統") domainEnglishFormat.kif 42138-42138
(termFormat EnglishLanguage OperatingSystem "OS") QoSontology.kif 993-993
(termFormat EnglishLanguage OperatingSystem "operating system") domainEnglishFormat.kif 42137-42137

appearance as argument number 3
-------------------------


(domainSubclass deviceOS 1 OperatingSystem) ComputingBrands.kif 704-704 The number 1 argument of deviceOS is a subclass of operating system

consequent
-------------------------


(=>
    (attribute ?X Booting)
    (exists (?CD)
        (and
            (instance ?CD DigitalData)
            (instance ?OS OperatingSystem)
            (instance ?DT DataTransfer)
            (during ?DT ?X)
            (destination ?DT ?X)
            (part ?CD ?OS)
            (objectTransferred ?DT ?CD))))
ComputingBrands.kif 3207-3217


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners