accountUsed |
appearance as argument number 1 |
(documentation accountUsed EnglishLanguage "The UserAccount used in a particular Process.") | ComputingBrands.kif 4164-4164 | |
(domain accountUsed 1 ComputerProcess) | ComputingBrands.kif 4161-4161 | Le nombre 1 argument de accountUsed est une instance de ComputerProcess |
(domain accountUsed 2 UserAccount) | ComputingBrands.kif 4162-4162 | Le nombre 2 argument de accountUsed est une instance de UserAccount |
(instance accountUsed CaseRole) | ComputingBrands.kif 4160-4160 | accountUsed est une instance de r�le d�pendant du cas |
(subrelation accountUsed patient) | ComputingBrands.kif 4163-4163 | accountUsed est une sous-relation de patient |
appearance as argument number 2 |
(format EnglishLanguage accountUsed "the accountUsed in %1 is %2") | ComputingBrands.kif 4166-4166 | |
(termFormat EnglishLanguage accountUsed "account used") | ComputingBrands.kif 4165-4165 |
consequent |
(=> (and (attribute ?AC TwoFactorAuthentication) (loggedInDuring ?A ?AC ?T)) (exists (?TF) (and (instance ?TF TwoFactorLoggingIn) (agent ?TF ?A) (accountUsed ?TF ?AC) (earlier (WhenFn ?TF) ?T)))) |
ComputingBrands.kif 4373-4382 |
|