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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - transactionAmount
transactionAmount

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


s__documentation(s__transactionAmount__m,s__ChineseLanguage,'"(transactionAmount ?TRANSACTION ?AMOUNT)的意思是: ?AMOUNT 是在 FinancialTransaction ?TRANSACTION 中所交换 CurrencyMeasure 的实例。"')

chinese_format.kif 3097-3099
s__documentation(s__transactionAmount__m,s__EnglishLanguage,'"(transactionAmount ?TRANSACTION ?AMOUNT) means that ?AMOUNT is an instance of CurrencyMeasure being exhanged in the FinancialTransaction ?TRANSACTION."')

Merge.kif 11314-11316
s__domain(s__transactionAmount__m,n__1,s__FinancialTransaction)

Merge.kif 11311-11311 The number 1 argument of transaction amount is an instance of financial transaction
s__domain(s__transactionAmount__m,n__2,s__CurrencyMeasure)

Merge.kif 11312-11312 The number 2 argument of transaction amount is an instance of currency measure
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__transactionAmount__m,s__BinaryPredicate)

Merge.kif 11308-11308 transaction amount is an instance of binary predicate
s__instance(s__transactionAmount__m,s__SingleValuedRelation)

s__instance(s__SingleValuedRelation,s__SetOrClass)

Merge.kif 11309-11309 transaction amount is an instance of single valued relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__transactionAmount__m,s__TotalValuedRelation)

Merge.kif 11310-11310 transaction amount is an instance of total valued relation

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


s__format(s__ChineseLanguage,s__transactionAmount__m,'"%2 %n 是 %1 的 transaction 总额"')

domainEnglishFormat.kif 2535-2535
s__format(s__ChineseTraditionalLanguage,s__transactionAmount__m,'"%2 %n 是 %1 的 transaction 總額"')

domainEnglishFormat.kif 2534-2534
s__format(s__EnglishLanguage,s__transactionAmount__m,'"%2 is %n a transaction amount of %1"')

domainEnglishFormat.kif 2533-2533
s__subrelation(s__amountCharged__m,s__transactionAmount__m)

FinancialOntology.kif 863-863 amount charged is a subrelation of transaction amount
s__termFormat(s__ChineseLanguage,s__transactionAmount__m,'"交易金额"')

domainEnglishFormat.kif 58763-58763
s__termFormat(s__ChineseTraditionalLanguage,s__transactionAmount__m,'"交易金額"')

domainEnglishFormat.kif 58762-58762
s__termFormat(s__EnglishLanguage,s__transactionAmount__m,'"transaction amount"')

domainEnglishFormat.kif 58761-58761

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


( ! [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 3748-3762
( ! [V__Day,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,V__Account)
           &
           s__transactionAmount(V__Transaction,s__MeasureFn(V__Amount1,V__U))
       &
       s__instance(V__U,s__UnitOfCurrency) &
       s__date(V__Transaction,V__Day))
   =>
   (( ? [V__Amount2] :
       ((s__instance(V__Amount2,s__RealNumber) &
           (s__availableBalance(V__Account,V__Day,s__MeasureFn(V__Amount2,V__U))
         &
         s__greaterThanOrEqualTo(V__Amount1,V__Amount2)))))))))
)
)

FinancialOntology.kif 3725-3737
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Withdrawal] :
   (((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__Withdrawal,s__Withdrawal) &
             s__instance(V__Account,s__FinancialAccount) &
             s__origin(V__Withdrawal,V__Account)
           &
           s__transactionAmount(V__Withdrawal,V__Amount)
         &
         s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Withdrawal))
    ,V__Balance1)
   &
   (V__Balance2 = s__SubtractionFn(V__Balance1,V__Amount)))
=>
(s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__FutureFn(V__Withdrawal))
,V__Balance2)))))
)
)

