loggedInDuring - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - loggedInDuring

loggedInDuring

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	The number 1 argument of logged-in during is an instance of agent
(domain loggedInDuring 2 UserAccount)	ComputingBrands.kif 4330-4330	The number 2 argument of logged-in during is an instance of user account
(domain loggedInDuring 3 TimeInterval)	ComputingBrands.kif 4331-4331	The number 3 argument of logged-in during is an instance of time interval
(instance loggedInDuring TernaryPredicate)	ComputingBrands.kif 4328-4328	logged-in during is an instance of ternary predicate

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	If two-factor authentication is an attribute of an user account and an agent is logged-in to the user account during a time interval, then there exists the time intervalF such that the time intervalF is an instance of two-factor login and the agent is an agent of the time intervalF and the accountUsed in the time intervalF is the user account and the time of existence of the time intervalF happens earlier than the time interval
(=> (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	If an agent is logged-in to an user account during a time interval, then there exists a process such that the process is an instance of logging in and the agent is an agent of the process and the user account is a patient of the process and the agent has account the user account and the time interval happens earlier than the time of existence of the process
(=> (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	If an agent is logged-in to an user account during a time interval, then the statement there exist an entity and another entity such that the entity is an instance of computer process and the agent is an agent of the entity and device account the user account and the other entity and the other entity is an instance of computer and the entity is running on the other entity and the other entity is an instrument for the entity holds during the time interval has the modal force of possibility

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