Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| RegulatoryProcess(regulatory process) |  | accusatorial, adjudicate, adjudication, administration, adoption, affirmation, amerce, amnesty, anarchic, anarchical, appellant, appellate, apply, arraign, ban, banish, bankruptcy, beating, bind_over, blacklist, book, bound, brainwashed, burning, bust, card, castigation, catch_it, censor, censored, chastisement, clamp_down, commutation, confine, contained, control, controlled, conventionalisation, conventionalization, corporal_punishment, correction, correctional, court-martial, crack_down, criminalise, criminalize, cruel_and_unusual_punishment, crush, decontrol, decriminalise... |
| appearance as argument number 1 |
|
|
| (subclass RegulatoryProcess Guiding) | Merge.kif 11064-11064 | Regulatory process is a subclass of guiding |
| (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 11066-11071 | Regulatory process is a subclass of guiding |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?ORG ServiceOrganization) (exists (?PROC ?GOV) (and (instance ?PROC RegulatoryProcess) (patient ?PROC ?ORG) (agent ?PROC ?GOV) (instance ?GOV Government)))) |
Mid-level-ontology.kif 9814-9821 | If X is an instance of service organization, then there exist Y, Z such that Y is an instance of regulatory process, X is a patient of Y, Z is an agent of Y, and Z is an instance of government |
|