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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AccountFn

 Sigma KEE - AccountFn
AccountFn

appearance as argument number 1
-------------------------


(documentation AccountFn EnglishLanguage "A unary function that maps a FinancialAsset to the FinancialAccount associated with the Asset.") FinancialOntology.kif 2318-2319
(domain AccountFn 1 FinancialAsset) FinancialOntology.kif 2316-2316
(instance AccountFn UnaryFunction) FinancialOntology.kif 2315-2315
(range AccountFn FinancialAccount) FinancialOntology.kif 2317-2317

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


(format ChineseLanguage AccountFn "%1 的帐号") domainEnglishFormat.kif 36-36
(format ChineseTraditionalLanguage AccountFn "%1 的帳號") domainEnglishFormat.kif 35-35
(format EnglishLanguage AccountFn "the account of %1") domainEnglishFormat.kif 34-34
(termFormat ChineseLanguage AccountFn "帐户") domainEnglishFormat.kif 5244-5244
(termFormat ChineseTraditionalLanguage AccountFn "帳戶") domainEnglishFormat.kif 5243-5243
(termFormat EnglishLanguage AccountFn "account") domainEnglishFormat.kif 5242-5242

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


(<=>
    (and
        (instance ?Account FinancialAccount)
        (possesses ?Agent ?Asset)
        (equal ?Account
            (AccountFn ?Asset)))
    (accountHolder ?Account ?Agent))		 FinancialOntology.kif 2321-2326
(=>
    (and
        (instance ?Bond CallableBond)
        (currentAccountBalance
            (AccountFn ?Bond) ?Date ?Amount)
        (callDate ?Bond ?Date))
    (amountDue
        (AccountFn ?Bond) ?Amount ?Date))		 FinancialOntology.kif 2489-2494
(=>
    (and
        (instance ?Bond ZeroCouponBond)
        (maturityDate
            (AccountFn ?Bond) ?Date)
        (possesses ?BondHolder ?Bond)
        (principalAmount
            (AccountFn ?Bond)
            (MeasureFn ?Principal ?CUNIT))
        (agreementPeriod
            (AccountFn ?Bond) ?Period)
        (interestEarned
            (AccountFn ?Bond)
            (MeasureFn ?Interest ?CUNIT) ?Period)
        (equal ?Total
            (AdditionFn ?Principal ?Interest)))
    (exists (?Payment)
        (and
            (instance ?Payment Payment)
            (destination ?Payment ?BondHolder)
            (origin ?Payment
                (AccountFn ?Bond))
            (transactionAmount ?Payment
                (MeasureFn ?Total ?CUNIT)))))		 FinancialOntology.kif 2333-2355

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


(=>
    (and
        (instance ?Bond Bond)
        (couponInterest ?Bond ?Interest)
        (possesses ?BondHolder ?Bond))
    (exists (?Period ?Payment)
        (and
            (periodicPayment
                (AccountFn ?Bond) ?Interest ?Period)
            (destination ?Payment ?BondHolder))))		 FinancialOntology.kif 2270-2278
(=>
    (and
        (instance ?Bond CallableBond)
        (currentAccountBalance
            (AccountFn ?Bond) ?Date ?Amount)
        (callDate ?Bond ?Date))
    (amountDue
        (AccountFn ?Bond) ?Amount ?Date))		 FinancialOntology.kif 2489-2494
(=>
    (and
        (instance ?Bond ZeroCouponBond)
        (maturityDate
            (AccountFn ?Bond) ?Date)
        (possesses ?BondHolder ?Bond)
        (principalAmount
            (AccountFn ?Bond)
            (MeasureFn ?Principal ?CUNIT))
        (agreementPeriod
            (AccountFn ?Bond) ?Period)
        (interestEarned
            (AccountFn ?Bond)
            (MeasureFn ?Interest ?CUNIT) ?Period)
        (equal ?Total
            (AdditionFn ?Principal ?Interest)))
    (exists (?Payment)
        (and
            (instance ?Payment Payment)
            (destination ?Payment ?BondHolder)
            (origin ?Payment
                (AccountFn ?Bond))
            (transactionAmount ?Payment
                (MeasureFn ?Total ?CUNIT)))))		 FinancialOntology.kif 2333-2355


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