No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 268-268 | SoftwareSystem e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 994-994 | OperatingSystem e' uma sub-classe de SoftwareSystem |