ComputerProgram(电脑程序) |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 650-650 | 启动时间延迟 的 1 数量 是 电脑程序 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 351-351 | 可以操作 的 1 数量 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1222-1222 | 依赖类型 的 2 数量 是 电脑程序 的 subclass |