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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2248-2249
(domain AccountFn 1 FinancialAsset) FinancialOntology.kif 2246-2246 domain AccountFn, 1 and FinancialAsset
(instance AccountFn UnaryFunction) FinancialOntology.kif 2245-2245 instance AccountFn and UnaryFunction
(range AccountFn FinancialAccount) FinancialOntology.kif 2247-2247 range AccountFn and FinancialAccount

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 5249-5249
(termFormat ChineseTraditionalLanguage AccountFn "帳戶") domainEnglishFormat.kif 5248-5248
(termFormat EnglishLanguage AccountFn "account") domainEnglishFormat.kif 5247-5247

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


(<=>
    (and
        (instance ?Account FinancialAccount)
        (possesses ?Agent ?Asset)
        (equal ?Account
            (AccountFn ?Asset)))
    (accountHolder ?Account ?Agent))		 FinancialOntology.kif 2251-2256 instance FinancialAccount and FinancialAccount possesses CognitiveAgent and FinancialAsset equal FinancialAccount and AccountFn FinancialAsset accountHolder FinancialAccount and CognitiveAgent
(=>
    (and
        (instance ?Bond CallableBond)
        (currentAccountBalance
            (AccountFn ?Bond) ?Date ?Amount)
        (callDate ?Bond ?Date))
    (amountDue
        (AccountFn ?Bond) ?Amount ?Date))		 FinancialOntology.kif 2411-2416
(=>
    (and
        (instance ?Bond ZeroCouponBond)
        (maturityDate
            (AccountFn ?Bond) ?Date)
        (possesses ?BondHolder ?Bond)
        (principalAmount
            (AccountFn ?Bond) ?Principal)
        (agreementPeriod
            (AccountFn ?Bond) ?Period)
        (interestEarned
            (AccountFn ?Bond) ?Interest ?Period)
        (equal ?Total
            (AdditionFn ?Principal ?Interest)))
    (exists (?Payment)
        (and
            (instance ?Payment Payment)
            (destination ?Payment ?BondHolder)
            (origin ?Payment
                (AccountFn ?Bond))
            (transactionAmount ?Payment ?Total))))		 FinancialOntology.kif 2263-2277

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 2200-2208
(=>
    (and
        (instance ?Bond CallableBond)
        (currentAccountBalance
            (AccountFn ?Bond) ?Date ?Amount)
        (callDate ?Bond ?Date))
    (amountDue
        (AccountFn ?Bond) ?Amount ?Date))		 FinancialOntology.kif 2411-2416
(=>
    (and
        (instance ?Bond ZeroCouponBond)
        (maturityDate
            (AccountFn ?Bond) ?Date)
        (possesses ?BondHolder ?Bond)
        (principalAmount
            (AccountFn ?Bond) ?Principal)
        (agreementPeriod
            (AccountFn ?Bond) ?Period)
        (interestEarned
            (AccountFn ?Bond) ?Interest ?Period)
        (equal ?Total
            (AdditionFn ?Principal ?Interest)))
    (exists (?Payment)
        (and
            (instance ?Payment Payment)
            (destination ?Payment ?BondHolder)
            (origin ?Payment
                (AccountFn ?Bond))
            (transactionAmount ?Payment ?Total))))		 FinancialOntology.kif 2263-2277


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners