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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CurrencyFn
CurrencyFn

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


s__documentation(s__CurrencyFn__m,s__EnglishLanguage,'"A unary function that maps a FinancialAccount to the currency linked to the account."')

FinancialOntology.kif 285-286
s__domain(s__CurrencyFn__m,n__1,s__FinancialAccount)

FinancialOntology.kif 283-283 The number 1 argument of currency is an instance of financial account
s__instance(s__UnaryFunction,s__SetOrClass)

s__instance(s__CurrencyFn__m,s__UnaryFunction)

FinancialOntology.kif 282-282 Currency is an instance of unary function
s__range(s__CurrencyFn__m,s__FinancialInstrument)

FinancialOntology.kif 284-284 The range of currency is an instance of financial instrument

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


s__format(s__ChineseLanguage,s__CurrencyFn__m,'"%1 的 currency"')

domainEnglishFormat.kif 608-608
s__format(s__ChineseTraditionalLanguage,s__CurrencyFn__m,'"%1 的 currency"')

domainEnglishFormat.kif 607-607
s__format(s__EnglishLanguage,s__CurrencyFn__m,'"the currency of %1"')

domainEnglishFormat.kif 606-606
s__termFormat(s__ChineseLanguage,s__CurrencyFn__m,'"货币"')

domainEnglishFormat.kif 18013-18013
s__termFormat(s__ChineseTraditionalLanguage,s__CurrencyFn__m,'"貨幣"')

domainEnglishFormat.kif 18012-18012
s__termFormat(s__EnglishLanguage,s__CurrencyFn__m,'"currency"')

domainEnglishFormat.kif 18011-18011

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


( ! [V__Account,V__Withdrawal] :
   (((s__instance(V__Withdrawal,s__Withdrawal) &
         s__instance(V__Account,s__FinancialAccount) &
         s__origin(V__Withdrawal,s__CurrencyFn(V__Account))
     &
     ~(( ? [V__Penalty] :
         ((s__instance(V__Penalty,s__Penalty) &
             s__destination(V__Penalty,s__CurrencyFn(V__Account))
         &
         s__causes(V__Withdrawal,V__Penalty))))))
=>
s__liquidity(V__Account,s__HighLiquidity))
&
(s__liquidity(V__Account,s__HighLiquidity) =>
(s__instance(V__Withdrawal,s__Withdrawal) &
s__instance(V__Account,s__FinancialAccount) &
s__origin(V__Withdrawal,s__CurrencyFn(V__Account))
&
~(( ? [V__Penalty] :
((s__instance(V__Penalty,s__Penalty) &
   s__destination(V__Penalty,s__CurrencyFn(V__Account))
&
s__causes(V__Withdrawal,V__Penalty)))))))
)
)

FinancialOntology.kif 1754-1764 A process is an instance of withdrawal and a financial account is an instance of financial account and the process originates at the currency of the financial account and there doesn't exist another process such that the other process is an instance of penalty and the other process ends up at the currency of the financial account and the process causes the other process if and only if the liqudity of the financial account is high liquidity
( ! [V__Account,V__Transaction] :
   ((s__instance(V__Account,s__CheckingAccount) &
       s__instance(V__Transaction,s__FinancialTransaction) &
       s__origin(V__Transaction,s__CurrencyFn(V__Account)))
=>
(( ? [V__Check] :
     ((s__instance(V__Check,s__Check) &
         s__instrument(V__Transaction,V__Check))))
|
( ? [V__DebitCard] :
   ((s__instance(V__DebitCard,s__DebitCard) &
       s__instrument(V__Transaction,V__DebitCard)))))
)
)

FinancialOntology.kif 1073-1086
( ! [V__Account,V__Transaction] :
   ((s__instance(V__Account,s__CreditCardAccount) &
       s__instance(V__Transaction,s__FinancialTransaction) &
       s__origin(V__Transaction,s__CurrencyFn(V__Account)))
=>
( ? [V__Card] :
   ((s__instance(V__Card,s__CreditCard) &
       s__instrument(V__Transaction,V__Card))))
)
)

FinancialOntology.kif 1180-1188
( ! [V__Amount,V__MinPayment,V__Account] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__MinPayment,s__CurrencyMeasure))
     =>
     (s__instance(V__Account,s__LiabilityAccount) &
       s__minimumPayment(V__Account,V__MinPayment,s__MonthDuration) &
       ( ? [V__Payment, V__Month] :
         ((s__instance(V__Payment,s__Process) &
             (s__instance(V__Month,s__Month) &
               s__destination(V__Payment,s__CurrencyFn(V__Account))
           &
           s__paymentsPerPeriod(V__Account,V__Amount,V__Month)
         &
         s__lessThan(V__Amount,V__MinPayment))))))
