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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ProcessingACheck

 Sigma KEE - ProcessingACheck
ProcessingACheck(处理检查)

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 9567-9567
(externalImage ProcessingACheck "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ CanadianChequeSample.png") pictureList.kif 8665-8665
(subclass ProcessingACheck AuthorizationOfTransaction) FinancialOntology.kif 364-364 处理检查 是 交易授权 的 subclass
(subclass ProcessingACheck ControllingAnAccount) FinancialOntology.kif 363-363 处理检查 是 控制一个帐户 的 subclass

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


(termFormat ChineseLanguage ProcessingACheck "处理检查") domainEnglishFormat.kif 47518-47518
(termFormat ChineseTraditionalLanguage ProcessingACheck "處理檢查") domainEnglishFormat.kif 47517-47517
(termFormat EnglishLanguage ProcessingACheck "processingA check") domainEnglishFormat.kif 47516-47516

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 ?Processing) ?ProcessingTime)
        (meetsTemporally ?DrawingTime ?Time)
        (meetsTemporally ?Time ?ProcessingTime)
        (duration ?Time
            (MeasureFn ?Duration MonthDuration)))
    (lessThan ?Duration 6))		 FinancialOntology.kif 155-166
(=>
    (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
(=>
    (and
        (monetaryValue ?Check ?Amount)
        (instance ?Processing ProcessingACheck)
        (patient ?Processing ?Check)
        (destination ?Processing
            (CurrencyFn ?Account))
        (instance ?Account FinancialAccount)
        (equal
            (WhenFn ?Processing) ?ProcessingTime))
    (exists (?Deposit ?DepositTime)
        (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 ?Processing ?Check))))		 FinancialOntology.kif 368-373


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