FinancialOrganization - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FinancialOrganization

FinancialOrganization(financial organization)

financial_institution, financial_organisation, financial_organization

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 18-19
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 17-17	Financial organization is a subclass of organization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 22-22	Bank is a subclass of financial organization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 30-30	Credit union is a subclass of financial organization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 37-37	Savings and loans is a subclass of financial organization
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23791-23791	Savings and loans is a subclass of financial organization
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23790-23790	Savings and loans is a subclass of financial organization
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23789-23789	Savings and loans is a subclass of financial organization

appearance as argument number 3

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 896-896	The number 1 argument of service fee is an instance of financial organization

antecedent

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 4161-4168	If a process is an instance of external transfer and the process originates at an object and the object is an instance of financial organization and the process ends up at an entity and the entity is an instance of financial organization, then equal the object and the entity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4147-4154	If a process is an instance of external transfer and the process originates at an object and the object is an instance of financial organization and the process ends up at an entity and the entity is an instance of financial organization, then equal the object and the entity

consequent

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