RegulatoryProcess - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - RegulatoryProcess

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2969-2971
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10819-10824
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1727-1730
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10817-10817	Regulatory process is a subclass of guiding

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 383-383	Authorization of transaction is a subclass of regulatory process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13903-13903	Law enforcement is a subclass of regulatory process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 867-867	Punishing is a subclass of regulatory process
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1105-1105
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1427-1427
No TPTP formula. May not be expressible in strict first order.	french_format.kif 783-783
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 315-315
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 318-318
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2467-2467
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 735-735
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 354-354
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 804-804
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 319-319

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 8454-8461

If an entity is an instance of service organization,
then there exist a process and an agent such that the process is an instance of regulatory process and the entity is a patient of the process and the agent is an agent of the process and the agent is an instance of government

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