FinancialOrganization - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FinancialOrganization EnglishLanguage "The class FinancialOrganization includes, as subclasses, BankFinancialOrganization, CreditUnion and SavingsAnLoans.")	FinancialOntology.kif 18-19
(subclass FinancialOrganization Organization)	FinancialOntology.kif 17-17	Financial organization is a subclass of organization

appearance as argument number 2

(subclass BankFinancialOrganization FinancialOrganization)	FinancialOntology.kif 21-21	BankFinancialOrganization is a subclass of financial organization
(subclass CreditUnion FinancialOrganization)	FinancialOntology.kif 28-28	Credit union is a subclass of financial organization
(subclass SavingsAndLoans FinancialOrganization)	FinancialOntology.kif 35-35	Savings and loans is a subclass of financial organization
(termFormat ChineseLanguage FinancialOrganization "金融机构")	domainEnglishFormat.kif 23803-23803	Savings and loans is a subclass of financial organization
(termFormat ChineseTraditionalLanguage FinancialOrganization "金融機構")	domainEnglishFormat.kif 23802-23802	Savings and loans is a subclass of financial organization
(termFormat EnglishLanguage FinancialOrganization "financial organization")	domainEnglishFormat.kif 23801-23801	Savings and loans is a subclass of financial organization

appearance as argument number 3

(domain accountAt 2 FinancialOrganization)	FinancialOntology.kif 231-231	The number 2 argument of account at is an instance of financial organization
(domain serviceFee 1 FinancialOrganization)	FinancialOntology.kif 894-894	The number 1 argument of service fee is an instance of financial organization

antecedent

(=> (and (instance ?Opening OpeningAnAccount) (eventLocated ?Opening ?Bank) (instance ?Bank FinancialOrganization) (agent ?Opening ?Agent) (equal (WhenFn ?Opening) ?OpeningTime)) (exists (?Account ?AccountPeriod) (and (agreementPeriod ?Account ?AccountPeriod) (meetsTemporally ?OpeningTime ?AccountPeriod) (instance ?Account FinancialAccount) (accountAt ?Account ?Bank) (accountHolder ?Account ?Agent))))	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
(=> (and (instance ?Transfer ExternalTransfer) (origin ?Transfer ?Organization1) (instance ?Organization1 FinancialOrganization) (destination ?Transfer ?Organization2) (instance ?Organization2 FinancialOrganization)) (equal ?Organization1 ?Organization2))	FinancialOntology.kif 4143-4150	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 the object is equal to the entity
(=> (and (instance ?Transfer ExternalTransfer) (origin ?Transfer ?Organization1) (instance ?Organization1 FinancialOrganization) (destination ?Transfer ?Organization2) (instance ?Organization2 FinancialOrganization)) (not (equal ?Organization1 ?Organization2)))	FinancialOntology.kif 4129-4136	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 the object is not equal to the entity

consequent

(=>
    (instance ?Account FinancialAccount)
    (exists (?Organization)
        (and
            (instance ?Organization FinancialOrganization)
            (accountAt ?Account ?Organization))))

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

KB Term:			Term intersection

English Word: