Withdrawal - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Withdrawal EnglishLanguage "An activity of money being transferred from a customer's account at a financial institution.")	FinancialOntology.kif 456-457
(externalImage Withdrawal "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ 49024-SOS_ATM.JPG")	pictureList.kif 9841-9841
(externalImage Withdrawal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 8/ 80/ NCR_ATM.JPG/ 450px_NCR_ATM.JPG")	pictureList.kif 9842-9842
(externalImage Withdrawal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ ae/ Cajero_Banelco.jpg/ 450px_Cajero_Banelco.jpg")	pictureList.kif 8803-8803
(subclass Withdrawal FinancialTransaction)	FinancialOntology.kif 455-455	Withdrawal は金融取引の subclass では %n

appearance as argument number 2

(disjoint Deposit Withdrawal)	FinancialOntology.kif 427-427	Deposit と Withdrawal は disjoint では %n
(termFormat ChineseLanguage Withdrawal "退出")	domainEnglishFormat.kif 63290-63290	Deposit と Withdrawal は disjoint では %n
(termFormat ChineseTraditionalLanguage Withdrawal "退出")	domainEnglishFormat.kif 63289-63289	Deposit と Withdrawal は disjoint では %n
(termFormat EnglishLanguage Withdrawal "withdrawing from an account")	domainEnglishFormat.kif 63288-63288	Deposit と Withdrawal は disjoint では %n

antecedent

(<=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account)) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)) (causes ?Withdrawal ?Penalty))))) (liquidity ?Account HighLiquidity))	FinancialOntology.kif 1832-1842	工程は Withdrawal の instance では %n FinancialAccount は FinancialAccount の instance では %n 工程は CurrencyFn FinancialAccount から originates %n{ない} 工程工程は Penalty の instance では %n 工程は CurrencyFn FinancialAccount に ends %n{ない} 工程は工程を causes %n{ない} liquidity FinancialAccount and HighLiquidity
(=> (and (instance ?Account TraditionalSavingsAccount) (instance ?Withdrawal Withdrawal) (origin ?Withdrawal (CurrencyFn ?Account))) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)) (causes ?Withdrawal ?Penalty)))))	FinancialOntology.kif 1115-1124	FinancialAccount は TraditionalSavingsAccount の instance では %n 工程は Withdrawal の instance では %n 工程は CurrencyFn FinancialAccount から originates %n{ない} 工程工程は Penalty の instance では %n 工程は CurrencyFn FinancialAccount に ends %n{ない} 工程は工程を causes %n{ない}
(=> (and (instance ?Account TraditionalSavingsAccount) (instance ?Withdrawal Withdrawal)) (exists (?A) (and (patient ?Withdrawal ?Account) (agent ?Withdrawal ?A) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (patient ?Penalty ?A)))))))	FinancialOntology.kif 1126-1138	エンティティーは TraditionalSavingsAccount の instance では %n 工程は Withdrawal の instance では %n AutonomousAgent エンティティーは工程の patient では %n AutonomousAgent は工程の agent では %n 工程工程は Penalty の instance では %n AutonomousAgent は工程の patient では %n
(=> (and (instance ?CD CertificateOfDeposit) (maturityDate ?CD ?MaturityDate) (instance ?Withdrawal Withdrawal) (origin ?Withdrawal (CurrencyFn ?CD)) (date ?Withdrawal ?DateOfWithdrawal) (before (EndFn ?DateOfWithdrawal) (BeginFn ?MaturityDate))) (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?CD)) (causes ?Withdrawal ?Penalty))))	FinancialOntology.kif 1087-1099	FinancialAccount は CertificateOfDeposit の instance では %n maturityDate FinancialAccount and 日工程は Withdrawal の instance では %n 工程は CurrencyFn FinancialAccount から originates %n{ない} 工程の date は日では日の end は日の beginning の before に happens %n{ない} 工程工程は Penalty の instance では %n 工程は CurrencyFn FinancialAccount に ends %n{ない} 工程は工程を causes %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)
(=> (instance ?Withdrawal Withdrawal) (exists (?Account) (and (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account)))))	FinancialOntology.kif 459-464	工程は Withdrawal の instance では %n FinancialAccount FinancialAccount は FinancialAccount の instance では %n 工程は CurrencyFn FinancialAccount から originates %n{ない}

consequent

(=>
    (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{ない}

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: