TreeView Knowledge Base Browser - RegionalLawFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

MiniCooperEngine

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	Le nombre 1 argument de RegionalLawFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 845-845	RegionalLawFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Government.kif 847-847	Le domaine de RegionalLawFn est une instance 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	Humain est un citoyen de nation UniversalSuffrageLaw est une sous-proposition de RegionalLawFn nation RegionalLawFn nation autorise humain � ex�cut� des t�ches du type entit� entit� and entit� humain est un citoyen de nation suffrageAgeMinimum nation and entit� YearDuration(s) l' humain est entit� YearDuration(s) entit� est plus grand ou �gal � entit� entit� est une instance de ElectionFn nation entit� entit� est une instance de VotingFn entit� entit� est un agent de humain
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2244-2252	Processus est une instance de CivilAffairsOperation processus est situ� � secteur g�opolitique secteur g�opolitique est une instance de nation proposition est une instance de RegionalLawFn secteur g�opolitique processus exprime le contenu de proposition consistent proposition and proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 1140-1153	CompulsorySuffrageLaw est une sous-proposition de RegionalLawFn nation humain est un citoyen de nation suffrageAgeMinimum nation and nombre r�el YearDuration(s) l' humain est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � nombre r�el Election est une instance de ElectionFn nation processus processus est une instance de VotingFn Election processus est un agent de humain
No TPTP formula. May not be expressible in strict first order.	Government.kif 1175-1195	CompulsorySuffrageLaw est une sous-proposition de RegionalLawFn nation humain est un citoyen de nation RegionalLawFn nation oblige humain � ex�cut� des t�ches du type entit� entit� and entit� humain est un citoyen de nation suffrageAgeMinimum nation and entit� YearDuration(s) l' humain est entit� YearDuration(s) entit� est plus grand ou �gal � entit� entit� est une instance de ElectionFn nation entit� entit� est une instance de VotingFn entit� entit� est un agent de humain
No TPTP formula. May not be expressible in strict first order.	Government.kif 1231-1237	ExclusiveMaleSuffrage est une sous-proposition de RegionalLawFn secteur g�opolitique Female est un attribut de objet objet est un membre de ResidentFn secteur g�opolitique Election est une instance de Election objet est capable de faire VotingFn Election dans le r�le agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1214-1220	ExclusiveMaleSuffrage est une sous-proposition de RegionalLawFn nation humain est un citoyen de nation Election est une instance de ElectionFn nation humain est capable de faire VotingFn Election dans le r�le agent Male est un attribut de humain
No TPTP formula. May not be expressible in strict first order.	Government.kif 1222-1229	ExclusiveMaleSuffrage est une sous-proposition de RegionalLawFn nation humain est un citoyen de nation Election est une instance de ElectionFn nation processus est une instance de VotingFn Election processus est un agent de humain Male est un attribut de humain
No TPTP formula. May not be expressible in strict first order.	Government.kif 1084-1094	UniversalSuffrageLaw est une sous-proposition de RegionalLawFn nation humain est un citoyen de nation suffrageAgeMinimum nation and nombre r�el YearDuration(s) l' humain est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � nombre r�el Election est une instance de ElectionFn nation humain est capable de faire VotingFn Election dans le r�le agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1155-1173	CompulsorySuffrageLaw est une sous-proposition de RegionalLawFn secteur g�opolitique RegionalLawFn secteur g�opolitique oblige secteur g�opolitique � ex�cut� des t�ches du type entit� entit�, entit� and entit� entit� est un citoyen de secteur g�opolitique suffrageAgeMinimum secteur g�opolitique and entit� YearDuration(s) l' entit� est entit� YearDuration(s) entit� est plus grand ou �gal � entit� entit� est une instance de ElectionFn secteur g�opolitique entit� entit� est une instance de VotingFn entit� entit� est un agent de entit�
No TPTP formula. May not be expressible in strict first order.	Government.kif 1070-1082	UniversalSuffrageLaw est une sous-proposition de RegionalLawFn nation humain Election, nombre r�el and nombre r�el humain est un citoyen de nation suffrageAgeMinimum nation and nombre r�el YearDuration(s) l' humain est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � nombre r�el Election est une instance de ElectionFn nation humain est capable de faire VotingFn Election dans le r�le agent

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1096-1116	Humain est un citoyen de nation UniversalSuffrageLaw est une sous-proposition de RegionalLawFn nation RegionalLawFn nation autorise humain � ex�cut� des t�ches du type entit� entit� and entit� humain est un citoyen de nation suffrageAgeMinimum nation and entit� YearDuration(s) l' humain est entit� YearDuration(s) entit� est plus grand ou �gal � entit� entit� est une instance de ElectionFn nation entit� entit� est une instance de VotingFn entit� entit� est un agent de humain
No TPTP formula. May not be expressible in strict first order.	Government.kif 993-1002	Secteur g�opolitique est une instance de secteur g�opolitique suffrageAgeMaximum secteur g�opolitique and dur�e temporel dur�e temporelRULE dur�e temporelRULE est une instance de VoterAgeRequirement dur�e temporelRULE est une sous-proposition de RegionalLawFn secteur g�opolitique suffrageAgeMaximum secteur g�opolitique and dur�e temporel contient information dur�e temporelRULE
No TPTP formula. May not be expressible in strict first order.	Government.kif 921-930	Secteur g�opolitique est une instance de secteur g�opolitique suffrageAgeMinimum secteur g�opolitique and dur�e temporel dur�e temporelRULE dur�e temporelRULE est une instance de VoterAgeRequirement dur�e temporelRULE est une sous-proposition de RegionalLawFn secteur g�opolitique suffrageAgeMinimum secteur g�opolitique and dur�e temporel contient information dur�e temporelRULE
No TPTP formula. May not be expressible in strict first order.	Government.kif 881-885	Secteur g�opolitique est une instance de secteur g�opolitique governmentType secteur g�opolitique and Democracy VoterCitizenshipRequirement est une sous-proposition de RegionalLawFn secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 870-877	Secteur g�opolitique est une instance de nation governmentType secteur g�opolitique and Democracy proposition proposition est une instance de SuffrageLaw proposition est une sous-proposition de RegionalLawFn secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 1175-1195	CompulsorySuffrageLaw est une sous-proposition de RegionalLawFn nation humain est un citoyen de nation RegionalLawFn nation oblige humain � ex�cut� des t�ches du type entit� entit� and entit� humain est un citoyen de nation suffrageAgeMinimum nation and entit� YearDuration(s) l' humain est entit� YearDuration(s) entit� est plus grand ou �gal � entit� entit� est une instance de ElectionFn nation entit� entit� est une instance de VotingFn entit� entit� est un agent de humain
No TPTP formula. May not be expressible in strict first order.	Government.kif 899-904	Secteur g�opolitique est une instance de nation proposition proposition est une instance de VoterAgeRequirement proposition est une sous-proposition de RegionalLawFn secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 855-857	legalSystemType secteur g�opolitique and LegalSystemAttribute LegalSystemAttribute est un attribut de RegionalLawFn secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 1155-1173	CompulsorySuffrageLaw est une sous-proposition de RegionalLawFn secteur g�opolitique RegionalLawFn secteur g�opolitique oblige secteur g�opolitique � ex�cut� des t�ches du type entit� entit�, entit� and entit� entit� est un citoyen de secteur g�opolitique suffrageAgeMinimum secteur g�opolitique and entit� YearDuration(s) l' entit� est entit� YearDuration(s) entit� est plus grand ou �gal � entit� entit� est une instance de ElectionFn secteur g�opolitique entit� entit� est une instance de VotingFn entit� entit� est un agent de entit�

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