Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Withdrawal

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 " d/ d3/ 49024-SOS-ATM.JPG") pictureList.kif 9850-9850
(externalImage Withdrawal " thumb/ 8/ 80/ NCR_ATM.JPG/ 450px-NCR_ATM.JPG") pictureList.kif 9851-9851
(externalImage Withdrawal " 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


        (instance ?Withdrawal Withdrawal)
        (instance ?Account FinancialAccount)
        (origin ?Withdrawal ?Account)
        (transactionAmount ?Withdrawal
            (MeasureFn ?Amount ?CUNIT))
        (currentAccountBalance ?Account
                (WhenFn ?Withdrawal))
            (MeasureFn ?Balance1 ?CUNIT))
        (equal ?Balance2
            (SubtractionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
            (FutureFn ?Withdrawal))
        (MeasureFn ?Balance2 ?CUNIT)))
FinancialOntology.kif 466-481
    (instance ?Withdrawal Withdrawal)
    (exists (?Account)
            (instance ?Account FinancialAccount)
            (origin ?Withdrawal
                (CurrencyFn ?Account)))))
FinancialOntology.kif 459-464


        (monetaryValue ?Check ?Amount)
        (checkAccount ?Check ?Account)
        (instance ?Processing ProcessingACheck)
        (patient ?Processing ?Check)
            (WhenFn ?Processing) ?ProcessingTime))
    (exists (?Withdrawal)
            (instance ?Withdrawal Withdrawal)
            (instrument ?Withdrawal ?Check)
                (WhenFn ?Withdrawal) ?WithdrawalTime)
            (meetsTemporally ?ProcessingTime ?WithdrawalTime)
            (transactionAmount ?Withdrawal ?Amount)
            (origin ?Withdrawal ?Account))))
FinancialOntology.kif 104-118

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