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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AuthorizationOfTransaction

Sigma KEE - AuthorizationOfTransaction
AuthorizationOfTransaction

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 AuthorizationOfTransaction ist eine teilkategorie von ControllingAnAccount
(subclass AuthorizationOfTransaction FinancialService) FinancialOntology.kif 384-384 AuthorizationOfTransaction ist eine teilkategorie von FinancialService
(subclass AuthorizationOfTransaction RegulatoryProcess) FinancialOntology.kif 383-383 AuthorizationOfTransaction ist eine teilkategorie von RegulatoryProcess

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


(subclass EnteringAPin AuthorizationOfTransaction) FinancialOntology.kif 3556-3556 EnteringAPin ist eine teilkategorie von AuthorizationOfTransaction
(subclass ProcessingACheck AuthorizationOfTransaction) FinancialOntology.kif 364-364 ProcessingACheck ist eine teilkategorie von AuthorizationOfTransaction
(subclass VerifyingCardCode AuthorizationOfTransaction) FinancialOntology.kif 3568-3568 VerifyingCardCode ist eine teilkategorie von AuthorizationOfTransaction
(termFormat ChineseLanguage AuthorizationOfTransaction "交易授权") domainEnglishFormat.kif 9156-9156
(termFormat ChineseTraditionalLanguage AuthorizationOfTransaction "交易授權") domainEnglishFormat.kif 9155-9155
(termFormat EnglishLanguage AuthorizationOfTransaction "authorization of transaction") domainEnglishFormat.kif 9154-9154

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
(=>
    (instance ?Processing ProcessingACheck)
    (exists (?Authorization)
        (and
            (instance ?Authorization AuthorizationOfTransaction)
            (subProcess ?Authorization ?Processing))))
FinancialOntology.kif 375-380


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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