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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - ControllingAnAccount

appearance as argument number 1

(documentation ControllingAnAccount EnglishLanguage "An activity of controlling a financial account") FinancialOntology.kif 354-354
(externalImage ControllingAnAccount " commons/ 9/ 99/ Gnucash-account-summary.png") pictureList.kif 9960-9960
(subclass ControllingAnAccount FinancialTransaction) FinancialOntology.kif 353-353 子類 控制一個帳戶 and FinancialTransaction

appearance as argument number 2

(subclass AuthorizationOfTransaction ControllingAnAccount) FinancialOntology.kif 382-382 子類 交易授權 and 控制一個帳戶
(subclass ProcessingACheck ControllingAnAccount) FinancialOntology.kif 363-363 子類 處理檢查 and 控制一個帳戶
(termFormat ChineseLanguage ControllingAnAccount "控制一个帐户") domainEnglishFormat.kif 17058-17058
(termFormat ChineseTraditionalLanguage ControllingAnAccount "控制一個帳戶") domainEnglishFormat.kif 17057-17057
(termFormat EnglishLanguage ControllingAnAccount "controlling an account") domainEnglishFormat.kif 17056-17056


        (instance ?Controlling ControllingAnAccount)
        (patient ?Controlling ?Account)
        (accountAt ?Account ?Bank))
    (agent ?Controlling ?Bank))
FinancialOntology.kif 356-361


        (instance ?Account FinancialAccount)
        (accountAt ?Account ?Bank))
    (exists (?Activity)
            (instance ?Activity ControllingAnAccount)
            (patient ?Activity ?Account)
            (agent ?Activity ?Bank))))
FinancialOntology.kif 76-84

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