TreeView Knowledge Base Browser

appearance as argument number 1

(subclass FinancialService CommercialService)	Mid-level-ontology.kif 8485-8485	Financial service is a subclass of commercial service
(documentation FinancialService EnglishLanguage "Services performed by a FinancialCompany.")	Mid-level-ontology.kif 8486-8487	Financial service is a subclass of commercial service

appearance as argument number 2

(subclass Financing FinancialService)	Mid-level-ontology.kif 8505-8505	Financing is a subclass of financial service
(subclass AuthorizationOfTransaction FinancialService)	FinancialOntology.kif 386-386	Authorization of transaction is a subclass of financial service
(termFormat EnglishLanguage FinancialService "financial service")	domainEnglishFormat.kif 23818-23818	Authorization of transaction is a subclass of financial service
(termFormat ChineseTraditionalLanguage FinancialService "金融服務")	domainEnglishFormat.kif 23819-23819	Authorization of transaction is a subclass of financial service
(termFormat ChineseLanguage FinancialService "金融服务")	domainEnglishFormat.kif 23820-23820	Authorization of transaction is a subclass of financial service

antecedent

(=>
    (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