No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 109-109 | Deleting data is a subclass of computer process |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4561-4561 | Deleting an account is a subclass of deleting data |