=>
( ? [V__Penalty] :
((s__instance(V__Penalty,s__Penalty) &
   s__destination(V__Penalty,s__CurrencyFn(V__Account)))))
)
)

FinancialOntology.kif 711-724
( ! [V__Account,V__Transaction] :
   ((s__instance(V__Account,s__SavingsAccount) &
       s__instance(V__Transaction,s__FinancialTransaction) &
       s__origin(V__Transaction,s__CurrencyFn(V__Account)))
=>
( ? [V__Authorization] :
   ((s__instance(V__Authorization,s__AuthorizationOfTransaction) &
       s__subProcess(V__Authorization,V__Transaction))))
)
)

FinancialOntology.kif 977-985
( ! [V__Account,V__Withdrawal] :
   ((s__instance(V__Account,s__TraditionalSavingsAccount) &
       s__instance(V__Withdrawal,s__Withdrawal) &
       s__origin(V__Withdrawal,s__CurrencyFn(V__Account)))
=>
~(( ? [V__Penalty] :
     ((s__instance(V__Penalty,s__Penalty) &
         s__destination(V__Penalty,s__CurrencyFn(V__Account))
     &
     s__causes(V__Withdrawal,V__Penalty)))))
)
)

FinancialOntology.kif 1059-1068
( ! [V__CD,V__DateOfWithdrawal,V__Withdrawal,V__MaturityDate] :
   ((s__instance(V__DateOfWithdrawal,s__Day) &
       s__instance(V__MaturityDate,s__Day))
     =>
     (s__instance(V__CD,s__CertificateOfDeposit) &
       s__maturityDate(V__CD,V__MaturityDate)
     &
     s__instance(V__Withdrawal,s__Withdrawal) &
     s__origin(V__Withdrawal,s__CurrencyFn(V__CD))
&
s__date(V__Withdrawal,V__DateOfWithdrawal)
&
s__before(s__EndFn(V__DateOfWithdrawal)
,s__BeginFn(V__MaturityDate)))
=>
( ? [V__Penalty] :
((s__instance(V__Penalty,s__Penalty) &
s__destination(V__Penalty,s__CurrencyFn(V__CD))
&
s__causes(V__Withdrawal,V__Penalty))))
)
)

FinancialOntology.kif 1031-1043
( ! [V__Amount,V__Balance2,V__Balance1,V__Deposit,V__Account] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__Balance2,s__CurrencyMeasure) &
       s__instance(V__Balance1,s__CurrencyMeasure))
     =>
     (s__instance(V__Deposit,s__Deposit) &
       s__instance(V__Account,s__FinancialAccount) &
       s__destination(V__Deposit,s__CurrencyFn(V__Account))
   &
   s__transactionAmount(V__Deposit,V__Amount)
&
s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Deposit))
,V__Balance1)
&
(V__Balance2 = s__AdditionFn(V__Balance1,V__Amount)))
=>
s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__FutureFn(V__Deposit))
,V__Balance2)
)
)

FinancialOntology.kif 428-436
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Payment] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__Balance2,s__CurrencyMeasure) &
       s__instance(V__Balance1,s__CurrencyMeasure))
     =>
     (s__instance(V__Payment,s__Payment) &
       s__origin(V__Payment,s__CurrencyFn(V__Account))
   &
   s__instance(V__Account,s__FinancialAccount) &
   s__transactionAmount(V__Payment,V__Amount)
&
s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Payment))
,V__Balance1)
&
(V__Balance2 = s__SubtractionFn(V__Balance1,V__Amount)))
=>
s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__WhenFn(V__Payment))
,V__Balance2)
)
)

FinancialOntology.kif 408-416
( ! [V__Day,V__Cash,V__Account,V__Amount1,V__Transaction] :
   ((s__instance(V__Day,s__Day) &
       s__instance(V__Account,s__FinancialAccount) &
       s__instance(V__Amount1,s__CurrencyMeasure))
     =>
     (s__instance(V__Transaction,s__FinancialTransaction) &
       s__origin(V__Transaction,s__CurrencyFn(V__Account))
   &
   s__transactionAmount(V__Transaction,V__Amount1)
&
s__instance(V__Cash,s__Currency) &
s__patient(V__Transaction,V__Cash)
&
s__date(V__Transaction,V__Day))
=>
( ? [V__Amount2] :
((s__instance(V__Amount2,s__CurrencyMeasure) &
(s__availableCash(V__Account,V__Day,V__Amount2)
&
s__greaterThanOrEqualTo(V__Amount1,V__Amount2)))))
)
)

