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
-------------------------


s__documentation(s__ComputerHardware,s__EnglishLanguage,'"The hardware is the physical part of a computer system."')

QoSontology.kif 60-61
s__subclass(s__ComputerHardware,s__EngineeringComponent)

s__instance(s__ComputerHardware,s__Class)

s__instance(s__EngineeringComponent,s__Class)

ComputerInput.kif 624-624 Computer hardware is a subclass of engineering component
s__subclass(s__ComputerHardware,s__Product)

s__instance(s__Product,s__Class)

s__instance(s__ComputerHardware,s__Class)

QoSontology.kif 59-59 Computer hardware is a subclass of product

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


s__partTypes(s__InternalComputerLoudspeaker,s__ComputerHardware)

ComputerInput.kif 566-566 Every InternalComputerLoudspeaker is a part of a computer hardware
s__instance(s__ComputerComponent,s__Class)

s__instance(s__ComputerHardware,s__Class)

s__subclass(s__ComputerComponent,s__ComputerHardware)

QoSontology.kif 809-809 Computer component is a subclass of computer hardware
s__subclass(s__ComputerInputDevice,s__ComputerHardware)

s__instance(s__ComputerHardware,s__Class)

s__instance(s__ComputerInputDevice,s__Class)

QoSontology.kif 465-465 Computer input device is a subclass of computer hardware
s__instance(s__ComputerOutputDevice,s__Class)

s__instance(s__ComputerHardware,s__Class)

s__subclass(s__ComputerOutputDevice,s__ComputerHardware)

QoSontology.kif 475-475 Computer output device is a subclass of computer hardware
s__instance(s__ComputerHardware,s__Class)

s__subclass(s__HardwareSystem,s__ComputerHardware)

s__instance(s__HardwareSystem,s__Class)

QoSontology.kif 286-286 Hardware system is a subclass of computer hardware
s__instance(s__ComputerHardware,s__Class)

s__subclass(s__Sensor,s__ComputerHardware)

s__instance(s__Sensor,s__Class)

QoSontology.kif 1673-1673 Sensor is a subclass of computer hardware
s__termFormat(s__ChineseLanguage,s__ComputerHardware,'"电脑硬件"')

domainEnglishFormat.kif 16299-16299
s__termFormat(s__ChineseTraditionalLanguage,s__ComputerHardware,'"電腦硬件"')

domainEnglishFormat.kif 16298-16298
s__termFormat(s__EnglishLanguage,s__ComputerHardware,'"computer hardware"')

domainEnglishFormat.kif 16297-16297

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


s__domain(s__connectedPeripheral__m,n__1,s__ComputerHardware)

ComputingBrands.kif 3506-3506 The number 1 argument of %1 is a connected peripheral of 1 is an instance of computer hardware

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


( ! [V__Hardware] :
   (((s__instance(V__Hardware,s__ComputerHardware) =>
         ( ? [V__Computer] :
           ((s__instance(V__Computer,s__Computer) &
               s__component(V__Hardware,V__Computer)))))
     &
     (( ? [V__Computer] :
         ((s__instance(V__Computer,s__Computer) &
             s__component(V__Hardware,V__Computer))))
     =>
     s__instance(V__Hardware,s__ComputerHardware)))
)
)

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