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 2249-2250
(domain AccountFn 1 FinancialAsset) FinancialOntology.kif 2247-2247 AccountFn 的 1 数量 是 FinancialAssetinstance
(instance AccountFn UnaryFunction) FinancialOntology.kif 2246-2246 AccountFn一元函数instance
(range AccountFn FinancialAccount) FinancialOntology.kif 2248-2248 AccountFnrangeFinancialAccount 的实例

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


(format EnglishLanguage AccountFn "the account of %1") domainEnglishFormat.kif 18-18
(termFormat EnglishLanguage AccountFn "account") domainEnglishFormat.kif 1308-1308 termFormat EnglishLanguage, AccountFn and "account"

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


(<=>
    (and
        (instance ?Account FinancialAccount)
        (possesses ?Agent ?Asset)
        (equal ?Account
            (AccountFn ?Asset)))
    (accountHolder ?Account ?Agent))
FinancialOntology.kif 2252-2257 FinancialAccountFinancialAccountinstance 有认知的主事 possesses FinancialAsset那个 FinancialAccount equal AccountFn 那个 FinancialAsset 若且唯若 accountHolder 那个 FinancialAccount and 那个 有认知的主事
(=>
    (and
        (instance ?Bond CallableBond)
        (currentAccountBalance
            (AccountFn ?Bond) ?Date ?Amount)
        (callDate ?Bond ?Date))
    (amountDue
        (AccountFn ?Bond) ?Amount ?Date))
FinancialOntology.kif 2412-2417
(=>
    (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
                (CurrencyFn ?BondAccount))
            (transactionAmount ?Payment ?Total))))
FinancialOntology.kif 2264-2278

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 2201-2209
(=>
    (and
        (instance ?Bond CallableBond)
        (currentAccountBalance
            (AccountFn ?Bond) ?Date ?Amount)
        (callDate ?Bond ?Date))
    (amountDue
        (AccountFn ?Bond) ?Amount ?Date))
FinancialOntology.kif 2412-2417


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