FinancialOntology.kif 449-457
( ! [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
( ! [V__AMOUNT,V__TRANS] :
   (((s__instance(V__AMOUNT,s__CurrencyMeasure) &
         s__instance(V__TRANS,s__FinancialTransaction))
       =>
       ((s__transactionAmount(V__TRANS,V__AMOUNT)
         =>
         (( ? [V__OBJ] :
             ((s__instance(V__OBJ,s__Physical) &
                 (s__patient(V__TRANS,V__OBJ)
                 &
                 s__monetaryValue(V__OBJ,V__AMOUNT)))))))))
)
)

Merge.kif 11318-11323

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


( ! [V__Object,V__Seller,V__Money,V__Purchase,V__Buyer] :
   (((s__instance(V__Object,s__Physical) &
         s__instance(V__Seller,s__Object) &
         s__instance(V__Money,s__CurrencyMeasure) &
         s__instance(V__Purchase,s__Process) &
         s__instance(V__Buyer,s__Agent))
       =>
       (((s__agent(V__Purchase,V__Buyer)
           &
           s__origin(V__Purchase,V__Seller)
         &
         s__patient(V__Purchase,V__Object)
       &
       s__monetaryValue(V__Object,V__Money))
   =>
   (( ? [V__Payment] :
       ((s__subProcess(V__Payment,V__Purchase)
         &
         s__instance(V__Payment,s__Payment) &
         s__transactionAmount(V__Payment,V__Money)
       &
       s__origin(V__Payment,V__Buyer)
     &
     s__destination(V__Payment,V__Seller))))))))
)
)

FinancialOntology.kif 463-475
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 615-627
( ! [V__Lender,V__Period,V__Loan,V__Interest,V__Borrower] :
   (((s__instance(V__Lender,s__CognitiveAgent) &
         s__instance(V__Period,s__TimeInterval) &
         s__instance(V__Loan,s__Loan) &
         s__instance(V__Interest,s__Interest) &
         s__instance(V__Borrower,s__CognitiveAgent))
       =>
       (((s__borrower(V__Loan,V__Borrower)
           &
           s__lender(V__Loan,V__Lender)
         &
         s__agreementPeriod(V__Loan,V__Period)
       &
       s__interestEarned(V__Loan,V__Interest,V__Period))
   =>
   (( ? [V__Payment] :
       ((s__instance(V__Payment,s__FinancialTransaction) &
           (s__origin(V__Payment,V__Borrower)
           &
           s__transactionAmount(V__Payment,V__Interest)
         &
         s__destination(V__Payment,V__Lender)))))))))
)
)

FinancialOntology.kif 1215-1225
( ! [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
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3409-3424
( ! [V__Period,V__Agent,V__Interest,V__Account,V__Organization] :
   (((s__instance(V__Period,s__TimeInterval) &
         s__instance(V__Agent,s__CognitiveAgent) &
         s__instance(V__Interest,s__Interest) &
         s__instance(V__Organization,s__FinancialOrganization))
       =>
       (((s__instance(V__Account,s__CreditAccount) &
             s__accountAt(V__Account,V__Organization)
           &
           s__accountHolder(V__Account,V__Agent)
         &
         s__interestEarned(V__Account,V__Interest,V__Period))
     =>
     (( ? [V__Payment] :
         ((s__instance(V__Payment,s__FinancialTransaction) &
             (s__origin(V__Payment,V__Agent)
             &
             s__transactionAmount(V__Payment,V__Interest)
           &
           s__destination(V__Payment,V__Organization)))))))))
)
)

FinancialOntology.kif 1166-1176
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1178-1187
( ! [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
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1227-1236
( ! [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__Period,V__Total,V__BondHolder,V__Date,V__Bond,V__Interest,V__Principal] :
   (((s__instance(V__Period,s__TimeInterval) &
         s__instance(V__Total,s__Number) &
         s__instance(V__Total,s__CurrencyMeasure) &
         s__instance(V__BondHolder,s__Agent) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Interest,s__Interest) &
         s__instance(V__Interest,s__Number) &
         s__instance(V__Principal,s__Number) &
         s__instance(V__Principal,s__CurrencyMeasure))
       =>
       (((s__instance(V__Bond,s__ZeroCouponBond) &
             s__maturityDate(s__AccountFn(V__Bond)
          ,V__Date)
         &
         s__possesses(V__BondHolder,V__Bond)
       &
       s__principalAmount(s__AccountFn(V__Bond)
    ,V__Principal)
   &
   s__agreementPeriod(s__AccountFn(V__Bond)
,V__Period)
&
s__interestEarned(s__AccountFn(V__Bond)
,V__Interest,V__Period)
&
(V__Total = s__AdditionFn(V__Principal,V__Interest)))
=>
(( ? [V__Payment] :
((s__instance(V__Payment,s__Payment) &
s__destination(V__Payment,V__BondHolder)
&
s__origin(V__Payment,s__AccountFn(V__Bond))
&
s__transactionAmount(V__Payment,V__Total))))))))
)
)

FinancialOntology.kif 2303-2317
( ! [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
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1382-1397
( ! [V__O,V__P,V__A,V__PSP,V__U,V__H] :
   (((s__instance(V__O,s__Agent) &
         s__instance(V__P,s__RealNumber) &
         s__instance(V__A,s__FinancialTransaction) &
         s__instance(V__H,s__CognitiveAgent))
       =>
       (((s__instance(V__PSP,s__ProfitSharingPlan) &
             s__accountHolder(V__PSP,V__H)
           &
           s__employs(V__O,V__H)
         &
         s__profit(V__A,s__MeasureFn(V__P,V__U))
     &
     s__instance(V__U,s__UnitOfCurrency) &
     s__agent(V__A,V__O))
=>
(( ? [V__C, V__PAY] :
     ((s__instance(V__C,s__RealNumber) &
         (s__instance(V__PAY,s__FinancialTransaction) &
           s__transactionAmount(V__PAY,s__MeasureFn(V__C,V__U))
       &
       s__lessThan(V__C,V__P)
     &
     s__destination(V__PAY,V__PSP)))))))))
)
)

FinancialOntology.kif 1146-1161
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3163-3189
( ! [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
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3206-3232
( ! [V__Amount,V__WithdrawalTime,V__Processing,V__Account,V__Check,V__ProcessingTime] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__WithdrawalTime,s__TimeInterval) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Check,s__Check) &
         s__instance(V__ProcessingTime,s__TimeInterval))
       =>
       (((s__monetaryValue(V__Check,V__Amount)
           &
           s__checkAccount(V__Check,V__Account)
         &
         s__instance(V__Processing,s__ProcessingACheck) &
         s__patient(V__Processing,V__Check)
       &
       (s__WhenFn(V__Processing)
       = V__ProcessingTime))
   =>
   (( ? [V__Withdrawal] :
       ((s__instance(V__Withdrawal,s__Withdrawal) &
           s__instrument(V__Withdrawal,V__Check)
         &
         (s__WhenFn(V__Withdrawal)
         = V__WithdrawalTime)
       &
       s__meetsTemporally(V__ProcessingTime,V__WithdrawalTime)
     &
     s__transactionAmount(V__Withdrawal,V__Amount)
   &
   s__origin(V__Withdrawal,V__Account))))))))
)
)

FinancialOntology.kif 104-118
( ! [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
No TPTP formula. May not be expressible in strict first order. Catalog.kif 268-282
No TPTP formula. May not be expressible in strict first order. Catalog.kif 284-299
No TPTP formula. May not be expressible in strict first order. Catalog.kif 301-315
No TPTP formula. May not be expressible in strict first order. Catalog.kif 345-361
No TPTP formula. May not be expressible in strict first order. Catalog.kif 363-378

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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