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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OperatingSystem
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 984-988
(lexicon OperatingSystem LexNoun "operating system") engineering.kif 1326-1326
(subclass OperatingSystem SoftwareSystem) QoSontology.kif 982-982

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


(subclass AppleMacOS OperatingSystem) ComputingBrands.kif 199-199
(subclass BerkeleySoftwareDistribution OperatingSystem) QoSontology.kif 2138-2138
(subclass MacOS OperatingSystem) Media.kif 1532-1532
(subclass MicrosoftWindows OperatingSystem) Media.kif 1537-1537
(subclass PhoneOS OperatingSystem) ComputingBrands.kif 88-88
(subclass Solaris OperatingSystem) QoSontology.kif 996-996
(subclass SymbianOS OperatingSystem) Media.kif 1542-1542
(termFormat ChineseLanguage OperatingSystem "操作系统") domainEnglishFormat.kif 42163-42163
(termFormat ChineseTraditionalLanguage OperatingSystem "操作系統") domainEnglishFormat.kif 42162-42162
(termFormat EnglishLanguage OperatingSystem "OS") QoSontology.kif 983-983
(termFormat EnglishLanguage OperatingSystem "operating system") domainEnglishFormat.kif 42161-42161

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


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


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