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 232-233
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 231-231	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 229-229	account at is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 228-228	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 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 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 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 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 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

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3957-3962	A BankFinancialOrganization 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 BankFinancialOrganization
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 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
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

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