FinancialAccount - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 61-63
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10015-10015
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4536-4536	Financial account is a subclass of account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 60-60	Financial account is a subclass of agreement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2334-2334	The range of account is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1015-1015	Corporate account is a subclass of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1026-1026	Deposit account is a subclass of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 970-970	Interest bearing account is a subclass of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1175-1175	Liability account is a subclass of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1189-1189	Pension plan is a subclass of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 994-994	Personal account is a subclass of financial account
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23737-23737	Personal account is a subclass of financial account
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23736-23736	Personal account is a subclass of financial account
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23735-23735	Personal account is a subclass of financial account

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 285-285	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 232-232	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 251-251	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 3457-3457	The number 1 argument of account number is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4017-4017	The number 1 argument of account status is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4031-4031	The number 1 argument of administrator is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 651-651	The number 1 argument of amount due is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3825-3825	The number 1 argument of available balance is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3848-3848	The number 1 argument of available cash is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4109-4109	The number 1 argument of buying power amount is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 239-239	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 245-245	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 554-554	The number 1 argument of compound interest is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3889-3889	The number 1 argument of credits per period is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 674-674	The number 1 argument of current account balance is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 616-616	The number 1 argument of current interest rate is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4008-4008	The number 1 argument of daily limit is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3819-3819	The number 1 argument of financial account is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 623-623	The number 1 argument of fixed interest rate is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 524-524	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 582-582	The number 1 argument of interest rate per period is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3916-3916	The number 1 argument of last statement is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4057-4057	The number 1 argument of last statement balance is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1830-1830	The number 1 argument of liquidity is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4118-4118	The number 1 argument of margin balance amount is an instance of financial account

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2338-2343	A financial account is an instance of financial account and a cognitive agent possesses a financial asset and equal the financial account and the account of the financial asset if and only if the cognitive agent holds account the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1835-1845	A process is an instance of withdrawing from an account and a financial account is an instance of financial account and the process originates at the currency of the financial account and there doesn't exist another process such that the other process is an instance of penalizing and the other process ends up at the currency of the financial account and the process causes the other process if and only if the liqudity of the financial account is high liquidity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 78-86	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 688-701	If a financial account is an instance of financial account and the financial account is minimum balance opening an account for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency, then there exist a financial transaction, a time point and another real number such that the financial transaction ends up at the currency of the financial account and the other real number the unit of measure(s) is a transaction amount of the financial transaction and the other real number is greater than or equal to the real number and the time point is an agreement effective date of the financial account and date of the financial transaction is the time point
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 703-716	If a financial account is an instance of financial account and the financial account is minimum balance using an account for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency and the financial account current account balance a day for another real number the unit of measure(s) and the other real number is less than the real number, then there exists a process such that the process is an instance of penalizing and date of the process is the day and the process ends up at the currency of the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 438-455	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 equal a third real number and (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 410-426	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 equal a third real number and (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 468-483	If a financial transaction is an instance of withdrawing from an account and a financial account is an instance of financial account and the financial transaction originates at 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 equal a third real number and (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 122-137	If value of an object is a currency measure and a process is an instance of processing a 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 equal the time of existence of the process and the processTime, then there exist a financial transaction and the financial transactionTime such that the financial transaction is an instance of deposit and the object is an instrument for the financial transaction and equal the time of existence of the financial transaction and 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 836-844	If a currency measure is a transaction amount of a financial transaction and date of the financial transaction is a day and a financial account is an instance of financial account and the financial transaction ends up at the currency of the financial account and the financial account amount due the currency measure for a time interval and the end of the day happens before the beginning of the time interval, then the financial transaction is an instance of prepayment
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 65-69	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 71-76	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 190-198	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 393-403	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 295-308	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 equal the time of existence of the process and 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 461-466	If a process is an instance of withdrawing from an account, 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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3921-3923	If a bank statement is a last statement of a financial account, then the financial account is an instance of 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

KB Term:			Term intersection

English Word: