No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 268-268 | Software system is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 994-994 | Operating system is a subclass of software system |