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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RegulatoryProcess
RegulatoryProcess

appearance as argument number 1
-------------------------


(documentation RegulatoryProcess ChineseLanguage "这是为了执行法规和条例的 Guiding。注: RegulatoryProcess 和它相关的概念 Managing 之间的主要区别是:后者意味着单一管理者和有限数量受管理 的实施者的长期关系,而前者则暗示对于受到规管活动的规范标准。") chinese_format.kif 2969-2971
(documentation RegulatoryProcess EnglishLanguage "An Guiding whose aim is the enforcement of rules or regulations. Note the key differences between RegulatoryProcess and the related concept Managing. The latter implies a long-term relationship between a single manager and limited number of agents who are managed, while the former implies a normative standard to which the activities of the regulated are referred.") Merge.kif 10140-10145
(subclass RegulatoryProcess Guiding) Merge.kif 10138-10138

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


(subclass AuthorizationOfTransaction RegulatoryProcess) FinancialOntology.kif 383-383
(subclass LawEnforcement RegulatoryProcess) Mid-level-ontology.kif 10684-10684
(subclass Punishing RegulatoryProcess) Mid-level-ontology.kif 810-810
(termFormat ChineseLanguage RegulatoryProcess "监管过程") chinese_format.kif 1105-1105
(termFormat EnglishLanguage RegulatoryProcess "regulatory process") english_format.kif 1432-1432

consequent
-------------------------


(=>
    (instance ?ORG ServiceOrganization)
    (exists (?PROC ?GOV)
        (and
            (instance ?PROC RegulatoryProcess)
            (patient ?PROC ?ORG)
            (agent ?PROC ?GOV)
            (instance ?GOV Government))))
Mid-level-ontology.kif 7343-7350


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



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