No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 109-109 | DeletingData 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4561-4561 | DeletingAnAccount 是 DeletingData 的 subclass |