accountHolder - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - accountHolder

accountHolder

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 251-252
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 250-250	The number 2 argument of account holder is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 248-248	account holder is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 247-247	account holder is a subrelation of party to agreement

appearance as argument number 2

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.	domainEnglishFormat.kif 2676-2676
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5259-5259
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5258-5258
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5257-5257

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1018-1022	A cognitive agent holds account a financial account and the cognitive agent is an instance of corporation if and only if the financial account is an instance of corporate account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 996-1000	A cognitive agent holds account a financial account and the cognitive agent is an instance of human if and only if the financial account is an instance of personal account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1007-1011	An entity is an instance of personal account and the number of instances in the class described by a symbolic string is greater than 1 if and only if the entity is an instance of joint account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3635-3639	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	If a financial account amount due a currency measure for a time position and a cognitive agent holds account the financial account, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1226-1236	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1238-1247	If a financial account is an instance of credit account and a cognitive agent holds account the financial account and a real number is a principal amount of the financial account and a time interval is an agreement period of the financial account and the financial account is interest earned an interest for the time interval and another real number is equal to (the real number and the interest), then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1176-1185	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1043-1052	If a financial account is an instance of savings account 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 ends up at the currency of the financial account and the interest is a transaction amount of the financial transaction and the financial transaction ends up at the cognitive agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1194-1199	If a financial account is an instance of pension plan and a cognitive agent holds account the financial account and a financial company employs the cognitive agent, then the financial company is a financial account of the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1206-1221	If a financial account is an instance of profit sharing plan and a cognitive agent holds account the financial account and an agent employs the cognitive agent and the profit from a financial transaction is a real number an unit of measure(s) and the unit of measure is an instance of unit of currency and the agent is an agent of the financial transaction, then there exist another real number and the real numberAY such that the real numberAY is an instance of financial transaction and the other real number the unit of measure(s) is a transaction amount of the real numberAY and the other real number is less than the real number and the real numberAY ends up at the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 311-316	If a process is an instance of using an account and a financial account is a patient of the process and a cognitive agent holds account the financial account, then the cognitive agent is an agent of the process

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2335-2340	A financial account is an instance of financial account and a cognitive agent possesses a financial asset and the financial account is equal to 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 218-226	If a bank card is an instance of credit card and a cognitive agent possesses the bank card, then there exists a financial account such that the financial account is an instance of credit card account and the financial account is a card account of the bank card and the cognitive agent holds account the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 203-211	If a bank card is an instance of debit card and a cognitive agent possesses the bank card, then there exists a financial account such that the financial account is an instance of deposit account and the financial account is a card account of the bank card and the cognitive agent holds account the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 321-327	If a process is an instance of drawing a check and a check is a patient of the process and a cognitive agent is an agent of the process and a financial account is a check account of the check, then the cognitive agent holds account the financial account
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 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

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