DataEntry
|
|
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 | DataEntry 是 内容制作 的 subclass |
(subclass DataEntry UserDirectAction) | ComputingBrands.kif 4316-4316 | DataEntry 是 UserDirectAction 的 subclass |
appearance as argument number 2 |
(subclass ActivatingADeactivatedAccount DataEntry) | ComputingBrands.kif 4477-4477 | ActivatingADeactivatedAccount 是 DataEntry 的 subclass |
(subclass DeactivatingAnAccount DataEntry) | ComputingBrands.kif 4493-4493 | DeactivatingAnAccount 是 DataEntry 的 subclass |
(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 |