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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerHardware

Sigma KEE - ComputerHardware
ComputerHardware

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 473-473
(subclass ComputerHardware Product) QoSontology.kif 59-59

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


(partTypes InternalComputerLoudspeaker ComputerHardware) ComputerInput.kif 435-435
(subclass ComputerComponent ComputerHardware) QoSontology.kif 797-797
(subclass ComputerInputDevice ComputerHardware) QoSontology.kif 462-462
(subclass ComputerOutputDevice ComputerHardware) QoSontology.kif 472-472
(subclass HardwareSystem ComputerHardware) QoSontology.kif 283-283
(subclass Sensor ComputerHardware) QoSontology.kif 1663-1663
(termFormat EnglishLanguage ComputerHardware "computer hardware") domainEnglishFormat.kif 3139-3139

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


(<=>
    (instance ?Hardware ComputerHardware)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (component ?Hardware ?Computer))))
QoSontology.kif 63-68


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners