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	AuthorizationOfTransaction is a subclass of ControllingAnAccount
(subclass AuthorizationOfTransaction FinancialService)	FinancialOntology.kif 386-386	AuthorizationOfTransaction is a subclass of FinancialService
(subclass AuthorizationOfTransaction RegulatoryProcess)	FinancialOntology.kif 385-385	AuthorizationOfTransaction is a subclass of regulatory process

appearance as argument number 2

(subclass EnteringAPin AuthorizationOfTransaction)	FinancialOntology.kif 3574-3574	EnteringAPin is a subclass of AuthorizationOfTransaction
(subclass ProcessingACheck AuthorizationOfTransaction)	FinancialOntology.kif 366-366	ProcessingACheck is a subclass of AuthorizationOfTransaction
(subclass VerifyingCardCode AuthorizationOfTransaction)	FinancialOntology.kif 3586-3586	VerifyingCardCode is a subclass of AuthorizationOfTransaction
(termFormat ChineseLanguage AuthorizationOfTransaction "交易授权")	domainEnglishFormat.kif 9156-9156	VerifyingCardCode is a subclass of AuthorizationOfTransaction
(termFormat ChineseTraditionalLanguage AuthorizationOfTransaction "交易授權")	domainEnglishFormat.kif 9155-9155	VerifyingCardCode is a subclass of AuthorizationOfTransaction
(termFormat EnglishLanguage AuthorizationOfTransaction "authorization of transaction")	domainEnglishFormat.kif 9154-9154	VerifyingCardCode is a subclass of AuthorizationOfTransaction

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 FinancialAccount is an instance of SavingsAccount and a process is an instance of financial transaction and the process originates at CurrencyFn the FinancialAccount, then there exists another process such that the other process is an instance of AuthorizationOfTransaction 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 ProcessingACheck, then there exists another process such that the other process is an instance of AuthorizationOfTransaction and the other process is a subprocess of the process