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 596-596 ComputerHardware è una sottoclasse di Meccanismo
(subclass ComputerHardware Product) QoSontology.kif 59-59 ComputerHardware è una sottoclasse di Prodotto

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


(partTypes InternalComputerLoudspeaker ComputerHardware) ComputerInput.kif 539-539 partTypes InternalComputerLoudspeaker and ComputerHardware
(subclass ComputerComponent ComputerHardware) QoSontology.kif 811-811 ComputerComponent è una sottoclasse di ComputerHardware
(subclass ComputerInputDevice ComputerHardware) QoSontology.kif 467-467 ComputerInputDevice è una sottoclasse di ComputerHardware
(subclass ComputerOutputDevice ComputerHardware) QoSontology.kif 477-477 ComputerOutputDevice è una sottoclasse di ComputerHardware
(subclass HardwareSystem ComputerHardware) QoSontology.kif 288-288 HardwareSystem è una sottoclasse di ComputerHardware
(subclass Sensor ComputerHardware) QoSontology.kif 1668-1668 Sensor è una sottoclasse di ComputerHardware
(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 Il numero 1 argomenti di connectedPeripheral è un istanza di ComputerHardware

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


(<=>
    (instance ?Hardware ComputerHardware)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (component ?Hardware ?Computer))))
QoSontology.kif 63-68 OggettoCorpuscolare è un' istanza di ComputerHardware OggettoCorpuscolare OggettoCorpuscolare è un' istanza di Computer OggettoCorpuscolare è un componente di OggettoCorpuscolare


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 3.0 is open source software produced by Articulate Software and its partners