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 4312-4314
(subclass DataEntry ContentDevelopment)	ComputingBrands.kif 4317-4317
(subclass DataEntry UserDirectAction)	ComputingBrands.kif 4316-4316

appearance as argument number 2

(subclass ActivatingADeactivatedAccount DataEntry)	ComputingBrands.kif 4477-4477
(subclass DeactivatingAnAccount DataEntry)	ComputingBrands.kif 4493-4493
(termFormat EnglishLanguage DataEntry "data entry")	ComputingBrands.kif 4315-4315

antecedent

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

ComputingBrands.kif 4319-4326

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 4299-4310