DataEntry - Sigma Knowledge base Browser

antecedent

(=>
    (instance ?DE DataEntry)
    (exists (?DD ?A)
        (and
            (instance ?DD DigitalData)
            (agent ?DD ?A)
            (attribute ?A ComputerUser)
            (result ?DE ?DD))))

If X is an instance of data entry, then there exist Y, Z such that Y is an instance of digital data, Z is an agent of Y, computer user is an attribute of Z, and Y is a result of X

consequent

(=>
    (instance ?TF TwoFactorLoggingIn)
    (exists (?DE ?DD)
        (and
            (subProcess ?DE ?TF)
            (instance ?DE DataEntry)
            (instance ?DD DigitalData)
            (objectTransferred ?DE ?DD)
            (not
                (instance ?DD ComputerPassword))
            (not
                (instance ?DD UserName)))))

If X is an instance of two_factor login, then All of the following hold: (1) there exist Y (2) Z such that Y is a subprocess of X (3) Y is an instance of data entry (4) Z is an instance of digital data (5) the object transferred in Y is Z (6) Z is not an instance of computer password (7) Z is not an instance of user name

(documentation DataEntry EnglishLanguage "The Process of a ComputerUser performing ContentDevelopment that results in DigitalData on a Computer.")	ComputingBrands.kif 4218-4220
(subclass DataEntry UserDirectAction)	ComputingBrands.kif 4222-4222	Data entry is a subclass of user direct action
(subclass DataEntry ContentDevelopment)	ComputingBrands.kif 4223-4223	Data entry is a subclass of content development

(termFormat EnglishLanguage DataEntry "data entry")	ComputingBrands.kif 4221-4221
(subclass ActivatingADeactivatedAccount DataEntry)	ComputingBrands.kif 4388-4388	Activating a deactivated account is a subclass of data entry
(subclass DeactivatingAnAccount DataEntry)	ComputingBrands.kif 4404-4404	De_activating an account is a subclass of data entry