AuthorizationOfTransaction - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass EnteringAPin AuthorizationOfTransaction)	FinancialOntology.kif 3574-3574	Entering a PIN is a subclass of authorization of transaction
(subclass ProcessingACheck AuthorizationOfTransaction)	FinancialOntology.kif 366-366	Processing a check is a subclass of authorization of transaction
(subclass VerifyingCardCode AuthorizationOfTransaction)	FinancialOntology.kif 3586-3586	Verifying card code is a subclass of authorization of transaction
(termFormat ChineseLanguage AuthorizationOfTransaction "交易授权")	domainEnglishFormat.kif 9163-9163	Verifying card code is a subclass of authorization of transaction
(termFormat ChineseTraditionalLanguage AuthorizationOfTransaction "交易授權")	domainEnglishFormat.kif 9162-9162	Verifying card code is a subclass of authorization of transaction
(termFormat EnglishLanguage AuthorizationOfTransaction "authorization of transaction")	domainEnglishFormat.kif 9161-9161	Verifying card code is a subclass of authorization of transaction

antecedent

(=>
    (and
        (instance ?Authorization AuthorizationOfTransaction)
        (instance ?Transaction FinancialTransaction)
        (instance ?Card BankCard)
        (instrument ?Transaction ?Card)
        (causes ?Authorization ?Transaction))
    (instance ?Card ValidCard))

FinancialOntology.kif 3534-3541

consequent

(=> (and (instance ?Account SavingsAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (exists (?Authorization) (and (instance ?Authorization AuthorizationOfTransaction) (subProcess ?Authorization ?Transaction))))	FinancialOntology.kif 1035-1043	If a financial account is an instance of savings account and a process is an instance of financial transaction and the process originates at the currency of the financial account, then there exists another process such that the other process is an instance of authorization of transaction and the other process is a subprocess of the process
(=> (instance ?Processing ProcessingACheck) (exists (?Authorization) (and (instance ?Authorization AuthorizationOfTransaction) (subProcess ?Authorization ?Processing))))	FinancialOntology.kif 377-382	If a process is an instance of processing a check, then there exists another process such that the other process is an instance of authorization of transaction and the other process is a subprocess of the process