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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DepositingACheck
DepositingACheck

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


(documentation DepositingACheck EnglishLanguage "An activity of depositing a check into a FinancialOrganization.") FinancialOntology.kif 330-331
(externalImage DepositingACheck "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ CanadianChequeSamplePAR.png") pictureList.kif 9143-9143
(externalImage DepositingACheck "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ CanadianChequeSample.png") pictureList.kif 8450-8450
(subclass DepositingACheck UsingAnAccount) FinancialOntology.kif 329-329 DepositingACheck est une sous-classe de UsingAnAccount

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


(termFormat ChineseLanguage DepositingACheck "存款支票") domainEnglishFormat.kif 19149-19149
(termFormat ChineseTraditionalLanguage DepositingACheck "存款支票") domainEnglishFormat.kif 19148-19148
(termFormat EnglishLanguage DepositingACheck "depositingA check") domainEnglishFormat.kif 19147-19147

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


(=>
    (and
        (instance ?Depositing DepositingACheck)
        (instance ?Check Check)
        (agent ?Depositing ?Agent))
    (signedBy ?Check ?Agent))		 FinancialOntology.kif 148-153
(=>
    (and
        (instance ?Depositing DepositingACheck)
        (patient ?Depositing ?Check)
        (instance ?Check Check)
        (checkAccount ?Check ?Account)
        (monetaryValue ?Check ?Amount))
    (exists (?Deposit)
        (and
            (instance ?Deposit Deposit)
            (destination ?Deposit
                (CurrencyFn ?Account))
            (transactionAmount ?Deposit ?Amount))))		 FinancialOntology.kif 340-351
(=>
    (instance ?Depositing DepositingACheck)
    (exists (?Check)
        (and
            (instance ?Check Check)
            (patient ?Depositing ?Check))))		 FinancialOntology.kif 333-338

consequent
-------------------------


(=>
    (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


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