TreeView Knowledge Base Browser

appearance as argument number 1

(subclass ComputerHardware EngineeringComponent)	ComputerInput.kif 612-612	Computer hardware is a subclass of engineering component
(subclass ComputerHardware Product)	QoSontology.kif 54-54	Computer hardware is a subclass of product
(documentation ComputerHardware EnglishLanguage "The hardware is the physical part of a computer system.")	QoSontology.kif 55-56	Computer hardware is a subclass of product

appearance as argument number 2

(partTypes InternalComputerLoudspeaker ComputerHardware)	ComputerInput.kif 555-555	Every internal computer loudspeaker is a part of a computer hardware
(subclass HardwareSystem ComputerHardware)	QoSontology.kif 281-281	Hardware system is a subclass of computer hardware
(subclass ComputerInputDevice ComputerHardware)	QoSontology.kif 460-460	Computer input device is a subclass of computer hardware
(subclass ComputerOutputDevice ComputerHardware)	QoSontology.kif 464-464	Computer output device is a subclass of computer hardware
(subclass ComputerComponent ComputerHardware)	QoSontology.kif 907-907	Computer component is a subclass of computer hardware
(subclass Sensor ComputerHardware)	QoSontology.kif 1792-1792	Sensor is a subclass of computer hardware
(termFormat EnglishLanguage ComputerHardware "computer hardware")	domainEnglishFormat.kif 16308-16308	Sensor is a subclass of computer hardware
(termFormat ChineseTraditionalLanguage ComputerHardware "電腦硬件")	domainEnglishFormat.kif 16309-16309	Sensor is a subclass of computer hardware
(termFormat ChineseLanguage ComputerHardware "电脑硬件")	domainEnglishFormat.kif 16310-16310	Sensor is a subclass of computer hardware

appearance as argument number 3

(domain connectedPeripheral 1 ComputerHardware)

antecedent

(<=>
    (instance ?Hardware ComputerHardware)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (component ?Hardware ?Computer))))

X is an instance of computer hardware if, only if there exists Y such that Y is an instance of computer, and X is a component of Y