TreeView Knowledge Base Browser - UserAccount

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - UserAccount

UserAccount

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2036-2038
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10328-10328
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4542-4542	UserAccount e' uma sub-classe de Account
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2035-2035	UserAccount e' uma sub-classe de Objeto Representendo Conteudo Abstrato

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2001-2001	AppleID e' uma sub-classe de UserAccount
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60842-60842
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60841-60841
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60840-60840

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 626-626	O argumento numero 1 de accountAtSite e' uma instancia de UserAccount
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4411-4411	O argumento numero 1 de accountInformation e' uma instancia de UserAccount
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4157-4157	O argumento numero 1 de accountPhoneNumber e' uma instancia de UserAccount
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4162-4162	O argumento numero 2 de accountUsed e' uma instancia de UserAccount
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3950-3950	O argumento numero 1 de deviceAccount e' uma instancia de UserAccount
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2071-2071	O argumento numero 2 de hasAccount e' uma instancia de UserAccount
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4330-4330	O argumento numero 2 de loggedInDuring e' uma instancia de UserAccount
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2098-2098	O argumento numero 2 de password e' uma instancia de UserAccount
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4421-4421	O argumento numero 2 de recoveryKey e' uma instancia de UserAccount
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4285-4285	O argumento numero 1 de trustedDevice e' uma instancia de UserAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 710-710	O argumento numero 1 de userFeedbackScore e' uma instancia de UserAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1091-1091	O argumento numero 2 de userIDString e' uma instancia de UserAccount
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2060-2060	O argumento numero 1 de userName e' uma instancia de UserAccount

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 660-665	UserAccount e' uma instancia de UserAccount BusinessAccount e' um atributo de UserAccount hasAccount AutonomousAgent and UserAccount AutonomousAgent e' uma instancia de Business
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4482-4491	Processo e' uma instancia de ActivatingADeactivatedAccount Entidade e' uma instancia de UserAccount Entidade e' um patient de Processo AccountDeactivated e' um atributo de Entidade vale durante imediatemente antes de tempo de existencia de Processo AccountActive e' um atributo de Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4498-4507	Processo e' uma instancia de DeactivatingAnAccount Entidade e' uma instancia de UserAccount Entidade e' um patient de Processo AccountDeactivated e' um atributo de Entidade vale durante imediatemente apos tempo de existencia de Processo AccountActive e' um atributo de Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1105-1110	UserAccount e' uma instancia de UserAccount Identifier Identifier e' uma instancia de Identifier userIDString Identifier and UserAccount
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2040-2043	UserAccount e' uma instancia de UserAccount AutonomousAgent hasAccount AutonomousAgent and UserAccount

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 648-652	Atributo e' um atributo de Objeto Atributo e' uma instancia de AccountAttribute Objeto e' uma instancia de UserAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1727-1746	Objeto e' uma instancia de Transacao Financeira BusinessToBusiness e' um atributo de Objeto UserAccount UserAccount, AutonomousAgent, AutonomousAgent and WebSite UserAccount e' uma instancia de UserAccount UserAccount e' uma instancia de UserAccount AutonomousAgent e' uma instancia de AutonomousAgent AutonomousAgent e' uma instancia de AutonomousAgent WebSite e' uma instancia de WebSite Objeto e' um agente de AutonomousAgent Objeto termina em AutonomousAgent WebSite e' um instrumento para Objeto hasAccount AutonomousAgent and UserAccount hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite accountAtSite UserAccount and WebSite BusinessAccount e' um atributo de UserAccount BusinessAccount e' um atributo de UserAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1759-1778	Objeto e' uma instancia de Transacao Financeira BusinessToConsumer e' um atributo de Objeto UserAccount UserAccount, AutonomousAgent, AutonomousAgent and WebSite UserAccount e' uma instancia de UserAccount UserAccount e' uma instancia de UserAccount AutonomousAgent e' uma instancia de AutonomousAgent AutonomousAgent e' uma instancia de AutonomousAgent WebSite e' uma instancia de WebSite Objeto e' um agente de AutonomousAgent Objeto termina em AutonomousAgent WebSite e' um instrumento para Objeto hasAccount AutonomousAgent and UserAccount hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite accountAtSite UserAccount and WebSite BusinessAccount e' um atributo de UserAccount ConsumerAccount e' um atributo de UserAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1791-1810	Objeto e' uma instancia de Transacao Financeira ConsumerToConsumer e' um atributo de Objeto UserAccount UserAccount, AutonomousAgent, AutonomousAgent and WebSite UserAccount e' uma instancia de UserAccount UserAccount e' uma instancia de UserAccount AutonomousAgent e' uma instancia de AutonomousAgent AutonomousAgent e' uma instancia de AutonomousAgent WebSite e' uma instancia de WebSite Objeto e' um agente de AutonomousAgent Objeto termina em AutonomousAgent WebSite e' um instrumento para Objeto hasAccount AutonomousAgent and UserAccount hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite accountAtSite UserAccount and WebSite ConsumerAccount e' um atributo de UserAccount ConsumerAccount e' um atributo de UserAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 873-879	registeredUser AutonomousAgent and WebSite UserAccount UserAccount e' uma instancia de UserAccount hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1112-1120	userIDString Identifier and UserAccount o argumento UserAccount UserAccount e' uma instancia de UserAccount userIDString Identifier and UserAccount tem a forca modal de Likely

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