No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 153-153 | 电脑程序 是 内部变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 91-91 | 数据传输 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 109-109 | DeletingData 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 132-132 | RestoringData 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 883-883 | 测量性能 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1730-1730 | 用户请求 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1741-1741 | 电脑回应 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1779-1779 | 多任务处理 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1794-1794 | 电脑任务 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1882-1882 | 退出 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1903-1903 | 数据保存 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1922-1922 | 数据压缩 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1957-1957 | 使用A资源 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1973-1973 | 重用资源 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3419-3419 | 粉碎 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3491-3491 | ComputerBackingUp 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3792-3792 | MountingADevice 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4037-4037 | DHCPServer 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1199-1199 | UserSignifiedAction 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1770-1770 | WindowScrolling 是 电脑程序 的 subclass |