LoginFailure
|
|
appearance as argument number 1 |
(subclass LoginFailure UserDirectAction) | ComputingBrands.kif 4008-4008 | LoginFailure ist eine teilkategorie von UserDirectAction |
appearance as argument number 2 |
(termFormat EnglishLanguage LoginFailure "login failure") | domainEnglishFormat.kif 65133-65133 |
antecedent |
(=> (and (instance ?LF LoginFailure) (agent ?LF ?A) (hasAccount ?A ?AC)) (holdsDuring (WhenFn ?LF) (not (exists (?L) (and (agent ?L ?A) (instance ?L LoggingIn) (patient ?L ?AC)))))) |
ComputingBrands.kif 4009-4020 |
|