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 | accountUsed 的 1 数量 是 电脑程序 的 instance |
(domain accountUsed 2 UserAccount) | ComputingBrands.kif 4162-4162 | accountUsed 的 2 数量 是 用户帐号 的 instance |
(instance accountUsed CaseRole) | ComputingBrands.kif 4160-4160 | accountUsed 是 格角色 的 instance |
(subrelation accountUsed patient) | ComputingBrands.kif 4163-4163 | accountUsed 是 受事 的 subrelation |
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 |