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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(partTypes InternalComputerLoudspeaker ComputerHardware) ComputerInput.kif 566-566 partTypes InternalComputerLoudspeaker and ComputerHardware
(subclass ComputerComponent ComputerHardware) QoSontology.kif 809-809 subclass ComputerComponent and ComputerHardware
(subclass ComputerInputDevice ComputerHardware) QoSontology.kif 465-465 subclass ComputerInputDevice and ComputerHardware
(subclass ComputerOutputDevice ComputerHardware) QoSontology.kif 475-475 subclass ComputerOutputDevice and ComputerHardware
(subclass HardwareSystem ComputerHardware) QoSontology.kif 286-286 subclass HardwareSystem and ComputerHardware
(subclass Sensor ComputerHardware) QoSontology.kif 1673-1673 subclass Sensor and ComputerHardware
(termFormat ChineseLanguage ComputerHardware "电脑硬件") domainEnglishFormat.kif 16240-16240
(termFormat ChineseTraditionalLanguage ComputerHardware "電腦硬件") domainEnglishFormat.kif 16239-16239
(termFormat EnglishLanguage ComputerHardware "computer hardware") domainEnglishFormat.kif 16238-16238

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


(domain connectedPeripheral 1 ComputerHardware) ComputingBrands.kif 3522-3522 domain connectedPeripheral, 1 and ComputerHardware

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


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


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