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 9850-9850
(externalImage Withdrawal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 8/ 80/ NCR_ATM.JPG/ 450px-NCR_ATM.JPG")	pictureList.kif 9851-9851
(externalImage Withdrawal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ ae/ Cajero_Banelco.jpg/ 450px-Cajero_Banelco.jpg")	pictureList.kif 8805-8805
(subclass Withdrawal FinancialTransaction)	FinancialOntology.kif 455-455	Withdrawal is a subclass of financial transaction

appearance as argument number 2

(disjoint Deposit Withdrawal)	FinancialOntology.kif 427-427	Deposit is disjoint from withdrawal
(termFormat ChineseLanguage Withdrawal "退出")	domainEnglishFormat.kif 63234-63234
(termFormat ChineseTraditionalLanguage Withdrawal "退出")	domainEnglishFormat.kif 63233-63233
(termFormat EnglishLanguage Withdrawal "withdrawal")	domainEnglishFormat.kif 63232-63232

antecedent

(=> (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	If a financial transaction is an instance of withdrawal and an object is an instance of financial account and the financial transaction originates at the object and a real number an unit of measure(s) is a transaction amount of the financial transaction and the object current account balance immediately before the time of existence of the financial transaction for another real number the unit of measure(s) and a third real number is equal to (the other real number and the real number), then the object current account balance immediately after after the financial transaction for the third real number the unit of measure(s)
(=> (instance ?Withdrawal Withdrawal) (exists (?Account) (and (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account)))))	FinancialOntology.kif 459-464	If a process is an instance of withdrawal, then there exists a financial account such that the financial account is an instance of financial account and the process originates at the currency of the financial account

consequent

(=>
    (and
        (monetaryValue ?Check ?Amount)
        (checkAccount ?Check ?Account)
        (instance ?Processing ProcessingACheck)
        (patient ?Processing ?Check)
        (equal
            (WhenFn ?Processing) ?ProcessingTime))
    (exists (?Withdrawal)
        (and
            (instance ?Withdrawal Withdrawal)
            (instrument ?Withdrawal ?Check)
            (equal
                (WhenFn ?Withdrawal) ?WithdrawalTime)
            (meetsTemporally ?ProcessingTime ?WithdrawalTime)
            (transactionAmount ?Withdrawal ?Amount)
            (origin ?Withdrawal ?Account))))

FinancialOntology.kif 104-118

If value of a check is a currency measure and a financial account is a check account of the check and a process is an instance of processingA check and the check is a patient of the process and the time of existence of the process is equal to the processTime,
then there exists a financial transaction such that the financial transaction is an instance of withdrawal and the check is an instrument for the financial transaction and the time of existence of the financial transaction is equal to the financial transactionTime and the processTime meets the financial transactionTime and the currency measure is a transaction amount of the financial transaction and the financial transaction originates at the financial account

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: