TreeView Knowledge Base Browser - suffrageAgeMaximum

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

suffrageAgeMaximum

Sigma KEE - suffrageAgeMaximum

suffrageAgeMaximum

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1016-1018
No TPTP formula. May not be expressible in strict first order.	Government.kif 1020-1020	The number 1 argument of suffrage age maximum is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1021-1021	The number 2 argument of suffrage age maximum is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	Government.kif 1014-1014	suffrage age maximum is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2407-2407
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2406-2406
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2405-2405
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55933-55933
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55932-55932
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55931-55931

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1029-1038	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 1075-1084	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age maximum of the agent and the age of the other agent is another real number year duration(s), then the other real number is less than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 1062-1073	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age maximum of the agent, then there exists another real number such that the age of the other agent is the other real number year duration(s) and the other real number is less than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 1052-1060	If a real number year duration(s) is a suffrage age maximum of an agent and an election is an instance of the election of the agent and an object is capable of doing the voting of the election as a agent and the age of the object is another real number year duration(s), then the other real number is less than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 1040-1050	If a real number year duration(s) is a suffrage age maximum of an agent and an election is an instance of the election of the agent and an object is capable of doing the voting of the election as a agent, then there exists another real number such that the age of the object is the other real number year duration(s) and the other real number is less than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 1023-1027	If a time duration is a suffrage age maximum of the time durationNT, then the time durationNT is an instance of organization or the time durationNT is an instance of geopolitical area

consequent

No TPTP formula. May not be expressible in strict first order.

Government.kif 1029-1038

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

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