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


(documentation FinancialOrganization EnglishLanguage "The class FinancialOrganization includes, as subclasses, Bank-FinancialOrganization, 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 Bank-FinancialOrganization FinancialOrganization) FinancialOntology.kif 21-21 Bank- financial organization 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 23719-23719 "金融机构" is the printable form of financial organization in ChineseLanguage
(termFormat ChineseTraditionalLanguage FinancialOrganization "金融機構") domainEnglishFormat.kif 23718-23718 "金融機構" is the printable form of financial organization in ChineseTraditionalLanguage
(termFormat EnglishLanguage FinancialOrganization "financial organization") domainEnglishFormat.kif 23717-23717 "financial organization" is the printable form of financial organization in english language

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 838-838 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
(=>
    (and
        (instance ?Transfer ExternalTransfer)
        (origin ?Transfer ?Organization1)
        (instance ?Organization1 FinancialOrganization)
        (destination ?Transfer ?Organization2)
        (instance ?Organization2 FinancialOrganization))
    (equal ?Organization1 ?Organization2))
FinancialOntology.kif 3985-3992
(=>
    (and
        (instance ?Transfer ExternalTransfer)
        (origin ?Transfer ?Organization1)
        (instance ?Organization1 FinancialOrganization)
        (destination ?Transfer ?Organization2)
        (instance ?Organization2 FinancialOrganization))
    (not
        (equal ?Organization1 ?Organization2)))
FinancialOntology.kif 3971-3978

consequent
-------------------------


(=>
    (instance ?Account FinancialAccount)
    (exists (?Organization)
        (and
            (instance ?Organization FinancialOrganization)
            (accountAt ?Account ?Organization))))
FinancialOntology.kif 69-74


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners