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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ProcessingACheck
ProcessingACheck(processingA check)

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


s__documentation(s__ProcessingACheck,s__EnglishLanguage,'"An activity of paying the amount specified on the check from funds on deposit."')

FinancialOntology.kif 365-366
s__externalImage(s__ProcessingACheck,'"http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ CanadianChequeSamplePAR.png"')

pictureList.kif 9584-9584
s__externalImage(s__ProcessingACheck,'"http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ CanadianChequeSample.png"')

pictureList.kif 8669-8669
s__instance(s__ProcessingACheck,s__SetOrClass)

s__subclass(s__ProcessingACheck,s__AuthorizationOfTransaction)

s__instance(s__AuthorizationOfTransaction,s__SetOrClass)

FinancialOntology.kif 364-364 ProcessingA check is a subclass of authorization of transaction
s__instance(s__ControllingAnAccount,s__SetOrClass)

s__instance(s__ProcessingACheck,s__SetOrClass)

s__subclass(s__ProcessingACheck,s__ControllingAnAccount)

FinancialOntology.kif 363-363 ProcessingA check is a subclass of controlling an account

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


s__termFormat(s__ChineseLanguage,s__ProcessingACheck,'"处理检查"')

domainEnglishFormat.kif 47498-47498
s__termFormat(s__ChineseTraditionalLanguage,s__ProcessingACheck,'"處理檢查"')

domainEnglishFormat.kif 47497-47497
s__termFormat(s__EnglishLanguage,s__ProcessingACheck,'"processingA check"')

domainEnglishFormat.kif 47496-47496

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


( ! [V__Processing,V__Check] :
   (((s__instance(V__Check,s__Check) &
         s__instance(V__Processing,s__ProcessingACheck) &
         s__patient(V__Processing,V__Check))
     =>
     (( ? [V__Depositing] :
         ((s__instance(V__Depositing,s__DepositingACheck) &
             s__patient(V__Depositing,V__Check)
           &
           s__time(V__Depositing,s__ImmediatePastFn(s__WhenFn(V__Processing))))))))
)
)

FinancialOntology.kif 137-146
( ! [V__DrawingTime,V__Time,V__Duration,V__Processing,V__Drawing,V__ProcessingTime,V__Check] :
   (((s__instance(V__DrawingTime,s__TimeInterval) &
         s__instance(V__Time,s__TimeInterval) &
         s__instance(V__Duration,s__TimeDuration) &
         s__instance(V__ProcessingTime,s__TimeInterval))
       =>
       (((s__instance(V__Drawing,s__DrawingACheck) &
             s__patient(V__Drawing,V__Check)
           &
           s__instance(V__Processing,s__ProcessingACheck) &
           s__patient(V__Processing,V__Check)
         &
         (s__WhenFn(V__Drawing)
         = V__DrawingTime)
       &
       (s__WhenFn(V__Processing)
       = V__ProcessingTime)
     &
     s__meetsTemporally(V__DrawingTime,V__Time)
   &
   s__meetsTemporally(V__Time,V__ProcessingTime)
&
s__duration(V__Time,V__Duration))
=>
(s__lessThan(V__Duration,s__MeasureFn(n__6,s__MonthDuration))))))
)
)

FinancialOntology.kif 155-166
( ! [V__Amount,V__WithdrawalTime,V__Processing,V__Account,V__Check,V__ProcessingTime] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__WithdrawalTime,s__TimeInterval) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Check,s__Check) &
         s__instance(V__ProcessingTime,s__TimeInterval))
       =>
       (((s__monetaryValue(V__Check,V__Amount)
           &
           s__checkAccount(V__Check,V__Account)
         &
         s__instance(V__Processing,s__ProcessingACheck) &
         s__patient(V__Processing,V__Check)
       &
       (s__WhenFn(V__Processing)
       = V__ProcessingTime))
   =>
   (( ? [V__Withdrawal] :
       ((s__instance(V__Withdrawal,s__Withdrawal) &
           s__instrument(V__Withdrawal,V__Check)
         &
         (s__WhenFn(V__Withdrawal)
         = V__WithdrawalTime)
       &
       s__meetsTemporally(V__ProcessingTime,V__WithdrawalTime)
     &
     s__transactionAmount(V__Withdrawal,V__Amount)
   &
   s__origin(V__Withdrawal,V__Account))))))))
)
)

FinancialOntology.kif 104-118
( ! [V__Amount,V__Processing,V__Account,V__Check,V__ProcessingTime,V__DepositTime] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Check,s__Object) &
         s__instance(V__ProcessingTime,s__TimeInterval) &
         s__instance(V__DepositTime,s__TimeInterval))
       =>
       (((s__monetaryValue(V__Check,V__Amount)
           &
           s__instance(V__Processing,s__ProcessingACheck) &
           s__patient(V__Processing,V__Check)
         &
         s__destination(V__Processing,s__CurrencyFn(V__Account))
     &
     s__instance(V__Account,s__FinancialAccount) &
     (s__WhenFn(V__Processing)
     = V__ProcessingTime))
=>
(( ? [V__Deposit] :
     ((s__instance(V__Deposit,s__Deposit) &
         s__instrument(V__Deposit,V__Check)
       &
       (s__WhenFn(V__Deposit)
       = V__DepositTime)
     &
     s__meetsTemporally(V__ProcessingTime,V__DepositTime)
   &
   s__transactionAmount(V__Deposit,V__Amount)
&
s__destination(V__Deposit,s__CurrencyFn(V__Account)))))))))
)
)

FinancialOntology.kif 120-135
( ! [V__Processing] :
   ((s__instance(V__Processing,s__ProcessingACheck) =>
       (( ? [V__Authorization] :
           ((s__instance(V__Authorization,s__AuthorizationOfTransaction) &
               s__subProcess(V__Authorization,V__Processing))))))
   )
)

FinancialOntology.kif 375-380
( ! [V__Processing] :
   ((s__instance(V__Processing,s__ProcessingACheck) =>
       (( ? [V__Check] :
           ((s__instance(V__Check,s__Check) &
               s__patient(V__Processing,V__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 3.0 is open source software produced by Articulate Software and its partners