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