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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerHardware
ComputerHardware(computer hardware)chip, computer_accessory, computer_hardware, computer_peripheral, expansion_slot, firewall, hardware, micro_chip, microchip, microprocessor_chip, module, peripheral, peripheral_device, router, silicon_chip, slot

appearance as argument number 1
-------------------------


(documentation ComputerHardware EnglishLanguage "The hardware is the physical part of a computer system.") QoSontology.kif 60-61
(subclass ComputerHardware EngineeringComponent) ComputerInput.kif 596-596 Computer hardware is a subclass of engineering component
(subclass ComputerHardware Product) QoSontology.kif 59-59 Computer hardware is a subclass of product

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


(partTypes InternalComputerLoudspeaker ComputerHardware) ComputerInput.kif 539-539 Every internal computer loudspeaker is a part of a computer hardware
(subclass ComputerComponent ComputerHardware) QoSontology.kif 811-811 Computer component is a subclass of computer hardware
(subclass ComputerInputDevice ComputerHardware) QoSontology.kif 467-467 Computer input device is a subclass of computer hardware
(subclass ComputerOutputDevice ComputerHardware) QoSontology.kif 477-477 Computer output device is a subclass of computer hardware
(subclass HardwareSystem ComputerHardware) QoSontology.kif 288-288 Hardware system is a subclass of computer hardware
(subclass Sensor ComputerHardware) QoSontology.kif 1668-1668 Sensor is a subclass of computer hardware
(termFormat ChineseLanguage ComputerHardware "电脑硬件") domainEnglishFormat.kif 16308-16308
(termFormat ChineseTraditionalLanguage ComputerHardware "電腦硬件") domainEnglishFormat.kif 16307-16307
(termFormat EnglishLanguage ComputerHardware "computer hardware") domainEnglishFormat.kif 16306-16306

appearance as argument number 3
-------------------------


(domain connectedPeripheral 1 ComputerHardware) ComputingBrands.kif 3533-3533 The number 1 argument of connected peripheral is an instance of computer hardware

antecedent
-------------------------


(<=>
    (instance ?Hardware ComputerHardware)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (component ?Hardware ?Computer))))
QoSontology.kif 63-68 A corpuscular object is an instance of computer hardware if and only if there exists another corpuscular object such that the other corpuscular object is an instance of computer and the corpuscular object is a component of the other corpuscular object


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