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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ProcessingACheck
ProcessingACheck(processingA check)
processingA_check

appearance as argument number 1
-------------------------


(documentation ProcessingACheck EnglishLanguage "An activity of paying the amount specified on the check from funds on deposit.") FinancialOntology.kif 365-366
(externalImage ProcessingACheck "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ CanadianChequeSamplePAR.png") pictureList.kif 9585-9585 "http://upload.wikimedia.org/wikipedia/commons/9/9e/ CanadianChequeSamplePAR.png" is a URL depicting processingA check
(externalImage ProcessingACheck "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ CanadianChequeSample.png") pictureList.kif 8670-8670 "http://upload.wikimedia.org/wikipedia/commons/b/b9/ CanadianChequeSample.png" is a URL depicting processingA check
(subclass ProcessingACheck AuthorizationOfTransaction) FinancialOntology.kif 364-364 ProcessingA check is a subclass of authorization of transaction
(subclass ProcessingACheck ControllingAnAccount) FinancialOntology.kif 363-363 ProcessingA check is a subclass of controlling an account

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ProcessingACheck "processingA check") domainEnglishFormat.kif 8342-8342 "processingA check" is the printable form of processingA check in english language

antecedent
-------------------------


(=>
    (and
        (instance ?Check Check)
        (instance ?Processing ProcessingACheck)
        (patient ?Processing ?Check))
    (exists (?Depositing)
        (and
            (instance ?Depositing DepositingACheck)
            (patient ?Depositing ?Check)
            (time ?Depositing
                (ImmediatePastFn
                    (WhenFn ?Processing))))))
FinancialOntology.kif 137-146
(=>
    (and
        (instance ?Drawing DrawingACheck)
        (patient ?Drawing ?Check)
        (instance ?Processing ProcessingACheck)
        (patient ?Processing ?Check)
        (equal
            (WhenFn ?Drawing) ?DrawingTime)
        (equal
            (WhenFn ?Procesing) ?ProcessingTime)
        (meetsTemporally ?DrawingTime ?Time)
        (meetsTemporally ?Time ?ProcessingTime)
        (duration ?Time ?Duration))
    (lessThan ?Duration
        (MeasureFn 6 MonthDuration)))
FinancialOntology.kif 155-166
(=>
    (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
(=>
    (and
        (monetaryValue ?Check ?Amount)
        (instance ?Processing ProcessingACheck)
        (patient ?Processing ?Check)
        (destination ?Processing
            (CurrencyFn ?Account))
        (instance ?Account FinancialAccount)
        (equal
            (WhenFn ?Processing) ?ProcessingTime))
    (exists (?Deposit)
        (and
            (instance ?Deposit Deposit)
            (instrument ?Deposit ?Check)
            (equal
                (WhenFn ?Deposit) ?DepositTime)
            (meetsTemporally ?ProcessingTime ?DepositTime)
            (transactionAmount ?Deposit ?Amount)
            (destination ?Deposit
                (CurrencyFn ?Account)))))
FinancialOntology.kif 120-135
(=>
    (instance ?Processing ProcessingACheck)
    (exists (?Authorization)
        (and
            (instance ?Authorization AuthorizationOfTransaction)
            (subProcess ?Authorization ?Processing))))
FinancialOntology.kif 375-380
(=>
    (instance ?Processing ProcessingACheck)
    (exists (?Check)
        (and
            (instance ?Check Check)
            (patient ?Procesing ?Check))))
FinancialOntology.kif 368-373


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners