Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FinancialOrganization
FinancialOrganization(金融机构)

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 金融机构机构subclass

appearance as argument number 2
-------------------------


(subclass Bank-FinancialOrganization FinancialOrganization) FinancialOntology.kif 21-21 银行 - 财政组织金融机构subclass
(subclass CreditUnion FinancialOrganization) FinancialOntology.kif 28-28 信用社金融机构subclass
(subclass SavingsAndLoans FinancialOrganization) FinancialOntology.kif 35-35 储蓄和贷款金融机构subclass
(termFormat ChineseLanguage FinancialOrganization "金融机构") domainEnglishFormat.kif 23781-23781
(termFormat ChineseTraditionalLanguage FinancialOrganization "金融機構") domainEnglishFormat.kif 23780-23780
(termFormat EnglishLanguage FinancialOrganization "financial organization") domainEnglishFormat.kif 23779-23779

appearance as argument number 3
-------------------------


(domain accountAt 2 FinancialOrganization) FinancialOntology.kif 231-231 帐号在 的 2 数量 是 金融机构instance
(domain serviceFee 1 FinancialOrganization) FinancialOntology.kif 893-893 服务费 的 1 数量 是 金融机构instance

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 4095-4102
(=>
    (and
        (instance ?Transfer ExternalTransfer)
        (origin ?Transfer ?Organization1)
        (instance ?Organization1 FinancialOrganization)
        (destination ?Transfer ?Organization2)
        (instance ?Organization2 FinancialOrganization))
    (not
        (equal ?Organization1 ?Organization2)))
FinancialOntology.kif 4081-4088

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 3.0 is open source software produced by Articulate Software and its partners