TreeView Knowledge Base Browser

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 1334-1334
(subclass OperatingSystem SoftwareSystem)	QoSontology.kif 994-994	OperatingSystem est une sous-classe de SoftwareSystem

appearance as argument number 2

(subclass AppleMacOS OperatingSystem)	ComputingBrands.kif 209-209	AppleMacOS est une sous-classe de OperatingSystem
(subclass BerkeleySoftwareDistribution OperatingSystem)	QoSontology.kif 2159-2159	BerkeleySoftwareDistribution est une sous-classe de OperatingSystem
(subclass MacOS OperatingSystem)	Media.kif 1542-1542	MacOS est une sous-classe de OperatingSystem
(subclass MicrosoftWindows OperatingSystem)	Media.kif 1547-1547	MicrosoftWindows est une sous-classe de OperatingSystem
(subclass PhoneOS OperatingSystem)	ComputingBrands.kif 90-90	PhoneOS est une sous-classe de OperatingSystem
(subclass Solaris OperatingSystem)	QoSontology.kif 1008-1008	Solaris est une sous-classe de OperatingSystem
(subclass SymbianOS OperatingSystem)	Media.kif 1552-1552	SymbianOS est une sous-classe de OperatingSystem
(subclass WindowsOS OperatingSystem)	ComputingBrands.kif 60-60	WindowsOS est une sous-classe de OperatingSystem
(termFormat ChineseLanguage OperatingSystem "操作系统")	domainEnglishFormat.kif 42264-42264
(termFormat ChineseTraditionalLanguage OperatingSystem "操作系統")	domainEnglishFormat.kif 42263-42263
(termFormat EnglishLanguage OperatingSystem "OS")	QoSontology.kif 995-995
(termFormat EnglishLanguage OperatingSystem "operating system")	domainEnglishFormat.kif 42262-42262

appearance as argument number 3

(domainSubclass deviceOS 1 OperatingSystem)

ComputingBrands.kif 727-727

Le nombre 1 argument de deviceOS est une sous-classe de OperatingSystem

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