FinancialCompany - Sigma Knowledge base Browser

appearance as argument number 1

(subclass FinancialCompany Business)	Mid-level-ontology.kif 8442-8442	Financial company is a subclass of business
(documentation FinancialCompany EnglishLanguage "The class FinancialCompany includes, as subclasses, FinancialBank, CreditUnion and SavingsAndLoan.")	Mid-level-ontology.kif 8443-8444	Financial company is a subclass of business

appearance as argument number 2

(subclass SavingsAndLoan FinancialCompany)	Mid-level-ontology.kif 8446-8446	Savings and loan is a subclass of financial company
(termFormat EnglishLanguage FinancialCompany "financial company")	domainEnglishFormat.kif 23746-23746	Savings and loan is a subclass of financial company
(termFormat ChineseTraditionalLanguage FinancialCompany "金融公司")	domainEnglishFormat.kif 23747-23747	Savings and loan is a subclass of financial company
(termFormat ChineseLanguage FinancialCompany "金融公司")	domainEnglishFormat.kif 23748-23748	Savings and loan is a subclass of financial company

appearance as argument number 3

(domain financialAccount 2 FinancialCompany)

consequent

(=>
    (instance ?S FinancialService)
    (exists (?O)
        (and
            (instance ?O FinancialCompany)
            (agent ?S ?O))))

If X is an instance of financial service, then there exists Y such that Y is an instance of financial company and Y is an agent of X