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 FinancialOrganization and Organization

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


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

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


(domain accountAt 2 FinancialOrganization) FinancialOntology.kif 231-231 domain accountAt, 2 and FinancialOrganization
(domain serviceFee 1 FinancialOrganization) FinancialOntology.kif 838-838 domain serviceFee, 1 and FinancialOrganization

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 3986-3993
(=>
    (and
        (instance ?Transfer ExternalTransfer)
        (origin ?Transfer ?Organization1)
        (instance ?Organization1 FinancialOrganization)
        (destination ?Transfer ?Organization2)
        (instance ?Organization2 FinancialOrganization))
    (not
        (equal ?Organization1 ?Organization2)))		 FinancialOntology.kif 3972-3979