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 11031-11033
s__domain(s__transactionAmount__m,n__1,s__FinancialTransaction)

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

Merge.kif 11029-11029 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 11025-11025 transaction amount is an instance of binary predicate
s__instance(s__transactionAmount__m,s__SingleValuedRelation)

s__instance(s__SingleValuedRelation,s__SetOrClass)

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

s__instance(s__transactionAmount__m,s__TotalValuedRelation)

Merge.kif 11027-11027 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 2531-2531
s__format(s__ChineseTraditionalLanguage,s__transactionAmount__m,'"%2 %n 是 %1 的 transaction 總額"')

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

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

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

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

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

domainEnglishFormat.kif 58681-58681

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


( ! [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__Day,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,V__Account)
     &
     s__transactionAmount(V__Transaction,V__Amount1)
   &
   s__date(V__Transaction,V__Day))
=>
( ? [V__Amount2] :
((s__instance(V__Amount2,s__CurrencyMeasure) &
     (s__availableBalance(V__Account,V__Day,V__Amount2)
     &
     s__greaterThanOrEqualTo(V__Amount1,V__Amount2)))))
)
)

FinancialOntology.kif 3662-3671
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Withdrawal] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__Balance2,s__CurrencyMeasure) &
       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 778-786
( ! [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 11035-11040

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 614-626
( ! [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 1202-1212
( ! [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
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3404-3419
( ! [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 1153-1163
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1165-1174
( ! [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
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1214-1223
( ! [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__Period,V__Total,V__BondHolder,V__Date,V__Bond,V__Interest,V__Principal] :
   ((s__instance(V__Period,s__TimeInterval) &
       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__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 2263-2277
( ! [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
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1369-1384
( ! [V__O,V__P,V__A,V__PSP,V__H] :
   ((s__instance(V__O,s__Agent) &
       s__instance(V__P,s__CurrencyMeasure) &
       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,V__P)
&
s__agent(V__A,V__O))
=>
( ? [V__C, V__PAY] :
((s__instance(V__C,s__CurrencyMeasure) &
   (s__instance(V__PAY,s__FinancialTransaction) &
     s__transactionAmount(V__PAY,V__C)
   &
   s__lessThan(V__C,V__P)
&
s__destination(V__PAY,V__PSP)))))
)
)

FinancialOntology.kif 1136-1148
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3158-3184
( ! [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
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3201-3227
( ! [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 262-276
No TPTP formula. May not be expressible in strict first order. Catalog.kif 278-293
No TPTP formula. May not be expressible in strict first order. Catalog.kif 295-309
No TPTP formula. May not be expressible in strict first order. Catalog.kif 339-355
No TPTP formula. May not be expressible in strict first order. Catalog.kif 357-372

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