FinancialOntology.kif 3682-3693
( ! [V__Amount,V__Processing,V__Account,V__Check,V__ProcessingTime,V__DepositTime] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__Check,s__Object) &
       s__instance(V__ProcessingTime,s__TimeInterval) &
       s__instance(V__DepositTime,s__TimeInterval))
     =>
     (s__monetaryValue(V__Check,V__Amount)
     &
     s__instance(V__Processing,s__ProcessingACheck) &
     s__patient(V__Processing,V__Check)
   &
   s__destination(V__Processing,s__CurrencyFn(V__Account))
&
s__instance(V__Account,s__FinancialAccount) &
(s__WhenFn(V__Processing)
= V__ProcessingTime))
=>
( ? [V__Deposit] :
((s__instance(V__Deposit,s__Deposit) &
s__instrument(V__Deposit,V__Check)
&
(s__WhenFn(V__Deposit)
= V__DepositTime)
&
s__meetsTemporally(V__ProcessingTime,V__DepositTime)
&
s__transactionAmount(V__Deposit,V__Amount)
&
s__destination(V__Deposit,s__CurrencyFn(V__Account)))))
)
)

FinancialOntology.kif 120-135
( ! [V__Amount,V__Date,V__Account,V__Payment,V__DueDate] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__Date,s__Day) &
       s__instance(V__Payment,s__FinancialTransaction) &
       s__instance(V__DueDate,s__TimeInterval))
     =>
     (s__transactionAmount(V__Payment,V__Amount)
     &
     s__date(V__Payment,V__Date)
   &
   s__instance(V__Account,s__FinancialAccount) &
   s__destination(V__Payment,s__CurrencyFn(V__Account))
&
s__amountDue(V__Account,V__Amount,V__DueDate)
&
s__before(s__EndFn(V__Date)
,s__BeginFn(V__DueDate)))
=>
s__instance(V__Payment,s__Prepayment) )
)

FinancialOntology.kif 778-786

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 614-626
( ! [V__Amount,V__Loan,V__Date] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__Loan,s__Loan) &
       s__instance(V__Date,s__TimePoint) &
       s__instance(V__Date,s__Day))
     =>
     (s__downPayment(V__Loan,V__Amount)
     &
     s__agreementEffectiveDate(V__Loan,V__Date))
=>
( ? [V__Payment] :
   ((s__instance(V__Payment,s__FinancialTransaction) &
       (s__transactionAmount(V__Payment,V__Amount)
       &
       s__date(V__Payment,V__Date)
     &
     s__destination(V__Payment,s__CurrencyFn(V__Loan))))))
)
)

FinancialOntology.kif 756-764
( ! [V__Amount,V__Date,V__Balance,V__Account] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__Date,s__TimePoint) &
       s__instance(V__Date,s__Day) &
       s__instance(V__Balance,s__CurrencyMeasure))
     =>
     (s__instance(V__Account,s__FinancialAccount) &
       s__minimumBalance(V__Account,s__OpeningAnAccount,V__Balance))
   =>
   ( ? [V__Payment] :
     ((s__instance(V__Payment,s__FinancialTransaction) &
         (s__destination(V__Payment,s__CurrencyFn(V__Account))
       &
       s__transactionAmount(V__Payment,V__Amount)
     &
     s__greaterThanOrEqualTo(V__Amount,V__Balance)
   &
   s__agreementEffectiveDate(V__Account,V__Date)
&
s__date(V__Payment,V__Date)))))
)
)

FinancialOntology.kif 645-655
( ! [V__Amount,V__Date,V__Balance,V__Account] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__Date,s__Day) &
       s__instance(V__Balance,s__CurrencyMeasure))
     =>
     (s__instance(V__Account,s__FinancialAccount) &
       s__minimumBalance(V__Account,s__UsingAnAccount,V__Balance)
     &
     s__currentAccountBalance(V__Account,V__Date,V__Amount)
   &
   s__lessThan(V__Amount,V__Balance))
=>
( ? [V__Penalty] :
((s__instance(V__Penalty,s__Penalty) &
     s__date(V__Penalty,V__Date)
   &
   s__destination(V__Penalty,s__CurrencyFn(V__Account)))))
)
)

