TreeView Knowledge Base Browser

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 10711-10716
(subclass RegulatoryProcess Guiding)	Merge.kif 10709-10709	Regulatory process is a subclass of guiding

appearance as argument number 2

(subclass AuthorizationOfTransaction RegulatoryProcess)	FinancialOntology.kif 383-383	Authorization of transaction is a subclass of regulatory process
(subclass LawEnforcement RegulatoryProcess)	Mid-level-ontology.kif 13373-13373	Law enforcement is a subclass of regulatory process
(subclass Punishing RegulatoryProcess)	Mid-level-ontology.kif 832-832	Punishing is a subclass of regulatory process
(termFormat ChineseLanguage RegulatoryProcess "监管过程")	chinese_format.kif 1105-1105
(termFormat EnglishLanguage RegulatoryProcess "regulatory process")	english_format.kif 1427-1427

consequent

(=>
    (instance ?ORG ServiceOrganization)
    (exists (?PROC ?GOV)
        (and
            (instance ?PROC RegulatoryProcess)
            (patient ?PROC ?ORG)
            (agent ?PROC ?GOV)
            (instance ?GOV Government))))

Mid-level-ontology.kif 8061-8068