accountAtSite - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - accountAtSite

accountAtSite

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 780-781
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 776-776	The number 1 argument of account at site is an instance of user account
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 778-778	The number 2 argument of account at site is an instance of WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 772-772	account at site is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2679-2679
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2678-2678
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2677-2677
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 774-774

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 784-792	If an user account is an account at an agent, then there exist another agent and the agent_OWNER such that the other agent is an instance of database and the agent_OWNER is an instance of agent and the agent possesses the agent_OWNER and the other agent possesses the agent_OWNER and the user account is a part of the other agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1078-1082	If an user account is an account at a WebSite and an agent has account the user account, then the agent is a registered user of the WebSite
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3943-3957	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 WebSite 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 WebSite is a patient of the entity holds during the time interval has the modal force of possibility

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1935-1954	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 WebSite 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 WebSite is an instance of WebSite and the agent is an agent of the object and the object ends up at the other agent and the WebSite 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 WebSite and the other user account is an account at the WebSite and business account is an attribute of another object and business account is an attribute of a third object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1967-1986	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 WebSite 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 WebSite is an instance of WebSite and the agent is an agent of the object and the object ends up at the other agent and the WebSite 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 WebSite and the other user account is an account at the WebSite and business account is an attribute of another object and consumer account is an attribute of a third object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1999-2018	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 WebSite 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 WebSite is an instance of WebSite and the agent is an agent of the object and the object ends up at the other agent and the WebSite 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 WebSite and the other user account is an account at the WebSite and consumer account is an attribute of another object and consumer account is an attribute of a third object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1070-1076	If an agent is a registered user of a WebSite, 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 WebSite

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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