TreeView 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 9842-9842
(externalImage Withdrawal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 8/ 80/ NCR_ATM.JPG/ 450px-NCR_ATM.JPG")	pictureList.kif 9843-9843
(externalImage Withdrawal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ ae/ Cajero_Banelco.jpg/ 450px-Cajero_Banelco.jpg")	pictureList.kif 8804-8804
(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 63269-63269
(termFormat ChineseTraditionalLanguage Withdrawal "退出")	domainEnglishFormat.kif 63268-63268
(termFormat EnglishLanguage Withdrawal "withdrawal")	domainEnglishFormat.kif 63267-63267

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 1818-1828	工程は 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 ?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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: