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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 996-1000
(lexicon OperatingSystem LexNoun "operating system") engineering.kif 1332-1332
(subclass OperatingSystem SoftwareSystem) QoSontology.kif 994-994 子類 操作系統 and 軟件系統

appearance as argument number 2

(subclass AppleMacOS OperatingSystem) ComputingBrands.kif 209-209 子類 Mac OS and 操作系統
(subclass BerkeleySoftwareDistribution OperatingSystem) QoSontology.kif 2159-2159 子類 伯克利軟件分銷 and 操作系統
(subclass MacOS OperatingSystem) Media.kif 1542-1542 子類 MacOS and 操作系統
(subclass MicrosoftWindows OperatingSystem) Media.kif 1547-1547 子類 MicrosoftWindows and 操作系統
(subclass PhoneOS OperatingSystem) ComputingBrands.kif 90-90 子類 PhoneOS and 操作系統
(subclass Solaris OperatingSystem) QoSontology.kif 1008-1008 子類 solaris and 操作系統
(subclass SymbianOS OperatingSystem) Media.kif 1552-1552 子類 SymbianOS and 操作系統
(subclass WindowsOS OperatingSystem) ComputingBrands.kif 60-60 子類 WindowsOS and 操作系統
(termFormat ChineseLanguage OperatingSystem "操作系统") domainEnglishFormat.kif 42252-42252
(termFormat ChineseTraditionalLanguage OperatingSystem "操作系統") domainEnglishFormat.kif 42251-42251
(termFormat EnglishLanguage OperatingSystem "OS") QoSontology.kif 995-995
(termFormat EnglishLanguage OperatingSystem "operating system") domainEnglishFormat.kif 42250-42250

appearance as argument number 3

(domainSubclass deviceOS 1 OperatingSystem) ComputingBrands.kif 727-727 域子類 deviceOS, 1 and 操作系統


        (property ?X Booting)
        (instance ?X Computer))
    (exists (?CD ?OS ?DT)
            (instance ?CD DigitalData)
            (instance ?OS OperatingSystem)
            (instance ?DT DataTransfer)
                (WhenFn ?DT)
                (WhenFn ?X))
            (destination ?DT ?X)
            (part ?CD ?OS)
            (objectTransferred ?DT ?CD))))
ComputingBrands.kif 3217-3229

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 3.0 is open source software produced by Articulate Software and its partners