TreeView Knowledge Base Browser - accountAt

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - accountAt

accountAt

appearance as argument number 1

(documentation accountAt EnglishLanguage "(accountAt ?Account ?Bank) means that ?Account is a FinancialAccount opened in the FinancialOrganization ?Bank.")	FinancialOntology.kif 232-233
(domain accountAt 1 FinancialAccount)	FinancialOntology.kif 230-230	The number 1 argument of account at is an instance of financial account
(domain accountAt 2 FinancialOrganization)	FinancialOntology.kif 231-231	The number 2 argument of account at is an instance of financial organization
(instance accountAt BinaryPredicate)	FinancialOntology.kif 229-229	account at is an instance of binary predicate
(subrelation accountAt partyToAgreement)	FinancialOntology.kif 228-228	account at is a subrelation of party to agreement

appearance as argument number 2

(format ChineseLanguage accountAt "%1 %n 是被 %2 held ")	domainEnglishFormat.kif 2674-2674
(format ChineseTraditionalLanguage accountAt "%1 %n 是被 %2 held ")	domainEnglishFormat.kif 2673-2673
(format EnglishLanguage accountAt "%1 is held by %2")	domainEnglishFormat.kif 2672-2672
(termFormat ChineseLanguage accountAt "帐号在")	domainEnglishFormat.kif 5243-5243
(termFormat ChineseTraditionalLanguage accountAt "帳號在")	domainEnglishFormat.kif 5242-5242
(termFormat EnglishLanguage accountAt "account at")	domainEnglishFormat.kif 5241-5241

antecedent

(=> (and (accountHolder ?Account ?Agent) (accountAt ?Account ?Bank)) (customer ?Agent ?Bank))	FinancialOntology.kif 3634-3638	If a cognitive agent holds account a financial account and the financial account is held by a financial organization, then the financial organization is a customer of the cognitive agent
(=> (and (instance ?Account CreditAccount) (accountAt ?Account ?Organization) (accountHolder ?Account ?Agent) (interestEarned ?Account ?Interest ?Period)) (exists (?Payment) (and (origin ?Payment ?Agent) (transactionAmount ?Payment ?Interest) (destination ?Payment ?Organization))))	FinancialOntology.kif 1212-1222	If a financial account is an instance of credit account and the financial account is held by a financial organization and a cognitive agent holds account the financial account and the financial account is interest earned an interest for a time interval, then there exists a financial transaction such that the financial transaction originates at the cognitive agent and the interest is a transaction amount of the financial transaction and the financial transaction ends up at the financial organization
(=> (and (instance ?Account FinancialAccount) (accountAt ?Account ?Bank)) (exists (?Activity) (and (instance ?Activity ControllingAnAccount) (patient ?Activity ?Account) (agent ?Activity ?Bank))))	FinancialOntology.kif 76-84	If a financial account is an instance of financial account and the financial account is held by a financial organization, then there exists a process such that the process is an instance of controlling an account and the financial account is a patient of the process and the financial organization is an agent of the process
(=> (and (instance ?Account LiabilityAccount) (accountHolder ?Account ?Agent) (accountAt ?Account ?Bank)) (exists (?Debt) (and (property ?Debt Liability) (partyToAgreement ?Debt ?Agent) (partyToAgreement ?Debt ?Bank))))	FinancialOntology.kif 1162-1171	If a financial account is an instance of liability account and an agreement holds account the financial account and the financial account is held by another agreement, then there exists a cognitive agent such that the cognitive agent the attribute liability and the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent
(=> (and (instance ?Controlling ControllingAnAccount) (patient ?Controlling ?Account) (accountAt ?Account ?Bank)) (agent ?Controlling ?Bank))	FinancialOntology.kif 356-361	If a process is an instance of controlling an account and a financial account is a patient of the process and the financial account is held by a financial organization, then the financial organization is an agent of the process

consequent

(<=> (bankAccount ?AccountType ?Bank) (exists (?Account) (and (instance ?Account ?AccountType) (accountAt ?Account ?Bank))))	FinancialOntology.kif 3956-3961	A bank- financial organization is a bank account of a kind of financial account if and only if there exists another financial account such that the other financial account is an instance of a kind of financial account and the other financial account is held by the bank- financial organization
(=> (and (instance ?Card BankCard) (issuedBy ?Card ?Bank)) (exists (?Account) (and (instance ?Account FinancialAccount) (cardAccount ?Card ?Account) (accountAt ?Account ?Bank))))	FinancialOntology.kif 188-196	If a bank card is an instance of bank card and a financial organization is an issued by of the bank card, then there exists a financial account such that the financial account is an instance of financial account and the financial account is a card account of the bank card and the financial account is held by the financial organization
(=> (and (instance ?Opening OpeningAnAccount) (eventLocated ?Opening ?Bank) (instance ?Bank FinancialOrganization) (agent ?Opening ?Agent) (equal (WhenFn ?Opening) ?OpeningTime)) (exists (?Account ?AccountPeriod) (and (agreementPeriod ?Account ?AccountPeriod) (meetsTemporally ?OpeningTime ?AccountPeriod) (instance ?Account FinancialAccount) (accountAt ?Account ?Bank) (accountHolder ?Account ?Agent))))	FinancialOntology.kif 293-306	If a process is an instance of opening an account and the process is located at a financial organization and the financial organization is an instance of financial organization and a cognitive agent is an agent of the process and the time of existence of the process is equal to the processTime, then there exist a financial account and the financial accountPeriod such that the financial accountPeriod is an agreement period of the financial account and the processTime meets the financial accountPeriod and the financial account is an instance of financial account and the financial account is held by the financial organization and the cognitive agent holds account the financial account
(=> (instance ?Account FinancialAccount) (exists (?Organization) (and (instance ?Organization FinancialOrganization) (accountAt ?Account ?Organization))))	FinancialOntology.kif 69-74	If a financial account is an instance of financial account, then there exists a financial organization such that the financial organization is an instance of financial organization and the financial account is held by the financial organization

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