| appearance as argument number 1 |
|
| (documentation loggedInDuring EnglishLanguage "A ComputerUser is logged in to a UserAccount during a TimeInterval.") | ComputingBrands.kif 4332-4333 | |
| (domain loggedInDuring 1 AutonomousAgent) | ComputingBrands.kif 4329-4329 | loggedInDuring 的 1 数量 是 施事体 的 instance |
| (domain loggedInDuring 2 UserAccount) | ComputingBrands.kif 4330-4330 | loggedInDuring 的 2 数量 是 用户帐号 的 instance |
| (domain loggedInDuring 3 TimeInterval) | ComputingBrands.kif 4331-4331 | loggedInDuring 的 3 数量 是 时距 的 instance |
| (instance loggedInDuring TernaryPredicate) | ComputingBrands.kif 4328-4328 | loggedInDuring 是 三元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage loggedInDuring "%1 is logged-in to %2 during %3") | ComputingBrands.kif 4335-4335 | |
| (termFormat EnglishLanguage loggedInDuring "logged-in during") | ComputingBrands.kif 4334-4334 |
| 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 4373-4382 | |
| (=> (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 4337-4345 | |
| (=> (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 4347-4358 |
|
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