Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| loggedInDuring |
| appearance as argument number 1 |
|
| (instance loggedInDuring TernaryPredicate) | ComputingBrands.kif 4234-4234 | logged_in during is an instance of ternary predicate |
| (domain loggedInDuring 1 AutonomousAgent) | ComputingBrands.kif 4235-4235 | The number 1 argument of logged_in during is an instance of agent |
| (domain loggedInDuring 2 UserAccount) | ComputingBrands.kif 4236-4236 | The number 2 argument of logged_in during is an instance of user account |
| (domain loggedInDuring 3 TimeInterval) | ComputingBrands.kif 4237-4237 | The number 3 argument of logged_in during is an instance of timeframe |
| (documentation loggedInDuring EnglishLanguage "A ComputerUser is logged in to a UserAccount during a TimeInterval.") | ComputingBrands.kif 4238-4239 | The number 3 argument of logged_in during is an instance of timeframe |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage loggedInDuring "logged_in during") | ComputingBrands.kif 4240-4240 | |
| (format EnglishLanguage loggedInDuring "%1 is logged_in to %2 during %3") | ComputingBrands.kif 4241-4241 |
| antecedent |
|
|
| (=> (loggedInDuring ?A ?UA ?T) (exists (?L) (and (instance ?L LoggingIn) (agent ?L ?A) (patient ?L ?UA) (hasAccount ?A ?UA) (earlier ?T (WhenFn ?L))))) |
ComputingBrands.kif 4243-4251 | If X is logged_in to Y during Z, then there exists W such that W is an instance of logging in, X is an agent of W, Y is a patient of W, X has account Y, and Z happens earlier than the time of existence of W |
| (=> (loggedInDuring ?A ?UA ?T) (modalAttribute (holdsDuring ?T (exists (?P ?C) (and (instance ?P ComputerProcess) (agent ?P ?A) (deviceAccount ?UA ?C) (instance ?C Computer) (computerRunning ?P ?C) (instrument ?P ?C)))) Possibility)) |
ComputingBrands.kif 4253-4264 | If X is logged_in to Y during Z, then All of the following hold: (1) the statement there exist W (2) V such that W is an instance of computer process (3) X is an agent of W (4) device account Y (5) V (6) V is an instance of computer (7) W is running on V (8) V is an instrument for W holds during Z has the modal force of possibility |
| (=> (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 4279-4288 | If two_factor authentication is an attribute of X and Y is logged_in to X during Z, then there exists W such that W is an instance of two_factor login, Y is an agent of W, the accountUsed in W is X, and the time of existence of W happens earlier than Z |
|