CompulsorySuffrageLaw - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CompulsorySuffrageLaw

CompulsorySuffrageLaw

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1124-1138	?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE ?VOTER e' um cidadao de ?POLITY suffrageAgeMinimum ?POLITY and ?VOTINGAGE YearDuration(s) a idade de ?VOTER e' ?AGE YearDuration(s) ?AGE e' maior ou igual a ?VOTINGAGE ?ELECTION e' uma instancia de ElectionFn ?POLITY ?VOTING ?VOTING e' uma instancia de VotingFn ?ELECTION ?VOTING e' um agente de ?VOTER contem informacao CompulsorySuffrageLaw
No TPTP formula. May not be expressible in strict first order.	Government.kif 1120-1122
No TPTP formula. May not be expressible in strict first order.	Government.kif 1118-1118	CompulsorySuffrageLaw e' uma instancia de SuffrageLaw

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16236-16236
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16235-16235
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16234-16234

antecedent

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 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