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 847-851
No TPTP formula. May not be expressible in strict first order.	Government.kif 844-844	The number 1 argument of regional law is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 843-843	Regional law is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Government.kif 845-845	The range of regional law is an instance of regional law

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2123-2123
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2122-2122
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2121-2121
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49224-49224
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49223-49223
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49222-49222

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1094-1114	If a human is a citizen of a nation and universal suffrage law is a sub-proposition of the regional law of the nation, then the regional law of the nation allows the human to perform task of the type for all an entity, another entity and a third entity if the human is a citizen of the nation and the entity year duration(s) is a suffrage age minimum of the nation and the age of the human is the other entity year duration(s) and the other entity is greater than or equal to the entity and the third entity is an instance of the election of the nation, then there exists a fourth entity such that the fourth entity is an instance of the voting of the third entity and the human is an agent of the fourth entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2244-2252	If a process is an instance of civil affairs operation and the process is located at a geopolitical area and the geopolitical area is an instance of nation and a proposition is an instance of the regional law of the geopolitical area and the process expresses the content of another proposition, then the other proposition is a consistent of the proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 1138-1151	If compulsory suffrage law is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and a real number year duration(s) is a suffrage age minimum of the nation and the age of the human is another real number year duration(s) and the other real number is greater than or equal to the real number and an election is an instance of the election of the nation, then there exists a process such that the process is an instance of the voting of the election and the human is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1173-1193	If compulsory suffrage law is a sub-proposition of the regional law of a nation and a human is a citizen of the nation, then the regional law of the nation obligates the human to perform task of the type for all an entity, another entity and a third entity if the human is a citizen of the nation and the entity year duration(s) is a suffrage age minimum of the nation and the age of the human is the other entity year duration(s) and the other entity is greater than or equal to the entity and the third entity is an instance of the election of the nation, then there exists a fourth entity such that the fourth entity is an instance of the voting of the third entity and the human is an agent of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1229-1235	If exclusive male suffrage is a sub-proposition of the regional law of a geopolitical area and female is an attribute of an object and the object is a member of the resident of the geopolitical area and an election is an instance of election, then the object is not capable of doing the voting of the election as a agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1212-1218	If exclusive male suffrage is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and an election is an instance of the election of the nation and the human is capable of doing the voting of the election as a agent, then male is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1220-1227	If exclusive male suffrage is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and an election is an instance of the election of the nation and a process is an instance of the voting of the election and the human is an agent of the process, then male is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1082-1092	If universal suffrage law is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and a real number year duration(s) is a suffrage age minimum of the nation and the age of the human is another real number year duration(s) and the other real number is greater than or equal to the real number and an election is an instance of the election of the nation, then the human is capable of doing the voting of the election as a agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1153-1171	If compulsory suffrage law is a sub-proposition of the regional law of a geopolitical area, then the regional law of the geopolitical area obligates the geopolitical area to perform task of the type for all an entity, another entity,, , a third entity and a fourth entity if the entity is a citizen of the geopolitical area and the other entity year duration(s) is a suffrage age minimum of the geopolitical area and the age of the entity is the third entity year duration(s) and the third entity is greater than or equal to the other entity and the fourth entity is an instance of the election of the geopolitical area, then there exists a fifth entity such that the fifth entity is an instance of the voting of the fourth entity and the entity is an agent of the fifth entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1068-1080	If universal suffrage law is a sub-proposition of the regional law of a nation, then for all a human, an election,, , a real number and another real number if the human is a citizen of the nation and the real number year duration(s) is a suffrage age minimum of the nation and the age of the human is the other real number year duration(s) and the other real number is greater than or equal to the real number and the election is an instance of the election of the nation, then the human is capable of doing the voting of the election as a agent

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1094-1114	If a human is a citizen of a nation and universal suffrage law is a sub-proposition of the regional law of the nation, then the regional law of the nation allows the human to perform task of the type for all an entity, another entity and a third entity if the human is a citizen of the nation and the entity year duration(s) is a suffrage age minimum of the nation and the age of the human is the other entity year duration(s) and the other entity is greater than or equal to the entity and the third entity is an instance of the election of the nation, then there exists a fourth entity such that the fourth entity is an instance of the voting of the third entity and the human is an agent of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 991-1000	If a geopolitical area is an instance of geopolitical area and a time duration is a suffrage age maximum of the geopolitical area, then there exists the time durationRULE such that the time durationRULE is an instance of voter age requirement and the time durationRULE is a sub-proposition of the regional law of the geopolitical area and the time duration is a suffrage age maximum of the geopolitical area contains information the time durationRULE
No TPTP formula. May not be expressible in strict first order.	Government.kif 919-928	If a geopolitical area is an instance of geopolitical area and a time duration is a suffrage age minimum of the geopolitical area, then there exists the time durationRULE such that the time durationRULE is an instance of voter age requirement and the time durationRULE is a sub-proposition of the regional law of the geopolitical area and the time duration is a suffrage age minimum of the geopolitical area contains information the time durationRULE
No TPTP formula. May not be expressible in strict first order.	Government.kif 879-883	If a geopolitical area is an instance of geopolitical area and democracy is a government type of the geopolitical area, then voter citizenship requirement is a sub-proposition of the regional law of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 868-875	If a geopolitical area is an instance of nation and democracy is a government type of the geopolitical area, then there exists a proposition such that the proposition is an instance of suffrage law and the proposition is a sub-proposition of the regional law of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1173-1193	If compulsory suffrage law is a sub-proposition of the regional law of a nation and a human is a citizen of the nation, then the regional law of the nation obligates the human to perform task of the type for all an entity, another entity and a third entity if the human is a citizen of the nation and the entity year duration(s) is a suffrage age minimum of the nation and the age of the human is the other entity year duration(s) and the other entity is greater than or equal to the entity and the third entity is an instance of the election of the nation, then there exists a fourth entity such that the fourth entity is an instance of the voting of the third entity and the human is an agent of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 897-902	If a geopolitical area is an instance of nation, then there exists a proposition such that the proposition is an instance of voter age requirement and the proposition is a sub-proposition of the regional law of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 853-855	If a legal system attribute is a legal system type of a geopolitical area, then the legal system attribute is an attribute of the regional law of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1153-1171	If compulsory suffrage law is a sub-proposition of the regional law of a geopolitical area, then the regional law of the geopolitical area obligates the geopolitical area to perform task of the type for all an entity, another entity,, , a third entity and a fourth entity if the entity is a citizen of the geopolitical area and the other entity year duration(s) is a suffrage age minimum of the geopolitical area and the age of the entity is the third entity year duration(s) and the third entity is greater than or equal to the other entity and the fourth entity is an instance of the election of the geopolitical area, then there exists a fifth entity such that the fifth entity is an instance of the voting of the fourth entity and the entity is an agent of the fifth entity

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