ComputerProgram(computer program) |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 650-650 | The number 1 argument of startup time delay is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 351-351 | The number 1 argument of can run on is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1222-1222 | The number 2 argument of dependency type is a subclass of computer program |