FinancialOntology.kif 657-667
( ! [V__Amount,V__MinPayment,V__Account] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__MinPayment,s__CurrencyMeasure))
     =>
     (s__instance(V__Account,s__LiabilityAccount) &
       s__minimumPayment(V__Account,V__MinPayment,s__MonthDuration) &
       ( ? [V__Payment, V__Month] :
         ((s__instance(V__Payment,s__Process) &
             (s__instance(V__Month,s__Month) &
               s__destination(V__Payment,s__CurrencyFn(V__Account))
           &
           s__paymentsPerPeriod(V__Account,V__Amount,V__Month)
         &
         s__lessThan(V__Amount,V__MinPayment))))))
=>
( ? [V__Penalty] :
((s__instance(V__Penalty,s__Penalty) &
   s__destination(V__Penalty,s__CurrencyFn(V__Account)))))
)
)

FinancialOntology.kif 711-724
( ! [V__Period,V__Agent,V__Interest,V__Account] :
   ((s__instance(V__Period,s__TimeInterval) &
       s__instance(V__Agent,s__CognitiveAgent) &
       s__instance(V__Interest,s__Interest))
     =>
     (s__instance(V__Account,s__SavingsAccount) &
       s__accountHolder(V__Account,V__Agent)
     &
     s__interestEarned(V__Account,V__Interest,V__Period))
=>
( ? [V__Payment] :
   ((s__instance(V__Payment,s__FinancialTransaction) &
       (s__destination(V__Payment,s__CurrencyFn(V__Account))
     &
     s__transactionAmount(V__Payment,V__Interest)
   &
   s__destination(V__Payment,V__Agent)))))
)
)

FinancialOntology.kif 987-996
( ! [V__Account,V__Withdrawal] :
   ((s__instance(V__Account,s__TraditionalSavingsAccount) &
       s__instance(V__Withdrawal,s__Withdrawal) &
       s__origin(V__Withdrawal,s__CurrencyFn(V__Account)))
=>
~(( ? [V__Penalty] :
     ((s__instance(V__Penalty,s__Penalty) &
         s__destination(V__Penalty,s__CurrencyFn(V__Account))
     &
     s__causes(V__Withdrawal,V__Penalty)))))
)
)

FinancialOntology.kif 1059-1068
( ! [V__CD,V__DateOfWithdrawal,V__Withdrawal,V__MaturityDate] :
   ((s__instance(V__DateOfWithdrawal,s__Day) &
       s__instance(V__MaturityDate,s__Day))
     =>
     (s__instance(V__CD,s__CertificateOfDeposit) &
       s__maturityDate(V__CD,V__MaturityDate)
     &
     s__instance(V__Withdrawal,s__Withdrawal) &
     s__origin(V__Withdrawal,s__CurrencyFn(V__CD))
&
s__date(V__Withdrawal,V__DateOfWithdrawal)
&
s__before(s__EndFn(V__DateOfWithdrawal)
,s__BeginFn(V__MaturityDate)))
=>
( ? [V__Penalty] :
((s__instance(V__Penalty,s__Penalty) &
s__destination(V__Penalty,s__CurrencyFn(V__CD))
&
s__causes(V__Withdrawal,V__Penalty))))
)
)

FinancialOntology.kif 1031-1043
( ! [V__Amount,V__Account,V__Check,V__Depositing] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__Account,s__FinancialAccount))
     =>
     (s__instance(V__Depositing,s__DepositingACheck) &
       s__patient(V__Depositing,V__Check)
     &
     s__instance(V__Check,s__Check) &
     s__checkAccount(V__Check,V__Account)
   &
   s__monetaryValue(V__Check,V__Amount))
=>
( ? [V__Deposit] :
((s__instance(V__Deposit,s__Deposit) &
     s__destination(V__Deposit,s__CurrencyFn(V__Account))
&
s__transactionAmount(V__Deposit,V__Amount))))
)
)

