AuthorizationOfTransaction - Sigma Knowledge base Browser

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 3556-3556	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 3568-3568	Verifying card code is a subclass of authorization of transaction
(termFormat ChineseLanguage AuthorizationOfTransaction "交易授权")	domainEnglishFormat.kif 9164-9164	Verifying card code is a subclass of authorization of transaction
(termFormat ChineseTraditionalLanguage AuthorizationOfTransaction "交易授權")	domainEnglishFormat.kif 9163-9163	Verifying card code is a subclass of authorization of transaction
(termFormat EnglishLanguage AuthorizationOfTransaction "authorization of transaction")	domainEnglishFormat.kif 9162-9162	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 3516-3523

consequent

(=> (and (instance ?Account SavingsAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (exists (?Authorization) (and (instance ?Authorization AuthorizationOfTransaction) (subProcess ?Authorization ?Transaction))))	FinancialOntology.kif 1033-1041	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 375-380	If a process is an instance of processingA 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