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	subclass Withdrawal and FinancialTransaction

appearance as argument number 2

(disjoint Deposit Withdrawal)	FinancialOntology.kif 427-427	disjoint Deposit and 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	instance FinancialTransaction and Withdrawal instance Object and FinancialAccount origin FinancialTransaction and Object transactionAmount FinancialTransaction and MeasureFn RealNumber and UnitOfMeasure currentAccountBalance Object, ImmediatePastFn WhenFn FinancialTransaction and MeasureFn RealNumber and UnitOfMeasure equal RealNumber and SubtractionFn RealNumber and RealNumber currentAccountBalance Object, ImmediateFutureFn FutureFn FinancialTransaction and MeasureFn RealNumber and UnitOfMeasure
(=> (instance ?Withdrawal Withdrawal) (exists (?Account) (and (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account)))))	FinancialOntology.kif 459-464	instance Process and Withdrawal FinancialAccount instance FinancialAccount and FinancialAccount origin Process and CurrencyFn FinancialAccount

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

monetaryValue Check and CurrencyMeasure checkAccount Check and FinancialAccount instance Process and ProcessingACheck patient Process and Check equal WhenFn Process and ProcessTime
FinancialTransaction instance FinancialTransaction and Withdrawal instrument FinancialTransaction and Check equal WhenFn FinancialTransaction and FinancialTransactionTime meetsTemporally ProcessTime and FinancialTransactionTime transactionAmount FinancialTransaction and CurrencyMeasure origin FinancialTransaction and FinancialAccount

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: