TreeView Knowledge Base Browser - hasAccount

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - hasAccount

hasAccount

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2178-2179
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2176-2176	The number 1 argument of has account is an instance of agent
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2177-2177	The number 2 argument of has account is an instance of user account
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2175-2175	has account is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2174-2174	has account is a subrelation of possesses

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3596-3596
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3595-3595
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3594-3594
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27527-27527
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27526-27526
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27525-27525

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 881-885	If an user account is an account at a web site and an agent has account the user account, then the agent is a registered user of the web site
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4427-4444	If a cognitive agent has account an user account and the user account has password a computer password and device account the user account and a computer and the cognitive agent doesn't know the user account has password the computer password and the cognitive agent knows the account the user account has recovery key an entity and the cognitive agent possesses the computer, then the statement there exists another entity such that the other entity is an instance of change password and the user account is a patient of the other entity and the cognitive agent is an agent of the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 660-665	If an user account is an instance of user account and business account is an attribute of the user account and an agent has account the user account, then the agent is an instance of business
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4123-4135	If a process is an instance of change account information and an agent is an agent of the process and the agent has account an user account and the account the user account has information a proposition, then there exists an entity such that the entity is not equal to the proposition and the account the user account has information 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 4079-4092	If a process is an instance of change password and an agent is an agent of the process and the agent has account an user account and the user account has password a computer password, then there exists an entity such that the entity is an instance of computer password and the entity is not equal to the computer password and the user account has password 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 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 4566-4576	If a process is an instance of deleting an account and an entity is an instance of account and an agent has account the entity holds during immediately before the time of existence of the process and the entity is a patient of the process and the agent is an agent of the process, then not the agent has account 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 4009-4020	If a process is an instance of login failure and an agent is an agent of the process and the agent has account the agentC, then there doesn't exist an entity such that the agent is an agent of the entity and the entity is an instance of logging in and the agentC is a patient of the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3972-3986	If a process is an instance of logging in and an agent has account an user account and the user account is an account at a web site and a time interval is equal to immediately after the time of existence of the process and the agent is an agent of the process, then the statement there exists an entity such that the entity is an instance of computer process and the agent is an agent of the entity and the web site is a patient of the entity holds during the time interval has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3988-4002	If a process is an instance of logging in and an agent has account an user account and device account the user account and a computer and a time interval is equal to immediately after the time of existence of the process and the agent is an agent of the process, then the statement there exists an entity such that the entity is an instance of computer process and the agent is an agent of the entity and the computer is an instrument for the entity holds during the time interval has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1099-1103	If the ID for an user account is an identifier and an agent has account the user account, then the identifier expresses the agent
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2157-2160	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.	QoSontology.kif 2194-2197	If an agent has account an user account, then there exists a computer password such that the user account has password the computer password
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2181-2185	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

consequent

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.	ComputingBrands.kif 4566-4576	If a process is an instance of deleting an account and an entity is an instance of account and an agent has account the entity holds during immediately before the time of existence of the process and the entity is a patient of the process and the agent is an agent of the process, then not the agent has account 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 3965-3970	If a process is an instance of logging in and an agent is an agent of the process, then there exists an user account such that the agent has account the user account
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1727-1746	If an object is an instance of financial transaction and business to business transaction is an attribute of the object, then there exist an user account, another user account,, , an agent,, , another agent and a web site such that the user account is an instance of user account and the other user account is an instance of user account and the agent is an instance of agent and the other agent is an instance of agent and the web site is an instance of web site and the agent is an agent of the object and the object ends up at the other agent and the web site is an instrument for the object and the agent has account the user account and the other agent has account the other user account and the user account is an account at the web site and the other user account is an account at the web site and business account is an attribute of the user account and business account is an attribute of the other user account
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1759-1778	If an object is an instance of financial transaction and business to consumer transaction is an attribute of the object, then there exist an user account, another user account,, , an agent,, , another agent and a web site such that the user account is an instance of user account and the other user account is an instance of user account and the agent is an instance of agent and the other agent is an instance of agent and the web site is an instance of web site and the agent is an agent of the object and the object ends up at the other agent and the web site is an instrument for the object and the agent has account the user account and the other agent has account the other user account and the user account is an account at the web site and the other user account is an account at the web site and business account is an attribute of the user account and consumer account is an attribute of the other user account
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1791-1810	If an object is an instance of financial transaction and consumer to consumer transaction is an attribute of the object, then there exist an user account, another user account,, , an agent,, , another agent and a web site such that the user account is an instance of user account and the other user account is an instance of user account and the agent is an instance of agent and the other agent is an instance of agent and the web site is an instance of web site and the agent is an agent of the object and the object ends up at the other agent and the web site is an instrument for the object and the agent has account the user account and the other agent has account the other user account and the user account is an account at the web site and the other user account is an account at the web site and consumer account is an attribute of the user account and consumer account is an attribute of the other user account
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2146-2149	If an user account is an instance of user account, then there exists an agent such that the agent has account the user account
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4337-4345	If an agent is logged_in to an user account during a time interval, then there exists a process such that the process is an instance of logging in and the agent is an agent of the process and the user account is a patient of the process and the agent has account the user account and the time interval happens earlier than the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 873-879	If an agent is a registered user of a web site, then there exists an user account such that the user account is an instance of user account and the agent has account the user account and the user account is an account at the web site

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