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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CurrencyFn

Sigma KEE - CurrencyFn
CurrencyFn

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


(documentation CurrencyFn EnglishLanguage "A unary function that maps a FinancialAccount to the currency linked to the account.") FinancialOntology.kif 285-286
(domain CurrencyFn 1 FinancialAccount) FinancialOntology.kif 283-283 domain CurrencyFn, 1 and FinancialAccount
(instance CurrencyFn UnaryFunction) FinancialOntology.kif 282-282 instance CurrencyFn and UnaryFunction
(range CurrencyFn FinancialInstrument) FinancialOntology.kif 284-284 range CurrencyFn and FinancialInstrument

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


(format ChineseLanguage CurrencyFn "%1 的 currency") domainEnglishFormat.kif 608-608
(format ChineseTraditionalLanguage CurrencyFn "%1 的 currency") domainEnglishFormat.kif 607-607
(format EnglishLanguage CurrencyFn "the currency of %1") domainEnglishFormat.kif 606-606
(termFormat ChineseLanguage CurrencyFn "货币") domainEnglishFormat.kif 18081-18081
(termFormat ChineseTraditionalLanguage CurrencyFn "貨幣") domainEnglishFormat.kif 18080-18080
(termFormat EnglishLanguage CurrencyFn "currency") domainEnglishFormat.kif 18079-18079

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


(=>
    (and
        (instance ?Deposit Deposit)
        (instance ?Account FinancialAccount)
        (destination ?Deposit
            (CurrencyFn ?Account))
        (transactionAmount ?Deposit
            (MeasureFn ?Amount ?CUNIT))
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Deposit))
            (MeasureFn ?Balance1 ?CUNIT))
        (equal ?Balance2
            (AdditionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (FutureFn ?Deposit))
        (MeasureFn ?Balance2 ?CUNIT)))
FinancialOntology.kif 436-453
(=>
    (and
        (instance ?Payment Payment)
        (origin ?Payment
            (CurrencyFn ?Account))
        (instance ?Account FinancialAccount)
        (transactionAmount ?Payment
            (MeasureFn ?Amount ?CUNIT))
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Payment))
            (MeasureFn ?Balance1 ?CUNIT))
        (equal ?Balance2
            (SubtractionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (WhenFn ?Payment))
        (MeasureFn ?Balance2 ?CUNIT)))
FinancialOntology.kif 408-424
(=>
    (and
        (monetaryValue ?Check ?Amount)
        (instance ?Processing ProcessingACheck)
        (patient ?Processing ?Check)
        (destination ?Processing
            (CurrencyFn ?Account))
        (instance ?Account FinancialAccount)
        (equal
            (WhenFn ?Processing) ?ProcessingTime))
    (exists (?Deposit)
        (and
            (instance ?Deposit Deposit)
            (instrument ?Deposit ?Check)
            (equal
                (WhenFn ?Deposit) ?DepositTime)
            (meetsTemporally ?ProcessingTime ?DepositTime)
            (transactionAmount ?Deposit ?Amount)
            (destination ?Deposit
                (CurrencyFn ?Account)))))
FinancialOntology.kif 120-135

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


(=>
    (and
        (instance ?Depositing DepositingACheck)
        (patient ?Depositing ?Check)
        (instance ?Check Check)
        (checkAccount ?Check ?Account)
        (monetaryValue ?Check ?Amount))
    (exists (?Deposit)
        (and
            (instance ?Deposit Deposit)
            (destination ?Deposit
                (CurrencyFn ?Account))
            (transactionAmount ?Deposit ?Amount))))
FinancialOntology.kif 340-351
(=>
    (and
        (monetaryValue ?Check ?Amount)
        (instance ?Processing ProcessingACheck)
        (patient ?Processing ?Check)
        (destination ?Processing
            (CurrencyFn ?Account))
        (instance ?Account FinancialAccount)
        (equal
            (WhenFn ?Processing) ?ProcessingTime))
    (exists (?Deposit)
        (and
            (instance ?Deposit Deposit)
            (instrument ?Deposit ?Check)
            (equal
                (WhenFn ?Deposit) ?DepositTime)
            (meetsTemporally ?ProcessingTime ?DepositTime)
            (transactionAmount ?Deposit ?Amount)
            (destination ?Deposit
                (CurrencyFn ?Account)))))
FinancialOntology.kif 120-135
(=>
    (instance ?Deposit Deposit)
    (exists (?Account)
        (destination ?Deposit
            (CurrencyFn ?Account))))
FinancialOntology.kif 431-434
(=>
    (instance ?Withdrawal Withdrawal)
    (exists (?Account)
        (and
            (instance ?Account FinancialAccount)
            (origin ?Withdrawal
                (CurrencyFn ?Account)))))
FinancialOntology.kif 459-464


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