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


s__documentation(s__FinancialOrganization,s__EnglishLanguage,'"The class FinancialOrganization includes, as subclasses, Bank-FinancialOrganization, CreditUnion and SavingsAnLoans."')

FinancialOntology.kif 18-19
s__instance(s__FinancialOrganization,s__Class)

s__instance(s__Organization,s__Class)

s__subclass(s__FinancialOrganization,s__Organization)

FinancialOntology.kif 17-17 Financial organization is a subclass of organization

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


s__subclass(s__Bank_FinancialOrganization,s__FinancialOrganization)

s__instance(s__Bank_FinancialOrganization,s__Class)

s__instance(s__FinancialOrganization,s__Class)

FinancialOntology.kif 21-21 Bank- financial organization is a subclass of financial organization
s__subclass(s__CreditUnion,s__FinancialOrganization)

s__instance(s__FinancialOrganization,s__Class)

s__instance(s__CreditUnion,s__Class)

FinancialOntology.kif 28-28 Credit union is a subclass of financial organization
s__instance(s__SavingsAndLoans,s__Class)

s__instance(s__FinancialOrganization,s__Class)

s__subclass(s__SavingsAndLoans,s__FinancialOrganization)

FinancialOntology.kif 35-35 Savings and loans is a subclass of financial organization
s__termFormat(s__ChineseLanguage,s__FinancialOrganization,'"金融机构"')

domainEnglishFormat.kif 23781-23781
s__termFormat(s__ChineseTraditionalLanguage,s__FinancialOrganization,'"金融機構"')

domainEnglishFormat.kif 23780-23780
s__termFormat(s__EnglishLanguage,s__FinancialOrganization,'"financial organization"')

domainEnglishFormat.kif 23779-23779

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


s__domain(s__accountAt__m,n__2,s__FinancialOrganization)

FinancialOntology.kif 231-231 The number 2 argument of account at is an instance of financial organization
s__domain(s__serviceFee__m,n__1,s__FinancialOrganization)

FinancialOntology.kif 848-848 The number 1 argument of service fee is an instance of financial organization

antecedent
-------------------------


( ! [V__OpeningTime,V__Agent,V__Bank,V__Opening] :
   (((s__instance(V__OpeningTime,s__TimeInterval) &
         s__instance(V__Agent,s__CognitiveAgent))
       =>
       (((s__instance(V__Opening,s__OpeningAnAccount) &
             s__eventLocated(V__Opening,V__Bank)
           &
           s__instance(V__Bank,s__FinancialOrganization) &
           s__agent(V__Opening,V__Agent)
         &
         (s__WhenFn(V__Opening)
         = V__OpeningTime))
     =>
     (( ? [V__Account, V__AccountPeriod] :
         ((s__instance(V__AccountPeriod,s__TimeInterval) &
             (s__agreementPeriod(V__Account,V__AccountPeriod)
             &
             s__meetsTemporally(V__OpeningTime,V__AccountPeriod)
           &
           s__instance(V__Account,s__FinancialAccount) &
           s__accountAt(V__Account,V__Bank)
         &
         s__accountHolder(V__Account,V__Agent)))))))))
)
)

FinancialOntology.kif 293-306
( ! [V__Transfer,V__Organization1,V__Organization2] :
   (((s__instance(V__Transfer,s__ExternalTransfer) &
         s__origin(V__Transfer,V__Organization1)
       &
       s__instance(V__Organization1,s__FinancialOrganization) &
       s__destination(V__Transfer,V__Organization2)
     &
     s__instance(V__Organization2,s__FinancialOrganization))
   =>
   ((V__Organization1 = V__Organization2)))
)
)

FinancialOntology.kif 4055-4062
( ! [V__Transfer,V__Organization1,V__Organization2] :
   (((s__instance(V__Transfer,s__ExternalTransfer) &
         s__origin(V__Transfer,V__Organization1)
       &
       s__instance(V__Organization1,s__FinancialOrganization) &
       s__destination(V__Transfer,V__Organization2)
     &
     s__instance(V__Organization2,s__FinancialOrganization))
   =>
   (~((V__Organization1 = V__Organization2))))
)
)

FinancialOntology.kif 4041-4048

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


( ! [V__Account] :
   ((s__instance(V__Account,s__FinancialAccount) =>
       (( ? [V__Organization] :
           ((s__instance(V__Organization,s__FinancialOrganization) &
               s__accountAt(V__Account,V__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