FinancialOntology.kif 340-351
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1352-1362
( ! [V__Amount,V__Time,V__Collateral,V__Loan,V__Refinancing,V__Borrower] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__Time,s__Day) &
       s__instance(V__Collateral,s__Collateral) &
       s__instance(V__Borrower,s__CognitiveAgent))
     =>
     (s__instance(V__Refinancing,s__Refinancing) &
       s__time(V__Refinancing,V__Time)
     &
     s__instance(V__Loan,s__Loan) &
     s__securedBy(V__Loan,V__Collateral)
   &
   s__borrower(V__Loan,V__Borrower)
&
s__currentAccountBalance(V__Loan,V__Time,V__Amount)
&
s__patient(V__Refinancing,V__Loan))
=>
( ? [V__NewLoan, V__Payment] :
((s__instance(V__Payment,s__FinancialTransaction) &
(s__instance(V__NewLoan,s__Loan) &
   s__borrower(V__NewLoan,V__Borrower)
&
s__securedBy(V__Loan,V__Collateral)
&
s__destination(V__Payment,s__CurrencyFn(V__Loan))
&
s__time(V__Payment,V__Time)
&
s__origin(V__Payment,s__CurrencyFn(V__NewLoan))
&
s__transactionAmount(V__Payment,V__Amount)))))
)
)

FinancialOntology.kif 1390-1407
( ! [V__Account,V__Statement] :
   (s__instance(V__Account,s__FinancialAccount) =>
     (s__instance(V__Statement,s__BankStatement) &
       s__statementAccount(V__Statement,V__Account))
   =>
   ( ? [V__Transaction] :
     ((s__instance(V__Transaction,s__FinancialTransaction) &
         (s__origin(V__Transaction,s__CurrencyFn(V__Account))
       |
       s__destination(V__Transaction,s__CurrencyFn(V__Account)))
&
s__realization(V__Statement,V__Transaction))))
)
)

FinancialOntology.kif 3727-3737
( ! [V__Amount,V__Processing,V__Account,V__Check,V__ProcessingTime,V__DepositTime] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__Check,s__Object) &
       s__instance(V__ProcessingTime,s__TimeInterval) &
       s__instance(V__DepositTime,s__TimeInterval))
     =>
     (s__monetaryValue(V__Check,V__Amount)
     &
     s__instance(V__Processing,s__ProcessingACheck) &
     s__patient(V__Processing,V__Check)
   &
   s__destination(V__Processing,s__CurrencyFn(V__Account))
&
s__instance(V__Account,s__FinancialAccount) &
(s__WhenFn(V__Processing)
= V__ProcessingTime))
=>
( ? [V__Deposit] :
((s__instance(V__Deposit,s__Deposit) &
s__instrument(V__Deposit,V__Check)
&
(s__WhenFn(V__Deposit)
= V__DepositTime)
&
s__meetsTemporally(V__ProcessingTime,V__DepositTime)
&
s__transactionAmount(V__Deposit,V__Amount)
&
s__destination(V__Deposit,s__CurrencyFn(V__Account)))))
)
)

FinancialOntology.kif 120-135
( ! [V__Deposit] :
   (s__instance(V__Deposit,s__Deposit) =>
     ( ? [V__Account] :
       ((s__instance(V__Account,s__FinancialAccount) &
           s__destination(V__Deposit,s__CurrencyFn(V__Account)))))
)
)

FinancialOntology.kif 423-426
( ! [V__Loan] :
   (s__instance(V__Loan,s__ConsolidationLoan) =>
     ( ? [V__Loan1, V__Loan2, V__Payment1, V__Payment2] :
       ((s__instance(V__Payment1,s__Process) &
           s__instance(V__Payment2,s__Process) &
           (s__instance(V__Loan1,s__Loan) &
             s__instance(V__Loan2,s__Loan) &
             s__destination(V__Payment1,s__CurrencyFn(V__Loan1))
         &
         s__destination(V__Payment2,s__CurrencyFn(V__Loan2))
     &
     s__origin(V__Payment1,s__CurrencyFn(V__Loan))
&
s__origin(V__Payment2,s__CurrencyFn(V__Loan))))))
)
)

FinancialOntology.kif 1464-1473
( ! [V__Withdrawal] :
   (s__instance(V__Withdrawal,s__Withdrawal) =>
     ( ? [V__Account] :
       ((s__instance(V__Account,s__FinancialAccount) &
           s__origin(V__Withdrawal,s__CurrencyFn(V__Account)))))
)
)

FinancialOntology.kif 442-447
( ! [V__Amount,V__Period,V__Account] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__Period,s__TimeDuration) &
       s__instance(V__Account,s__FinancialAccount))
     =>
     s__periodicPayment(V__Account,V__Amount,V__Period)
   =>
   ( ? [V__Payment] :
     ((s__instance(V__Payment,s__Payment) &
         s__origin(V__Payment,s__CurrencyFn(V__Account))
     &
     s__transactionAmount(V__Payment,V__Amount)
   &
   s__frequency(V__Payment,V__Period))))
)
)

FinancialOntology.kif 695-702


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