| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 857-857 | 监测计划 是 电脑程序 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 927-927 | 监控连接cmd 是 监测计划 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 931-931 | 监视应用程序cmd 是 监测计划 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 935-935 | 监视组件cmd 是 监测计划 的 subclass |
|
|