TreeView Knowledge Base Browser - ComputerUser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ComputerUser

ComputerUser(computer user)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1720-1721
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1719-1719	Computer user is an instance of relational attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16458-16458
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16457-16457
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16456-16456

antecedent

No TPTP formula. May not be expressible in strict first order.

QoSontology.kif 1723-1728

If computer user is an attribute of an agent,
then there exists an object such that the object is an instance of computer and the agent uses the object

consequent

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2075-2079	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4319-4326	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1734-1739	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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