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	Le nombre 1 argument de userName est une instance de UserAccount
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2061-2061	Le nombre 2 argument de userName est une instance de UserName
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2059-2059	userName est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2058-2058	userName est une sous-relation de 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

Processus est une instance de ChangingUserName processus est un agent de AutonomousAgent hasAccount AutonomousAgent and UserAccount userName UserAccount and UserName
entit� entit� est une instance de UserName entit� est UserName userName UserAccount and entit� pendant immediatement apr�s temps d'existence de processus

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4101-4114	Processus est une instance de ChangingUserName processus est un agent de AutonomousAgent hasAccount AutonomousAgent and UserAccount userName UserAccount and UserName entit� entit� est une instance de UserName entit� est UserName userName UserAccount and entit� pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4143-4153	Processus est une instance de CreatingAnAccount processus est un agent de AutonomousAgent entit� entit� and entit� hasAccount AutonomousAgent and entit� password entit� and entit� userName entit� and entit� pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2051-2054	hasAccount AutonomousAgent and UserAccount UserName userName UserAccount and UserName
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2032-2037	UserAccount est une instance de AppleID UserName UserName est une instance de EmailAddress userName UserAccount and UserName

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