transactionAmount - Sigma Knowledge base Browser

appearance as argument number 1

(documentation transactionAmount ChineseLanguage "(transactionAmount ?TRANSACTION ?AMOUNT)的意思是： ?AMOUNT 是在 FinancialTransaction ?TRANSACTION 中所交换 CurrencyMeasure 的实例。")	chinese_format.kif 3097-3099
(documentation transactionAmount EnglishLanguage "(transactionAmount ?TRANSACTION ?AMOUNT) means that ?AMOUNT is an instance of CurrencyMeasure being exhanged in the FinancialTransaction ?TRANSACTION.")	Merge.kif 11958-11960
(documentation transactionAmount JapaneseLanguage "(transactionAmount ?TRANSACTION ?AMOUNT) は、?AMOUNT が FinancialTransaction ?TRANSACTION に取り出されている CurrencyMeasure のインスタンスであることを意味する。")	japanese_format.kif 1868-1870
(domain transactionAmount 1 FinancialTransaction)	Merge.kif 11955-11955	transactionAmount の数値 1 引数は金融取引の instance では %n
(domain transactionAmount 2 CurrencyMeasure)	Merge.kif 11956-11956	transactionAmount の数値 2 引数は通貨測定の instance では %n
(instance transactionAmount BinaryPredicate)	Merge.kif 11952-11952	transactionAmount は 2進述語の instance では %n
(instance transactionAmount SingleValuedRelation)	Merge.kif 11953-11953	transactionAmount は一価関係の instance では %n
(instance transactionAmount TotalValuedRelation)	Merge.kif 11954-11954	transactionAmount は合計値関係の instance では %n

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

