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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AuthorizationOfTransaction
AuthorizationOfTransaction(authorization of transaction)authorization_of_transaction

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


(documentation AuthorizationOfTransaction EnglishLanguage "An activity which approves or disapproves a transaction.") FinancialOntology.kif 385-386
(subclass AuthorizationOfTransaction ControllingAnAccount) FinancialOntology.kif 382-382 Authorization of transaction is a subclass of controlling an account
(subclass AuthorizationOfTransaction FinancialService) FinancialOntology.kif 384-384 Authorization of transaction is a subclass of financial service
(subclass AuthorizationOfTransaction RegulatoryProcess) FinancialOntology.kif 383-383 Authorization of transaction is a subclass of regulatory process

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


(subclass EnteringAPin AuthorizationOfTransaction) FinancialOntology.kif 3447-3447 Entering a PIN is a subclass of authorization of transaction
(subclass ProcessingACheck AuthorizationOfTransaction) FinancialOntology.kif 364-364 ProcessingA check is a subclass of authorization of transaction
(subclass VerifyingCardCode AuthorizationOfTransaction) FinancialOntology.kif 3459-3459 Verifying card code is a subclass of authorization of transaction
(termFormat EnglishLanguage AuthorizationOfTransaction "authorization of transaction") domainEnglishFormat.kif 1961-1961 "authorization of transaction" is the printable form of authorization of transaction in english language

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


(=>
    (and
        (instance ?Authorization AuthorizationOfTransaction)
        (instance ?Transaction FinancialTransaction)
        (instance ?Card BankCard)
        (instrument ?Transaction ?Card)
        (causes ?Authorization ?Transaction))
    (instance ?Card ValidCard))
FinancialOntology.kif 3407-3414

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


(=>
    (and
        (instance ?Account SavingsAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (exists (?Authorization)
        (and
            (instance ?Authorization AuthorizationOfTransaction)
            (subProcess ?Authorization ?Transaction))))
FinancialOntology.kif 978-986
(=>
    (instance ?Processing ProcessingACheck)
    (exists (?Authorization)
        (and
            (instance ?Authorization AuthorizationOfTransaction)
            (subProcess ?Authorization ?Processing))))
FinancialOntology.kif 375-380


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