DataEntry - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DataEntry EnglishLanguage "The Process of a ComputerUser performing ContentDevelopment that results in DigitalData on a Computer.")	ComputingBrands.kif 4307-4309
(subclass DataEntry ContentDevelopment)	ComputingBrands.kif 4312-4312
(subclass DataEntry UserDirectAction)	ComputingBrands.kif 4311-4311

appearance as argument number 2

(subclass ActivatingADeactivatedAccount DataEntry)	ComputingBrands.kif 4472-4472
(subclass DeactivatingAnAccount DataEntry)	ComputingBrands.kif 4488-4488
(termFormat EnglishLanguage DataEntry "data entry")	ComputingBrands.kif 4310-4310

antecedent

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

ComputingBrands.kif 4314-4321

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)))))

ComputingBrands.kif 4294-4305