consequent

(=>     (holdsDuring ?T         (hasAccount ?A ?UA))     (holdsDuring ?T         (attribute ?A ComputerUser)))	QoSontology.kif 2207-2211	If an entity has account another entity holds during a time position, then computer user is an attribute of the entity holds during the time position
(=>     (instance ?ACTION UserAction)     (exists (?COMP_USER)         (and             (attribute ?COMP_USER ComputerUser)             (agent ?ACTION ?COMP_USER))))	ComputerInput.kif 1173-1178	If a process is an instance of user action, then there exists an entity_USER such that computer user is an attribute of the entity_USER and the entity_USER is an agent of the process
(=>     (instance ?DE DataEntry)     (exists (?DD ?A)         (and             (instance ?DD DigitalData)             (agent ?DD ?A)             (attribute ?A ComputerUser)             (result ?DE ?DD))))	ComputingBrands.kif 4314-4321	If a process is an instance of data entry, then there exist another process and an agent such that the other process is an instance of digital data and the agent is an agent of the other process and computer user is an attribute of the agent and the other process is a result of the process
(=>     (instance ?Request UserRequest)     (exists (?User)         (and             (attribute ?User ComputerUser)             (agent ?Request ?User))))	QoSontology.kif 1865-1870	If a process is an instance of user request, then there exists an agent such that computer user is an attribute of the agent and the agent is an agent of the process

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