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


KB Term:  Term intersection
English Word: 

  AccountFn

 Sigma KEE - AccountFn
AccountFn

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


(instance AccountFn UnaryFunction) FinancialOntology.kif 2356-2356 Account is an instance of unary function
(domain AccountFn 1 FinancialAsset) FinancialOntology.kif 2357-2357 The number 1 argument of account is an instance of financial asset
(range AccountFn FinancialAccount) FinancialOntology.kif 2358-2358 The range of account is an instance of financial account
(documentation AccountFn EnglishLanguage "A unary function that maps a FinancialAsset to the FinancialAccount associated with the Asset.") FinancialOntology.kif 2359-2360 The range of account is an instance of financial account

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


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

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


(<=>
    (and
        (instance ?Account FinancialAccount)
        (possesses ?Agent ?Asset)
        (equal ?Account
            (AccountFn ?Asset)))
    (accountHolder ?Account ?Agent))		 FinancialOntology.kif 2362-2367 X is an instance of financial account, Y possesses Z, equal X, the account of Z if, and only if Y holds account X
(=>
    (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 2374-2396 If All of the following hold: (1) X is an instance of zero coupon bond (2) Y is a maturity date of the account of X (3) Z possesses X (4) W V(s) is a principal amount of the account of X (5) U is an agreement period of the account of X (6) the account of X is interest earned T V(s) for U (7) equal S and (W and T), then there exists R such that R is an instance of payment and R ends up at Z and R originates at the account of X and S V(s) is a transaction amount of R
(=>
    (and
        (instance ?Bond CallableBond)
        (currentAccountBalance
            (AccountFn ?Bond) ?Date ?Amount)
        (callDate ?Bond ?Date))
    (amountDue
        (AccountFn ?Bond) ?Amount ?Date))		 FinancialOntology.kif 2530-2535 If X is an instance of callable bond, the account of X current account balance Y for Z, and Y is a call date of X, then the account of X amount due Z for Y

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 2311-2319 If X is an instance of bond, Y is a coupon interest of X, and Z possesses X, then there exist W, V such that the account of X is periodic payment Y for W, and V ends up at Z
(=>
    (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 2374-2396 If All of the following hold: (1) X is an instance of zero coupon bond (2) Y is a maturity date of the account of X (3) Z possesses X (4) W V(s) is a principal amount of the account of X (5) U is an agreement period of the account of X (6) the account of X is interest earned T V(s) for U (7) equal S and (W and T), then there exists R such that R is an instance of payment and R ends up at Z and R originates at the account of X and S V(s) is a transaction amount of R
(=>
    (and
        (instance ?Bond CallableBond)
        (currentAccountBalance
            (AccountFn ?Bond) ?Date ?Amount)
        (callDate ?Bond ?Date))
    (amountDue
        (AccountFn ?Bond) ?Amount ?Date))		 FinancialOntology.kif 2530-2535 If X is an instance of callable bond, the account of X current account balance Y for Z, and Y is a call date of X, then the account of X amount due Z for Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners