accountAt - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 234-235
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 233-233	The number 2 argument of account at is an instance of financial organization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 231-231	account at is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 230-230	account at 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 2670-2670
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2669-2669
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2668-2668
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5247-5247
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5246-5246
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5245-5245

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3639-3643	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 1228-1238	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 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 1178-1187	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 358-363	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

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3961-3966	A bank 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
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 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 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

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