No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 109-109 | DeletingData est une sous-classe de ComputerProcess |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4561-4561 | DeletingAnAccount est une sous-classe de DeletingData |