| appearance as argument number 1 |
|
| (documentation loggedInDuring EnglishLanguage "A ComputerUser is logged in to a UserAccount during a TimeInterval.") | ComputingBrands.kif 4327-4328 | |
| (domain loggedInDuring 1 AutonomousAgent) | ComputingBrands.kif 4324-4324 | |
| (domain loggedInDuring 2 UserAccount) | ComputingBrands.kif 4325-4325 | |
| (domain loggedInDuring 3 TimeInterval) | ComputingBrands.kif 4326-4326 | |
| (instance loggedInDuring TernaryPredicate) | ComputingBrands.kif 4323-4323 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage loggedInDuring "%1 is logged_in to %2 during %3") | ComputingBrands.kif 4330-4330 | |
| (termFormat EnglishLanguage loggedInDuring "logged_in during") | ComputingBrands.kif 4329-4329 |
| antecedent |
|
|
| (=> (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 4368-4377 | |
| (=> (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 4332-4340 | |
| (=> (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 4342-4353 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners