Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectionFn

Sigma KEE - ElectionFn
ElectionFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1648-1650
No TPTP formula. May not be expressible in strict first order. Government.kif 1645-1645 The number 1 argument of election is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 1644-1644 Election is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Government.kif 1646-1646 The values returned by election are subclasses of election

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 220-220
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3991-3991 "election" is the printable form of election in english language

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1660-1664
No TPTP formula. May not be expressible in strict first order. Government.kif 1652-1658
No TPTP formula. May not be expressible in strict first order. Government.kif 1054-1061
No TPTP formula. May not be expressible in strict first order. Government.kif 1043-1052
No TPTP formula. May not be expressible in strict first order. Government.kif 990-997
No TPTP formula. May not be expressible in strict first order. Government.kif 979-988
No TPTP formula. May not be expressible in strict first order. Government.kif 1143-1154
No TPTP formula. May not be expressible in strict first order. Government.kif 1211-1217
No TPTP formula. May not be expressible in strict first order. Government.kif 1219-1226
No TPTP formula. May not be expressible in strict first order. Government.kif 1093-1101
No TPTP formula. May not be expressible in strict first order. Government.kif 1035-1041
No TPTP formula. May not be expressible in strict first order. Government.kif 1025-1033
No TPTP formula. May not be expressible in strict first order. Government.kif 971-977
No TPTP formula. May not be expressible in strict first order. Government.kif 961-969

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1103-1121
No TPTP formula. May not be expressible in strict first order. Government.kif 1174-1192
No TPTP formula. May not be expressible in strict first order. Government.kif 1156-1172
No TPTP formula. May not be expressible in strict first order. Government.kif 1081-1091

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1202-1209 For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING contains information exclusive male suffrage
No TPTP formula. May not be expressible in strict first order. Government.kif 916-924 For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER contains information voter citizenship requirement
No TPTP formula. May not be expressible in strict first order. Government.kif 1069-1078 For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information universal suffrage law
No TPTP formula. May not be expressible in strict first order. Government.kif 1129-1141 For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
  • if ?VOTER is a citizen of ?POLITY and ?VOTINGAGE is a suffrage age minimum of ?POLITY and the age of ?VOTER is ?AGE and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY,
  • then there exists ?VOTING such that ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING
contains information compulsory suffrage law


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners