| appearance as argument number 1 |
|
| (documentation loggedInDuring EnglishLanguage "A ComputerUser is logged in to a UserAccount during a TimeInterval.") | ComputingBrands.kif 4295-4296 | |
| (domain loggedInDuring 1 Agent) | ComputingBrands.kif 4292-4292 | loggedInDuring 的 1 数量 是 施事体 的 instance |
| (domain loggedInDuring 2 UserAccount) | ComputingBrands.kif 4293-4293 | loggedInDuring 的 2 数量 是 用户帐号 的 instance |
| (domain loggedInDuring 3 TimeInterval) | ComputingBrands.kif 4294-4294 | loggedInDuring 的 3 数量 是 时距 的 instance |
| (instance loggedInDuring TernaryPredicate) | ComputingBrands.kif 4291-4291 | loggedInDuring 是 三元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage loggedInDuring "%1 is logged-in to %2 during %3") | ComputingBrands.kif 4298-4298 | |
| (termFormat EnglishLanguage loggedInDuring "logged-in during") | ComputingBrands.kif 4297-4297 |
| 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 4336-4345 | |
| (=> (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 4300-4308 | |
| (=> (loggedInDuring ?A ?UA ?T) (modalAttribute (holdsDuring ?T (exists (?P) (and (instance ?P ComputerProcess) (agent ?P ?A) (deviceAccount ?UA ?C) (instance ?C Computer) (computerRunning ?P ?C) (instrument ?P ?C)))) Possibility)) |
ComputingBrands.kif 4310-4321 |
|
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