TreeView Knowledge Base Browser - userName

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - userName

userName

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2062-2064
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2060-2060	The number 1 argument of user name is an instance of user account
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2061-2061	The number 2 argument of user name is an instance of user name
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2059-2059	user name is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2058-2058	user name is a subrelation of names

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4898-4898
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4897-4897
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4896-4896
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65968-65968

antecedent

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

ComputingBrands.kif 4101-4114

If a process is an instance of change user name and an agent is an agent of the process and the agent has account an user account and the user name of the user account is an user name,
then there exists an entity such that the entity is an instance of user name and the entity is not equal to the user name and the user name of the user account is the entity holds during immediately after the time of existence of the process

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4101-4114	If a process is an instance of change user name and an agent is an agent of the process and the agent has account an user account and the user name of the user account is an user name, then there exists an entity such that the entity is an instance of user name and the entity is not equal to the user name and the user name of the user account is the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4143-4153	If a process is an instance of creating an account and an agent is an agent of the process, then there exist an entity, another entity and a third entity such that the agent has account the entity and the entity has password the other entity and the user name of the entity is the third entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2051-2054	If an agent has account an user account, then there exists an user name such that the user name of the user account is the user name
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2032-2037	If an user account is an instance of Apple ID, then there exists an user name such that the user name is an instance of email address and the user name of the user account is the user name

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