ComputerProgram |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 650-650 | 域 啟動時間延遲, 1 and ComputerProgram |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 351-351 | 域子類 可以操作, 1 and ComputerProgram |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1222-1222 | 域子類 依賴類型, 2 and ComputerProgram |