Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LoginFailure(login failure) |
| appearance as argument number 1 |
|
| (subclass LoginFailure UserDirectAction) | ComputingBrands.kif 3914-3914 | Login failure is a subclass of user direct action |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LoginFailure "login failure") | domainEnglishFormat.kif 65134-65134 |
| 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 3915-3926 | If X is an instance of login failure, Y is an agent of X, and Y has account Z, then there doesn't exist W such that Y is an agent of W, W is an instance of logging in, and Z is a patient of W holds during the time of existence of X |
|