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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinancialOrganization

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

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


(subclass Bank-FinancialOrganization FinancialOrganization) FinancialOntology.kif 21-21
(subclass CreditUnion FinancialOrganization) FinancialOntology.kif 28-28
(subclass SavingsAndLoans FinancialOrganization) FinancialOntology.kif 35-35
(termFormat ChineseLanguage FinancialOrganization "金融机构") domainEnglishFormat.kif 23776-23776
(termFormat ChineseTraditionalLanguage FinancialOrganization "金融機構") domainEnglishFormat.kif 23775-23775
(termFormat EnglishLanguage FinancialOrganization "financial organization") domainEnglishFormat.kif 23774-23774

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


(domain accountAt 2 FinancialOrganization) FinancialOntology.kif 231-231
(domain serviceFee 1 FinancialOrganization) FinancialOntology.kif 894-894

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 4156-4163
(=>
    (and
        (instance ?Transfer ExternalTransfer)
        (origin ?Transfer ?Organization1)
        (instance ?Organization1 FinancialOrganization)
        (destination ?Transfer ?Organization2)
        (instance ?Organization2 FinancialOrganization))
    (not
        (equal ?Organization1 ?Organization2)))
FinancialOntology.kif 4142-4149

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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