|
|
   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 | 电脑组件 是 电脑硬件 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 83-83 | 中央处理器 是 电脑组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 70-70 | 电脑记忆 是 电脑组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 730-730 | DiskDrive 是 电脑组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 76-76 | 硬盘驱动器 是 电脑组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 825-825 | 网络适配器 是 电脑组件 的 subclass |
| 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 数量 是 电脑组件 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1841-1841 | 加载 的 1 数量 是 电脑组件 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 941-941 | 表现结果 的 2 数量 是 电脑组件 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 839-839 | 单位测量性能 的 1 数量 是 电脑组件 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 898-898 | 组件数据ID 的 2 数量 是 电脑组件 的 subclass |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 820-823 |
|
|
|