|
|
   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 は エンジニアリング部品 の subclass では %n |
| (subclass ComputerHardware Product) | QoSontology.kif 59-59 | ComputerHardware は 製品 の subclass では %n |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain connectedPeripheral 1 ComputerHardware) | ComputingBrands.kif 3533-3533 | connectedPeripheral の数値 1 引数は ComputerHardware の instance では %n |
| antecedent |
|
|
| (<=> (instance ?Hardware ComputerHardware) (exists (?Computer) (and (instance ?Computer Computer) (component ?Hardware ?Computer)))) |
QoSontology.kif 63-68 | 微粒子オブジェクト は ComputerHardware の instance では %n 微粒子オブジェクト 微粒子オブジェクト は Computer の instance では %n 微粒子オブジェクト は 微粒子オブジェクト の component では %n |
|
|
|