TreeView Knowledge Base Browser

appearance as argument number 1

(subclass ComputerResource ComputationalSystem)	QoSontology.kif 1931-1931	Computer resource is a subclass of computational system
(documentation ComputerResource EnglishLanguage "One element of hardware, software or data that is part of a larger system. For example, network resources are the available servers and printers in the network. Software resources can be programs, utilities or even smaller elements within a program. Data resources are the files and databases that can be accessed.")	QoSontology.kif 1932-1936	Computer resource is a subclass of computational system

appearance as argument number 2

(subclass NetworkResource ComputerResource)	QoSontology.kif 1945-1945	Network resource is a subclass of computer resource
(termFormat EnglishLanguage ComputerResource "computer resource")	domainEnglishFormat.kif 16374-16374	Network resource is a subclass of computer resource
(termFormat ChineseTraditionalLanguage ComputerResource "計算機資源")	domainEnglishFormat.kif 16375-16375	Network resource is a subclass of computer resource
(termFormat ChineseLanguage ComputerResource "计算机资源")	domainEnglishFormat.kif 16376-16376	Network resource is a subclass of computer resource

appearance as argument number 3

(domain resourceUsed 2 ComputerResource)

antecedent

(=>
    (instance ?Resource ComputerResource)
    (exists (?System)
        (and
            (instance ?System ComputationalSystem)
            (part ?Resource ?System))))

If X is an instance of computer resource, then there exists Y such that Y is an instance of computational system and X is a part of Y