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 18081-18081
s__termFormat(s__ChineseTraditionalLanguage,s__CurrencyFn__m,'"貨幣"')

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

domainEnglishFormat.kif 18079-18079

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 1767-1777 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 1083-1096
( ! [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 1193-1201
( ! [V__Amount,V__MinPayment,V__U,V__Account] :
   (((s__instance(V__Amount,s__RealNumber) &
         s__instance(V__MinPayment,s__RealNumber))
       =>
       (((s__instance(V__Account,s__LiabilityAccount) &
             s__minimumPayment(V__Account,s__MeasureFn(V__MinPayment,V__U)
          ,s__MonthDuration) &
           s__instance(V__U,s__UnitOfCurrency) &
           ( ? [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,s__MeasureFn(V__Amount,V__U)
            ,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 718-734
( ! [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 987-995
( ! [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 1069-1078
( ! [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 1041-1053
( ! [V__Amount,V__Balance2,V__Balance1,V__Deposit,V__Account] :
   (((s__instance(V__Amount,s__Number) &
         s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Balance2,s__Number) &
         s__instance(V__Balance2,s__CurrencyMeasure) &
         s__instance(V__Balance1,s__Number) &
         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__Number) &
         s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Balance2,s__Number) &
         s__instance(V__Balance2,s__CurrencyMeasure) &
         s__instance(V__Balance1,s__Number) &
         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__U,V__Account,V__Amount1,V__Transaction] :
   (((s__instance(V__Day,s__Day) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Amount1,s__RealNumber))
       =>
       (((s__instance(V__Transaction,s__FinancialTransaction) &
             s__origin(V__Transaction,s__CurrencyFn(V__Account))
         &
         s__transactionAmount(V__Transaction,s__MeasureFn(V__Amount1,V__U))
     &
     s__instance(V__U,s__UnitOfCurrency) &
     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__RealNumber) &
       (s__availableCash(V__Account,V__Day,s__MeasureFn(V__Amount2,V__U))
     &
     s__greaterThanOrEqualTo(V__Amount1,V__Amount2)))))))))
)
)

FinancialOntology.kif 3727-3741
( ! [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 788-796

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 615-627
( ! [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 766-774
( ! [V__Amount,V__Date,V__Balance,V__U,V__Account] :
   (((s__instance(V__Amount,s__RealNumber) &
         s__instance(V__Date,s__TimePoint) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Balance,s__RealNumber))
       =>
       (((s__instance(V__Account,s__FinancialAccount) &
             s__minimumBalance(V__Account,s__OpeningAnAccount,s__MeasureFn(V__Balance,V__U))
         &
         s__instance(V__U,s__UnitOfCurrency))
       =>
       (( ? [V__Payment] :
           ((s__instance(V__Payment,s__FinancialTransaction) &
               (s__destination(V__Payment,s__CurrencyFn(V__Account))
             &
             s__transactionAmount(V__Payment,s__MeasureFn(V__Amount,V__U))
         &
         s__greaterThanOrEqualTo(V__Amount,V__Balance)
       &
       s__agreementEffectiveDate(V__Account,V__Date)
     &
     s__date(V__Payment,V__Date)))))))))
)
)

FinancialOntology.kif 646-659
( ! [V__Amount,V__Date,V__Balance,V__U,V__Account] :
   (((s__instance(V__Amount,s__RealNumber) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Balance,s__RealNumber))
       =>
       (((s__instance(V__Account,s__FinancialAccount) &
             s__minimumBalance(V__Account,s__UsingAnAccount,s__MeasureFn(V__Balance,V__U))
         &
         s__instance(V__U,s__UnitOfCurrency) &
         s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Amount,V__U))
     &
     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 661-674
( ! [V__Amount,V__MinPayment,V__U,V__Account] :
   (((s__instance(V__Amount,s__RealNumber) &
         s__instance(V__MinPayment,s__RealNumber))
       =>
       (((s__instance(V__Account,s__LiabilityAccount) &
             s__minimumPayment(V__Account,s__MeasureFn(V__MinPayment,V__U)
          ,s__MonthDuration) &
           s__instance(V__U,s__UnitOfCurrency) &
           ( ? [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,s__MeasureFn(V__Amount,V__U)
            ,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 718-734
( ! [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 997-1006
( ! [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 1069-1078
( ! [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 1041-1053
( ! [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 1365-1375
( ! [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 1403-1420
( ! [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 3775-3785
( ! [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 1477-1486
( ! [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 702-709


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 3.0 is open source software produced by Articulate Software and its partners