(=> (and (instance ?Deposit Deposit) (instance ?Account FinancialAccount) (destination ?Deposit (CurrencyFn ?Account)) (transactionAmount ?Deposit (MeasureFn ?Amount ?CUNIT)) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Deposit)) (MeasureFn ?Balance1 ?CUNIT)) (equal ?Balance2 (AdditionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Deposit)) (MeasureFn ?Balance2 ?CUNIT)))	FinancialOntology.kif 436-453	金融取引は Deposit の instance では %n FinancialAccount は FinancialAccount の instance では %n 金融取引は CurrencyFn FinancialAccount に ends %n{ない} transactionAmount 金融取引 and 実数の測定単位(s) currentAccountBalance FinancialAccount, 金融取引の time の existence の immediately before and 実数の測定単位(s) 実数は ( 実数 + 実数) と equal では %n currentAccountBalance FinancialAccount, 金融取引の after のすぐ after and 実数の測定単位(s)
(=> (and (instance ?Payment Payment) (origin ?Payment (CurrencyFn ?Account)) (instance ?Account FinancialAccount) (transactionAmount ?Payment (MeasureFn ?Amount ?CUNIT)) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Payment)) (MeasureFn ?Balance1 ?CUNIT)) (equal ?Balance2 (SubtractionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (WhenFn ?Payment)) (MeasureFn ?Balance2 ?CUNIT)))	FinancialOntology.kif 408-424	金融取引は Payment の instance では %n 金融取引は CurrencyFn FinancialAccount から originates %n{ない} FinancialAccount は FinancialAccount の instance では %n transactionAmount 金融取引 and 実数の測定単位(s) currentAccountBalance FinancialAccount, 金融取引の time の existence の immediately before and 実数の測定単位(s) 実数は ( 実数 + 実数) と equal では %n currentAccountBalance FinancialAccount, 金融取引の time の existence のすぐ after and 実数の測定単位(s)
(=> (and (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account)) (transactionAmount ?Transaction (MeasureFn ?Amount1 ?U)) (instance ?U UnitOfCurrency) (instance ?Cash Currency) (patient ?Transaction ?Cash) (date ?Transaction ?Day)) (exists (?Amount2) (and (availableCash ?Account ?Day (MeasureFn ?Amount2 ?U)) (greaterThanOrEqualTo ?Amount1 ?Amount2))))	FinancialOntology.kif 3852-3866	金融取引は金融取引の instance では %n 金融取引は CurrencyFn FinancialAccount から originates %n{ない} transactionAmount 金融取引 and 実数の測定単位(s) 測定単位は UnitOfCurrency の instance では %n エンティティーは Currency の instance では %n エンティティーは金融取引の patient では %n 金融取引の date は日では実数 availableCash FinancialAccount, 日 and 実数の測定単位(s) 実数は実数 greater では　%n
(=> (and (instance ?Transaction FinancialTransaction) (origin ?Transaction ?Account) (transactionAmount ?Transaction (MeasureFn ?Amount1 ?U)) (instance ?U UnitOfCurrency) (date ?Transaction ?Day)) (exists (?Amount2) (and (availableBalance ?Account ?Day (MeasureFn ?Amount2 ?U)) (greaterThanOrEqualTo ?Amount1 ?Amount2))))	FinancialOntology.kif 3829-3841	金融取引は金融取引の instance では %n 金融取引は FinancialAccount から originates %n{ない} transactionAmount 金融取引 and 実数の測定単位(s) 測定単位は UnitOfCurrency の instance では %n 金融取引の date は日では実数 availableBalance FinancialAccount, 日 and 実数の測定単位(s) 実数は実数 greater では　%n
(=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal ?Account) (transactionAmount ?Withdrawal (MeasureFn ?Amount ?CUNIT)) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Withdrawal)) (MeasureFn ?Balance1 ?CUNIT)) (equal ?Balance2 (SubtractionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Withdrawal)) (MeasureFn ?Balance2 ?CUNIT)))	FinancialOntology.kif 466-481	金融取引は Withdrawal の instance では %n FinancialAccount は FinancialAccount の instance では %n 金融取引は FinancialAccount から originates %n{ない} transactionAmount 金融取引 and 実数の測定単位(s) currentAccountBalance FinancialAccount, 金融取引の time の existence の immediately before and 実数の測定単位(s) 実数は ( 実数 + 実数) と equal では %n currentAccountBalance FinancialAccount, 金融取引の after のすぐ after and 実数の測定単位(s)
(=> (and (transactionAmount ?Payment ?Amount) (date ?Payment ?Date) (instance ?Account FinancialAccount) (destination ?Payment (CurrencyFn ?Account)) (amountDue ?Account ?Amount ?DueDate) (before (EndFn ?Date) (BeginFn ?DueDate))) (instance ?Payment Prepayment))	FinancialOntology.kif 834-842	transactionAmount 金融取引 and 通貨測定金融取引の date は日では FinancialAccount は FinancialAccount の instance では %n 金融取引は CurrencyFn FinancialAccount に ends %n{ない} amountDue FinancialAccount, 通貨測定 and 時間間隔日の end は時間間隔の beginning の before に happens %n{ない} 金融取引は Prepayment の instance では %n
(=> (transactionAmount ?TRANS ?AMOUNT) (exists (?OBJ) (and (patient ?TRANS ?OBJ) (monetaryValue ?OBJ ?AMOUNT))))	Merge.kif 11962-11967	transactionAmount 金融取引 and 通貨測定物理物理は金融取引の patient では %n 物理の value は通貨測定では %n

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	AutonomousAgent は工程の agent では %n 工程はオブジェクトから originates %n{ない} 物理は工程の patient では %n 物理の value は通貨測定では %n 金融取引金融取引は工程% の subprocess では %n 金融取引は Payment の instance では %n transactionAmount 金融取引 and 通貨測定金融取引は AutonomousAgent から originates %n{ない} 金融取引はオブジェクトに ends %n{ない}
(=> (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	amountDue FinancialAccount, 通貨測定 and 時間位置 accountHolder FinancialAccount and 認識エージェント認識エージェントはタイプエンティティー class のタスクを実行する obliged %n
(=> (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	borrower Loan and 認識エージェント lender Loan and 認識エージェント agreementPeriod Loan and 時間間隔 interestEarned Loan, Interest and 時間間隔金融取引金融取引は認識エージェントから originates %n{ない} transactionAmount 金融取引 and Interest 金融取引は認識エージェントに ends %n{ない}
(=> (and (downPayment ?Loan ?Amount) (agreementEffectiveDate ?Loan ?Date)) (exists (?Payment) (and (transactionAmount ?Payment ?Amount) (date ?Payment ?Date) (destination ?Payment (CurrencyFn ?Loan)))))	FinancialOntology.kif 807-816	downPayment Loan and 通貨測定 agreementEffectiveDate Loan and 時点金融取引 transactionAmount 金融取引 and 通貨測定金融取引の date は時点では金融取引は CurrencyFn Loan に ends %n{ない}
(=> (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	コレクションはコレクションの instance では %n 物理物理はコレクションの member では %n 物理は Auctioning の instance では %n 記号文字列エンティティー_PURCHASE_AMOUNT total 記号文字列で記述される class and エンティティー_PURCHASE_AMOUNT AuctionGMBFn コレクションはエンティティー_PURCHASE_AMOUNT と equal では %n
(=> (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	FinancialAccount は CreditAccount の instance では %n accountAt FinancialAccount and FinancialOrganization accountHolder FinancialAccount and 認識エージェント interestEarned FinancialAccount, Interest and 時間間隔金融取引金融取引は認識エージェントから originates %n{ない} transactionAmount 金融取引 and Interest 金融取引は FinancialOrganization に ends %n{ない}
(=> (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	FinancialAccount は CreditAccount の instance では %n accountHolder FinancialAccount and 認識エージェント principalAmount FinancialAccount and 実数 agreementPeriod FinancialAccount and 時間間隔 interestEarned FinancialAccount, Interest and 時間間隔実数は ( 実数 + Interest) と equal では %n 認識エージェントはタイプエンティティー class のタスクを実行する obliged %n
(=> (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	FinancialAccount は FinancialAccount の instance では %n minimumBalance FinancialAccount, OpeningAnAccount and 実数の測定単位(s) 測定単位は UnitOfCurrency の instance では %n 金融取引時点 and 実数金融取引は CurrencyFn FinancialAccount に ends %n{ない} transactionAmount 金融取引 and 実数の測定単位(s) 実数は実数 greater では　%n agreementEffectiveDate FinancialAccount and 時点金融取引の date は時点では
(=> (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	Loan は Loan の instance では %n borrower Loan and 認識エージェント principalAmount Loan and 実数 agreementPeriod Loan and 時間間隔 interestEarned Loan, Interest and 時間間隔実数は ( 実数 + Interest) と equal では %n 認識エージェントはタイプエンティティー class のタスクを実行する obliged %n
(=> (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	FinancialAccount は SavingsAccount の instance では %n accountHolder FinancialAccount and 認識エージェント interestEarned FinancialAccount, Interest and 時間間隔金融取引金融取引は CurrencyFn FinancialAccount に ends %n{ない} transactionAmount 金融取引 and Interest 金融取引は認識エージェントに ends %n{ない}
(=> (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	FinancialAsset は ZeroCouponBond の instance では %n maturityDate AccountFn FinancialAsset and 日 FinancialAssetHolder は FinancialAsset を possesses %n{ない} principalAmount AccountFn FinancialAsset and 実数の測定単位(s) agreementPeriod AccountFn FinancialAsset and 時間間隔 interestEarned AccountFn FinancialAsset, 実数の測定単位(s) and 時間間隔実数は ( 実数 + 実数) と equal では %n 金融取引金融取引は Payment の instance では %n 金融取引は FinancialAssetHolder に ends %n{ない} 金融取引は AccountFn FinancialAsset から originates %n{ない} transactionAmount 金融取引 and 実数の測定単位(s)
(=> (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	工程は DepositingACheck の instance では %n Check は工程の patient では %n Check は Check の instance では %n checkAccount Check and FinancialAccount Check の value は通貨測定では %n 金融取引金融取引は Deposit の instance では %n 金融取引は CurrencyFn FinancialAccount に ends %n{ない} transactionAmount 金融取引 and 通貨測定
(=> (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	Loan は BalloonLoan の instance では %n maturityDate Loan and 日 totalBalance Loan and 通貨測定 borrower Loan and 認識エージェント認識エージェントはタイプエンティティー class のタスクを実行する obliged %n
(=> (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	Loan は CallableLoan の instance では %n lender Loan and 認識エージェント borrower Loan and 認識エージェント totalBalance Loan and 通貨測定工程は Call の instance では %n 認識エージェントは工程の agent では %n Loan は工程の patient では %n 認識エージェントはタイプエンティティー class のタスクを実行する obliged %n
(=> (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	FinancialAccount は ProfitSharingPlan の instance では %n accountHolder FinancialAccount and 認識エージェント AutonomousAgent は認識エージェントを employs %n{ない} profit 金融取引 and 実数の測定単位(s) 測定単位は UnitOfCurrency の instance では %n AutonomousAgent は金融取引の agent では %n 実数実数AY 実数AY は金融取引の instance では %n transactionAmount 実数AY and 実数の測定単位(s) 実数は実数より less では %n 実数AY は FinancialAccount に ends %n{ない}
(=> (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	コレクションはコレクションの instance では %n 物理物理はコレクションの member では %n 物理は購買の instance では %n オブジェクトオブジェクトは地政学的地域の instance では %n AutonomousAgent 工程 AutonomousAgent は AutonomousAgent の instance では %n 工程は購買の instance では %n 工程はコレクションの member では %n AutonomousAgent は工程の agent では %n AutonomousAgent はオブジェクトに located して %n 記号文字列エンティティー and エンティティー_PURCHASE_AMOUNT total 記号文字列で記述される class and エンティティー_PURCHASE_AMOUNT GMBFn コレクションはエンティティー_PURCHASE_AMOUNT と equal では %n
(=> (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	工程は Refinancing の instance では %n 工程は日の during exists %n{ない} Loan は Loan の instance では %n securedBy Loan and Collateral borrower Loan and 認識エージェント currentAccountBalance Loan, 日 and 通貨測定 Loan は工程の patient では %n Loan 金融取引 Loan は Loan の instance では %n borrower Loan and 認識エージェント securedBy Loan and Collateral 金融取引は CurrencyFn Loan に ends %n{ない} 金融取引は日の during exists %n{ない} 金融取引は CurrencyFn Loan から originates %n{ない} transactionAmount 金融取引 and 通貨測定
(=> (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	コレクションはコレクションの instance では %n 物理物理はコレクションの member では %n 物理は販売の instance では %n オブジェクトオブジェクトは地政学的地域の instance では %n AutonomousAgent 工程 AutonomousAgent は AutonomousAgent の instance では %n 工程は購買の instance では %n 工程はコレクションの member では %n AutonomousAgent は工程の agent では %n AutonomousAgent はオブジェクトに located して %n 記号文字列エンティティー and エンティティー_SALE_AMOUNT total 記号文字列で記述される class and エンティティー_SALE_AMOUNT GMVFn コレクションはエンティティー_SALE_AMOUNT と equal では %n
(=> (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	Check の value は通貨測定では %n checkAccount Check and FinancialAccount 工程は ProcessingACheck の instance では %n Check は工程の patient では %n 工程の time の existence は工程Time と equal では %n 金融取引金融取引Time 金融取引は Withdrawal の instance では %n Check は金融取引の instrument では %n 金融取引の time の existence は金融取引Time と equal では %n 工程Time は金融取引Time に meets %n{ない} transactionAmount 金融取引 and 通貨測定金融取引は FinancialAccount から originates %n{ない}
(=> (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	オブジェクトの value は通貨測定では %n 工程は ProcessingACheck の instance では %n オブジェクトは工程の patient では %n 工程は CurrencyFn FinancialAccount に ends %n{ない} FinancialAccount は FinancialAccount の instance では %n 工程の time の existence は工程Time と equal では %n 金融取引金融取引Time 金融取引は Deposit の instance では %n オブジェクトは金融取引の instrument では %n 金融取引の time の existence は金融取引Time と equal では %n 工程Time は金融取引Time に meets %n{ない} transactionAmount 金融取引 and 通貨測定金融取引は CurrencyFn FinancialAccount に ends %n{ない}
(=> (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	negotiatedPrice 物理, 通貨測定 and Agreement partyToAgreement 認識エージェント and Agreement partyToAgreement 認識エージェント and Agreement agreementClause エンティティーエンティティーエンティティーは購買の instance では %n エンティティーはエンティティーの patient では %n エンティティーは物理の immediate のインスタンスでは %n 認識エージェントはエンティティーの agent では %n エンティティーは認識エージェントから originates %n{ない} transactionAmount エンティティー and 通貨測定, Obligation, Agreement and 認識エージェント
(=> (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	negotiatedPrice 物理, 通貨測定 and Agreement partyToAgreement 認識エージェント and Agreement partyToAgreement 認識エージェント and Agreement ステートメントエンティティーエンティティーエンティティーは販売の instance では %n エンティティーはエンティティーの patient では %n エンティティーは物理の immediate のインスタンスでは %n 認識エージェントはエンティティーの agent では %n エンティティーは認識エージェントに ends %n{ない} transactionAmount エンティティー and 通貨測定には Promise の modal force がある
(=> (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	publishedPrice エンティティー, 通貨測定, 認識エージェント and PricingScheme unitPrice エンティティー, 関数量, 認識エージェント and PricingScheme エンティティーは物理の subclass では %n エンティティーはエンティティーの immediate のインスタンスでは %n validFor PricingScheme and AutonomousAgent エンティティーは AutonomousAgent の instance では %n ステートメントエンティティーは購買の instance では %n エンティティーはエンティティーの agent では %n エンティティーは認識エージェントから originates %n{ない} エンティティーはエンティティーの patient では %n transactionAmount エンティティー and 通貨測定には Likely の modal force がある
(=> (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	publishedPrice エンティティー, 通貨測定, 認識エージェント and PricingScheme unitPrice エンティティー, 関数量, 認識エージェント and PricingScheme エンティティーは物理の subclass では %n エンティティーはエンティティーの immediate のインスタンスでは %n validityPeriod PricingScheme and 時間間隔ステートメントエンティティーは販売の instance では %n 認識エージェントはエンティティーの agent では %n エンティティーはエンティティーの patient では %n transactionAmount エンティティー and 通貨測定には Likely の modal force があるは時間間隔の during holds %n{ない}
(=> (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	productPrice エンティティー, 実数の測定単位(s) and 認識エージェント測定単位は UnitOfCurrency の instance では %n publishedPrice エンティティー, 実数の測定単位(s), 認識エージェント and PricingScheme validFor PricingScheme and AutonomousAgent エンティティーはエンティティーの instance では %n 工程は購買の instance では %n AutonomousAgent は AutonomousAgent の immediate のインスタンスでは %n AutonomousAgent は工程の agent では %n 工程は認識エージェントから originates %n{ない} 実数は実数より less では %n ステートメント transactionAmount 工程 and 実数には Likely の modal force がある

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

KB Term:			Term intersection

English Word: