FinancialAccount - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FinancialAccount

FinancialAccount(financial account)

Totten_trust, account, active_trust, blind_trust, business_relationship, charitable_trust, constructive_trust, direct_trust, discretionary_trust, express_trust, fixed_investment_trust, implied_trust, inter_vivos_trust, involuntary_trust, living_trust, nondiscretionary_trust, passive_trust, public_trust, resulting_trust, savings_account_trust, savings_bank_trust, spendthrift_trust, testamentary_trust, trust, trust_account, trust_fund, trustee_account

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 59-61
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10026-10026
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4504-4504	Financial account is a subclass of account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 58-58	Financial account is a subclass of agreement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23727-23727
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23726-23726
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23725-23725

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 283-283	The number 1 argument of currency is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 230-230	The number 1 argument of account at is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 249-249	The number 1 argument of account holder is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 237-237	The number 2 argument of card account is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 243-243	The number 2 argument of check account is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 522-522	The number 1 argument of interest earned is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 531-531	The number 1 argument of simple interest is an instance of financial account

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 436-453	If a financial transaction is an instance of deposit and a financial account is an instance of financial account and the financial transaction ends up at the currency of the financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the financial account current account balance immediately before the time of existence of the financial transaction for another real number the unit of measure(s) and a third real number is equal to (the other real number and the real number), then the financial account current account balance immediately after after the financial transaction for the third real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 408-424	If a financial transaction is an instance of payment and the financial transaction originates at the currency of a financial account and the financial account is an instance of financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the financial account current account balance immediately before the time of existence of the financial transaction for another real number the unit of measure(s) and a third real number is equal to (the other real number and the real number), then the financial account current account balance immediately after the time of existence of the financial transaction for the third real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 466-481	If a financial transaction is an instance of withdrawal and an object is an instance of financial account and the financial transaction originates at the object and a real number an unit of measure(s) is a transaction amount of the financial transaction and the object current account balance immediately before the time of existence of the financial transaction for another real number the unit of measure(s) and a third real number is equal to (the other real number and the real number), then the object current account balance immediately after after the financial transaction for the third real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 120-135	If value of an object is a currency measure and a process is an instance of processingA check and the object is a patient of the process and the process ends up at the currency of a financial account and the financial account is an instance of financial account and the time of existence of the process is equal to the processTime, then there exists a financial transaction such that the financial transaction is an instance of deposit and the object is an instrument for the financial transaction and the time of existence of the financial transaction is equal to the financial transactionTime and the processTime meets the financial transactionTime and the currency measure is a transaction amount of the financial transaction and the financial transaction ends up at the currency of the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 63-67	If an entity is an instance of financial account, then the entity the attribute financial contract and the entity the attribute service contract
No TPTP formula. May not be expressible in strict first order.	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

consequent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 391-401	If a process is an instance of closing an account and an entity is a patient of the process, then the entity is an instance of financial account holds during immediately before the time of existence of the process and the entity is not an instance of financial account holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 293-306	If a process is an instance of opening an account and the process is located at 2 and a 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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 459-464	If a process is an instance of withdrawal, then there exists a financial account such that the financial account is an instance of financial account and the process originates at the currency of the financial account

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