| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 811-811 | 子類 電腦組件 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. | QoSontology.kif 76-76 | 子類 硬盤驅動器 and 電腦組件 |
| 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 825-825 | 子類 網絡適配器 and 電腦組件 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 730-730 | 子類 DiskDrive and 電腦組件 |
|
|