TreeView Knowledge Base Browser - RegulatoryProcess

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

RegulatoryProcess

Sigma KEE - RegulatoryProcess

RegulatoryProcess(Processo Regulatorio)

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	Processo Regulatorio e' uma sub-classe de Guiar

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 383-383	AuthorizationOfTransaction e' uma sub-classe de Processo Regulatorio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13903-13903	LawEnforcement e' uma sub-classe de Processo Regulatorio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 867-867	Punishing e' uma sub-classe de Processo Regulatorio
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

Entidade e' uma instancia de ServiceOrganization
Processo AutonomousAgent Processo e' uma instancia de Processo Regulatorio Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Governo

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