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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VotingFn
VotingFn

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1686-1687
No TPTP formula. May not be expressible in strict first order. Government.kif 1683-1683 The number 1 argument of voting is an instance of election
No TPTP formula. May not be expressible in strict first order. Government.kif 1682-1682 Voting is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Government.kif 1684-1684 The values returned by voting are subclasses of voting

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2603-2603
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2602-2602
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2601-2601
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61933-61933 "表决" is the printable form of voting in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61932-61932 "表決" is the printable form of voting in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61931-61931 "voting" is the printable form of voting in english language

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1047-1054
No TPTP formula. May not be expressible in strict first order. Government.kif 1036-1045
No TPTP formula. May not be expressible in strict first order. Government.kif 983-990
No TPTP formula. May not be expressible in strict first order. Government.kif 972-981
No TPTP formula. May not be expressible in strict first order. Government.kif 1204-1210
No TPTP formula. May not be expressible in strict first order. Government.kif 1212-1219
No TPTP formula. May not be expressible in strict first order. Government.kif 1028-1034
No TPTP formula. May not be expressible in strict first order. Government.kif 1018-1026
No TPTP formula. May not be expressible in strict first order. Government.kif 964-970
No TPTP formula. May not be expressible in strict first order. Government.kif 954-962

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1096-1114
No TPTP formula. May not be expressible in strict first order. Government.kif 1136-1147
No TPTP formula. May not be expressible in strict first order. Government.kif 1167-1185
No TPTP formula. May not be expressible in strict first order. Government.kif 1221-1227
No TPTP formula. May not be expressible in strict first order. Government.kif 1086-1094
No TPTP formula. May not be expressible in strict first order. Government.kif 1149-1165
No TPTP formula. May not be expressible in strict first order. Government.kif 1074-1084

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1195-1202 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 909-917 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 1062-1071 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 1122-1134 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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners