|
|
   ComputationalSystem
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 21-23 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9952-9952 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10690-10690 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10691-10691 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10692-10692 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10700-10700 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10701-10701 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10697-10697 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10699-10699 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10698-10698 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10694-10694 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10693-10693 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 20-20 | 计算系统 是 产品 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 30-30 | 计算机网络 是 计算系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1807-1807 | 计算机资源 是 计算系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 289-289 | 硬件系统 是 计算系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1324-1324 | 实时系统 是 计算系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1835-1835 | 服务器 是 计算系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16242-16242 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16241-16241 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16240-16240 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1038-1038 | 基准表现 的 1 数量 是 计算系统 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2147-2147 | 收集率 的 1 数量 是 计算系统 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 549-549 | 的主持 的 1 数量 是 计算系统 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1662-1662 | 记忆体大小 的 1 数量 是 计算系统 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1060-1060 | 优先 的 1 数量 是 计算系统 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2154-2154 | 发送率 的 1 数量 是 计算系统 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 872-872 | 系统测量的 的 2 数量 是 计算系统 的 instance |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1814-1819 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 95-106 |
|
|
|
