transactionAmount |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(format ChineseLanguage transactionAmount "%2 %n 是 %1 的 transaction 总额") | domainEnglishFormat.kif 2539-2539 | |
(format ChineseTraditionalLanguage transactionAmount "%2 %n 是 %1 的 transaction 總額") | domainEnglishFormat.kif 2538-2538 | |
(format EnglishLanguage transactionAmount "%2 is %n a transaction amount of %1") | domainEnglishFormat.kif 2537-2537 | |
(subrelation amountCharged transactionAmount) | FinancialOntology.kif 909-909 | amountCharged は transactionAmount の subrelation では %n |
(termFormat ChineseLanguage transactionAmount "交易金额") | domainEnglishFormat.kif 58833-58833 | amountCharged は transactionAmount の subrelation では %n |
(termFormat ChineseTraditionalLanguage transactionAmount "交易金額") | domainEnglishFormat.kif 58832-58832 | amountCharged は transactionAmount の subrelation では %n |
(termFormat EnglishLanguage transactionAmount "transaction amount") | domainEnglishFormat.kif 58831-58831 | amountCharged は transactionAmount の subrelation では %n |
antecedent |
![]() |
consequent |
![]() |
(=> (and (agent ?Purchase ?Buyer) (origin ?Purchase ?Seller) (patient ?Purchase ?Object) (monetaryValue ?Object ?Money)) (exists (?Payment) (and (subProcess ?Payment ?Purchase) (instance ?Payment Payment) (transactionAmount ?Payment ?Money) (origin ?Payment ?Buyer) (destination ?Payment ?Seller)))) |
FinancialOntology.kif 487-499 | |
(=> (and (amountDue ?Account ?Amount ?DueDate) (accountHolder ?Account ?Agent)) (holdsObligation (KappaFn ?Payment (and (instance ?Payment Payment) (transactionAmount ?Payment ?Amount) (or (destination ?Payment (CurrencyFn ?Account)) (origin ?Payment (CurrencyFn ?Account))) (date ?Payment ?Date) (beforeOrEqual (EndFn ?Date) (BeginFn ?DueDate)))) ?Agent)) |
FinancialOntology.kif 655-667 |
|
(=> (and (borrower ?Loan ?Borrower) (lender ?Loan ?Lender) (agreementPeriod ?Loan ?Period) (interestEarned ?Loan ?Interest ?Period)) (exists (?Payment) (and (origin ?Payment ?Borrower) (transactionAmount ?Payment ?Interest) (destination ?Payment ?Lender)))) |
FinancialOntology.kif 1275-1285 | |
(=> (and (downPayment ?Loan ?Amount) (agreementEffectiveDate ?Loan ?Date)) (exists (?Payment) (and (transactionAmount ?Payment ?Amount) (date ?Payment ?Date) (destination ?Payment (CurrencyFn ?Loan))))) |
FinancialOntology.kif 807-816 |
|
(=> (and (instance ?AUCTIONS Collection) (forall (?AUC) (=> (member ?AUC ?AUCTIONS) (instance ?AUC Auctioning)))) (exists (?AMOUNT ?TOTAL_PURCHASE_AMOUNT) (and (total (KappaFn ?AMOUNT (transactionAmount ?AUC ?AMOUNT)) ?TOTAL_PURCHASE_AMOUNT) (equal (AuctionGMBFn ?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT)))) |
UXExperimentalTerms.kif 3202-3215 | |
(=> (and (instance ?Account CreditAccount) (accountAt ?Account ?Organization) (accountHolder ?Account ?Agent) (interestEarned ?Account ?Interest ?Period)) (exists (?Payment) (and (origin ?Payment ?Agent) (transactionAmount ?Payment ?Interest) (destination ?Payment ?Organization)))) |
FinancialOntology.kif 1226-1236 |
|
(=> (and (instance ?Account CreditAccount) (accountHolder ?Account ?Agent) (principalAmount ?Account ?Principal) (agreementPeriod ?Account ?Period) (interestEarned ?Account ?Interest ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (holdsObligation (KappaFn ?Payment (transactionAmount ?Payment ?Total)) ?Agent)) |
FinancialOntology.kif 1238-1247 |
|
(=> (and (instance ?Account FinancialAccount) (minimumBalance ?Account OpeningAnAccount (MeasureFn ?Balance ?U)) (instance ?U UnitOfCurrency)) (exists (?Payment ?Date ?Amount) (and (destination ?Payment (CurrencyFn ?Account)) (transactionAmount ?Payment (MeasureFn ?Amount ?U)) (greaterThanOrEqualTo ?Amount ?Balance) (agreementEffectiveDate ?Account ?Date) (date ?Payment ?Date)))) |
FinancialOntology.kif 686-699 |
|
(=> (and (instance ?Account Loan) (borrower ?Account ?Agent) (principalAmount ?Account ?Principal) (agreementPeriod ?Account ?Period) (interestEarned ?Account ?Interest ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (holdsObligation (KappaFn ?Payment (transactionAmount ?Payment ?Total)) ?Agent)) |
FinancialOntology.kif 1287-1296 | |
(=> (and (instance ?Account SavingsAccount) (accountHolder ?Account ?Agent) (interestEarned ?Account ?Interest ?Period)) (exists (?Payment) (and (destination ?Payment (CurrencyFn ?Account)) (transactionAmount ?Payment ?Interest) (destination ?Payment ?Agent)))) |
FinancialOntology.kif 1043-1052 |
|
(=> (and (instance ?Bond ZeroCouponBond) (maturityDate (AccountFn ?Bond) ?Date) (possesses ?BondHolder ?Bond) (principalAmount (AccountFn ?Bond) (MeasureFn ?Principal ?CUNIT)) (agreementPeriod (AccountFn ?Bond) ?Period) (interestEarned (AccountFn ?Bond) (MeasureFn ?Interest ?CUNIT) ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (exists (?Payment) (and (instance ?Payment Payment) (destination ?Payment ?BondHolder) (origin ?Payment (AccountFn ?Bond)) (transactionAmount ?Payment (MeasureFn ?Total ?CUNIT))))) |
FinancialOntology.kif 2347-2369 |
|
(=> (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 (instance ?Loan BalloonLoan) (maturityDate ?Loan ?Date) (totalBalance ?Loan ?Amount) (borrower ?Loan ?Agent)) (holdsObligation (KappaFn ?Payment (and (date ?Payment ?Date) (transactionAmount ?Payment ?Amount) (destination ?Payment (CurrencyFn ?Loan)))) ?Agent)) |
FinancialOntology.kif 1425-1435 | |
(=> (and (instance ?Loan CallableLoan) (lender ?Loan ?Lender) (borrower ?Loan ?Borrower) (totalBalance ?Loan ?Amount) (instance ?Call Call) (agent ?Call ?Lender) (patient ?Call ?Loan)) (holdsObligation (KappaFn ?Payment (and (destination ?Payment ?Lender) (time ?Payment (ImmediateFutureFn (WhenFn ?Call))) (transactionAmount ?Payment ?Amount))) ?Borrower)) |
FinancialOntology.kif 1442-1457 | |
(=> (and (instance ?PSP ProfitSharingPlan) (accountHolder ?PSP ?H) (employs ?O ?H) (profit ?A (MeasureFn ?P ?U)) (instance ?U UnitOfCurrency) (agent ?A ?O)) (exists (?C ?PAY) (and (instance ?PAY FinancialTransaction) (transactionAmount ?PAY (MeasureFn ?C ?U)) (lessThan ?C ?P) (destination ?PAY ?PSP)))) |
FinancialOntology.kif 1206-1221 |
|
(=> (and (instance ?PURCHASES Collection) (forall (?MEMBER) (=> (member ?MEMBER ?PURCHASES) (instance ?MEMBER Buying))) (exists (?REGION) (and (instance ?REGION GeopoliticalArea) (forall (?BUYER ?BUYING) (=> (and (instance ?BUYER AutonomousAgent) (instance ?BUYING Buying) (member ?BUYING ?PURCHASES) (agent ?BUYING ?BUYER)) (located ?BUYER ?REGION)))))) (exists (?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT) (and (total (KappaFn ?AMOUNT (and (instance ?PURCHASE Buying) (member ?PURCHASE ?PURCHASES) (transactionAmount ?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT) (equal (GMBFn ?PURCHASES) ?TOTAL_PURCHASE_AMOUNT)))) |
UXExperimentalTerms.kif 2956-2983 |
|
(=> (and (instance ?Refinancing Refinancing) (time ?Refinancing ?Time) (instance ?Loan Loan) (securedBy ?Loan ?Collateral) (borrower ?Loan ?Borrower) (currentAccountBalance ?Loan ?Time ?Amount) (patient ?Refinancing ?Loan)) (exists (?NewLoan ?Payment) (and (instance ?NewLoan Loan) (borrower ?NewLoan ?Borrower) (securedBy ?Loan ?Collateral) (destination ?Payment (CurrencyFn ?Loan)) (time ?Payment ?Time) (origin ?Payment (CurrencyFn ?NewLoan)) (transactionAmount ?Payment ?Amount)))) |
FinancialOntology.kif 1463-1480 |
|
(=> (and (instance ?SALES Collection) (forall (?MEMBER) (=> (member ?MEMBER ?SALES) (instance ?MEMBER Selling))) (exists (?REGION) (and (instance ?REGION GeopoliticalArea) (forall (?SELLER ?SELLING) (=> (and (instance ?SELLER AutonomousAgent) (instance ?SELLING Buying) (member ?SELLING ?SALES) (agent ?SELLING ?SELLER)) (located ?SELLER ?REGION)))))) (exists (?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT) (and (total (KappaFn ?AMOUNT (and (instance ?SALE Selling) (member ?SALE ?SALES) (transactionAmount ?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT) (equal (GMVFn ?SALES) ?TOTAL_SALE_AMOUNT)))) |
UXExperimentalTerms.kif 2999-3026 |
|
(=> (and (monetaryValue ?Check ?Amount) (checkAccount ?Check ?Account) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Withdrawal ?WithdrawalTime) (and (instance ?Withdrawal Withdrawal) (instrument ?Withdrawal ?Check) (equal (WhenFn ?Withdrawal) ?WithdrawalTime) (meetsTemporally ?ProcessingTime ?WithdrawalTime) (transactionAmount ?Withdrawal ?Amount) (origin ?Withdrawal ?Account)))) |
FinancialOntology.kif 104-118 |
|
(=> (and (monetaryValue ?Check ?Amount) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (destination ?Processing (CurrencyFn ?Account)) (instance ?Account FinancialAccount) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Deposit ?DepositTime) (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 |
|
(=> (and (negotiatedPrice ?ENT ?PRICE ?AGREE) (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?BUYER ?AGREE)) (agreementClause (exists (?B ?ITEM) (and (instance ?B Buying) (patient ?B ?ITEM) (immediateInstance ?ITEM ?ENT) (agent ?B ?BUYER) (origin ?B ?SELLER) (transactionAmount ?B ?PRICE))) Obligation ?AGREE ?SELLER)) |
Catalog.kif 311-324 |
|
(=> (and (negotiatedPrice ?ENT ?PRICE ?AGREE) (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?BUYER ?AGREE)) (modalAttribute (exists (?S ?ITEM) (and (instance ?S Selling) (patient ?S ?ITEM) (immediateInstance ?ITEM ?ENT) (agent ?S ?SELLER) (destination ?S ?BUYER) (transactionAmount ?S ?PRICE))) Promise)) |
Catalog.kif 276-289 |
|
(=> (and (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validFor ?PS ?CUSTCLASS) (instance ?CUSTOMER ?CUSTCLASS)) (modalAttribute (=> (and (instance ?B Buying) (agent ?B ?CUSTOMER) (origin ?B ?AGENT) (patient ?B ?ITEM)) (transactionAmount ?B ?PRICE)) Likely)) |
Catalog.kif 354-370 |
|
(=> (and (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validityPeriod ?PS ?TIMEINT)) (holdsDuring ?TIMEINT (modalAttribute (=> (and (instance ?S Selling) (agent ?S ?AGENT) (patient ?S ?ITEM)) (transactionAmount ?S ?PRICE)) Likely))) |
Catalog.kif 372-387 |
|
(=> (and (productPrice ?ENT (MeasureFn ?PRICE1 ?U) ?AGENT) (instance ?U UnitOfCurrency) (publishedPrice ?ENT (MeasureFn ?PRICE2 ?U) ?AGENT ?PS) (validFor ?PS ?CUSTCLASS) (instance ?ITEM ?ENT) (instance ?B Buying) (immediateInstance ?CUST ?CUSTCLASS) (agent ?B ?CUST) (origin ?B ?AGENT) (lessThan ?PRICE2 ?PRICE1)) (modalAttribute (transactionAmount ?B ?PRICE1) Likely)) |
Catalog.kif 430-445 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |