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	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 4332-4340	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 4342-4353	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