No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4316-4316 | Data entry is a subclass of user direct action |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4317-4317 | Data entry is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4477-4477 | Activating a deactivated account is a subclass of data entry |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4493-4493 | De-activating an account is a subclass of data entry |