RegionalLawFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RegionalLawFn

RegionalLawFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 849-853
No TPTP formula. May not be expressible in strict first order.	Government.kif 846-846	O argumento numero 1 de RegionalLawFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 845-845	RegionalLawFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Government.kif 847-847	O contra-dominio de RegionalLawFn e' uma instancia de RegionalLaw

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2119-2119
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2118-2118
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2117-2117
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49222-49222
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49221-49221
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49220-49220

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1096-1116	Humano e' um cidadao de Nacao UniversalSuffrageLaw e' uma &sub-proposicao de RegionalLawFn Nacao RegionalLawFn Nacao autoriza Humano a executar tarefas de tipo Entidade Entidade and Entidade Humano e' um cidadao de Nacao suffrageAgeMinimum Nacao and Entidade YearDuration(s) a idade de Humano e' Entidade YearDuration(s) Entidade e' maior ou igual a Entidade Entidade e' uma instancia de ElectionFn Nacao Entidade Entidade e' uma instancia de VotingFn Entidade Entidade e' um agente de Humano
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2244-2252	Processo e' uma instancia de CivilAffairsOperation Processo e' situado em Area Geopolitica Area Geopolitica e' uma instancia de Nacao Proposicao e' uma instancia de RegionalLawFn Area Geopolitica Processo exprime o conteudo de Proposicao consistent Proposicao and Proposicao
No TPTP formula. May not be expressible in strict first order.	Government.kif 1140-1153	CompulsorySuffrageLaw e' uma &sub-proposicao de RegionalLawFn Nacao Humano e' um cidadao de Nacao suffrageAgeMinimum Nacao and Numero Real YearDuration(s) a idade de Humano e' Numero Real YearDuration(s) Numero Real e' maior ou igual a Numero Real Election e' uma instancia de ElectionFn Nacao Processo Processo e' uma instancia de VotingFn Election Processo e' um agente de Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 1175-1195	CompulsorySuffrageLaw e' uma &sub-proposicao de RegionalLawFn Nacao Humano e' um cidadao de Nacao RegionalLawFn Nacao obriga Humano a executar tarefas de tipo Entidade Entidade and Entidade Humano e' um cidadao de Nacao suffrageAgeMinimum Nacao and Entidade YearDuration(s) a idade de Humano e' Entidade YearDuration(s) Entidade e' maior ou igual a Entidade Entidade e' uma instancia de ElectionFn Nacao Entidade Entidade e' uma instancia de VotingFn Entidade Entidade e' um agente de Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 1231-1237	ExclusiveMaleSuffrage e' uma &sub-proposicao de RegionalLawFn Area Geopolitica Female e' um atributo de Objeto Objeto e' membro de ResidentFn Area Geopolitica Election e' uma instancia de Election Objeto e' capaz de fazer VotingFn Election no role agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1214-1220	ExclusiveMaleSuffrage e' uma &sub-proposicao de RegionalLawFn Nacao Humano e' um cidadao de Nacao Election e' uma instancia de ElectionFn Nacao Humano e' capaz de fazer VotingFn Election no role agent Male e' um atributo de Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 1222-1229	ExclusiveMaleSuffrage e' uma &sub-proposicao de RegionalLawFn Nacao Humano e' um cidadao de Nacao Election e' uma instancia de ElectionFn Nacao Processo e' uma instancia de VotingFn Election Processo e' um agente de Humano Male e' um atributo de Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 1084-1094	UniversalSuffrageLaw e' uma &sub-proposicao de RegionalLawFn Nacao Humano e' um cidadao de Nacao suffrageAgeMinimum Nacao and Numero Real YearDuration(s) a idade de Humano e' Numero Real YearDuration(s) Numero Real e' maior ou igual a Numero Real Election e' uma instancia de ElectionFn Nacao Humano e' capaz de fazer VotingFn Election no role agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1155-1173	CompulsorySuffrageLaw e' uma &sub-proposicao de RegionalLawFn Area Geopolitica RegionalLawFn Area Geopolitica obriga Area Geopolitica a executar tarefas de tipo Entidade Entidade, Entidade and Entidade Entidade e' um cidadao de Area Geopolitica suffrageAgeMinimum Area Geopolitica and Entidade YearDuration(s) a idade de Entidade e' Entidade YearDuration(s) Entidade e' maior ou igual a Entidade Entidade e' uma instancia de ElectionFn Area Geopolitica Entidade Entidade e' uma instancia de VotingFn Entidade Entidade e' um agente de Entidade
No TPTP formula. May not be expressible in strict first order.	Government.kif 1070-1082	UniversalSuffrageLaw e' uma &sub-proposicao de RegionalLawFn Nacao Humano Election, Numero Real and Numero Real Humano e' um cidadao de Nacao suffrageAgeMinimum Nacao and Numero Real YearDuration(s) a idade de Humano e' Numero Real YearDuration(s) Numero Real e' maior ou igual a Numero Real Election e' uma instancia de ElectionFn Nacao Humano e' capaz de fazer VotingFn Election no role agent

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1096-1116	Humano e' um cidadao de Nacao UniversalSuffrageLaw e' uma &sub-proposicao de RegionalLawFn Nacao RegionalLawFn Nacao autoriza Humano a executar tarefas de tipo Entidade Entidade and Entidade Humano e' um cidadao de Nacao suffrageAgeMinimum Nacao and Entidade YearDuration(s) a idade de Humano e' Entidade YearDuration(s) Entidade e' maior ou igual a Entidade Entidade e' uma instancia de ElectionFn Nacao Entidade Entidade e' uma instancia de VotingFn Entidade Entidade e' um agente de Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 993-1002	Area Geopolitica e' uma instancia de Area Geopolitica suffrageAgeMaximum Area Geopolitica and Duracao Temporal Duracao TemporalRULE Duracao TemporalRULE e' uma instancia de VoterAgeRequirement Duracao TemporalRULE e' uma &sub-proposicao de RegionalLawFn Area Geopolitica suffrageAgeMaximum Area Geopolitica and Duracao Temporal contem informacao Duracao TemporalRULE
No TPTP formula. May not be expressible in strict first order.	Government.kif 921-930	Area Geopolitica e' uma instancia de Area Geopolitica suffrageAgeMinimum Area Geopolitica and Duracao Temporal Duracao TemporalRULE Duracao TemporalRULE e' uma instancia de VoterAgeRequirement Duracao TemporalRULE e' uma &sub-proposicao de RegionalLawFn Area Geopolitica suffrageAgeMinimum Area Geopolitica and Duracao Temporal contem informacao Duracao TemporalRULE
No TPTP formula. May not be expressible in strict first order.	Government.kif 881-885	Area Geopolitica e' uma instancia de Area Geopolitica governmentType Area Geopolitica and Democracy VoterCitizenshipRequirement e' uma &sub-proposicao de RegionalLawFn Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 870-877	Area Geopolitica e' uma instancia de Nacao governmentType Area Geopolitica and Democracy Proposicao Proposicao e' uma instancia de SuffrageLaw Proposicao e' uma &sub-proposicao de RegionalLawFn Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1175-1195	CompulsorySuffrageLaw e' uma &sub-proposicao de RegionalLawFn Nacao Humano e' um cidadao de Nacao RegionalLawFn Nacao obriga Humano a executar tarefas de tipo Entidade Entidade and Entidade Humano e' um cidadao de Nacao suffrageAgeMinimum Nacao and Entidade YearDuration(s) a idade de Humano e' Entidade YearDuration(s) Entidade e' maior ou igual a Entidade Entidade e' uma instancia de ElectionFn Nacao Entidade Entidade e' uma instancia de VotingFn Entidade Entidade e' um agente de Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 899-904	Area Geopolitica e' uma instancia de Nacao Proposicao Proposicao e' uma instancia de VoterAgeRequirement Proposicao e' uma &sub-proposicao de RegionalLawFn Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 855-857	legalSystemType Area Geopolitica and LegalSystemAttribute LegalSystemAttribute e' um atributo de RegionalLawFn Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1155-1173	CompulsorySuffrageLaw e' uma &sub-proposicao de RegionalLawFn Area Geopolitica RegionalLawFn Area Geopolitica obriga Area Geopolitica a executar tarefas de tipo Entidade Entidade, Entidade and Entidade Entidade e' um cidadao de Area Geopolitica suffrageAgeMinimum Area Geopolitica and Entidade YearDuration(s) a idade de Entidade e' Entidade YearDuration(s) Entidade e' maior ou igual a Entidade Entidade e' uma instancia de ElectionFn Area Geopolitica Entidade Entidade e' uma instancia de VotingFn Entidade Entidade e' um agente de Entidade

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