| ComputerComponent(電腦組件) | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 812-818 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 811-811 | 子類 電腦組件 and 電腦硬件 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 83-83 | 子類 中央處理器 and 電腦組件 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 70-70 | 子類 電腦記憶 and 電腦組件 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 730-730 | 子類 DiskDrive and 電腦組件 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 76-76 | 子類 硬盤驅動器 and 電腦組件 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 825-825 | 子類 網絡適配器 and 電腦組件 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16284-16284 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16283-16283 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16282-16282 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 899-899 | 域 組件數據ID, 3 and 電腦組件 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1841-1841 | 域 加載, 1 and 電腦組件 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 941-941 | 域 表現結果, 2 and 電腦組件 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 839-839 | 域 單位測量性能, 1 and 電腦組件 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 898-898 | 域子類 組件數據ID, 2 and 電腦組件 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 820-823 |
|
|
|
|