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