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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VotingFn

Sigma KEE - VotingFn
VotingFn

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1732-1733
No TPTP formula. May not be expressible in strict first order. Government.kif 1729-1729 The number 1 argument of voting is an instance of election
No TPTP formula. May not be expressible in strict first order. Government.kif 1728-1728 Voting is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Government.kif 1730-1730 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 2607-2607
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2606-2606
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2605-2605
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61989-61989
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61988-61988
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61987-61987

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1075-1084
No TPTP formula. May not be expressible in strict first order. Government.kif 1062-1073
No TPTP formula. May not be expressible in strict first order. Government.kif 1003-1012
No TPTP formula. May not be expressible in strict first order. Government.kif 990-1001
No TPTP formula. May not be expressible in strict first order. Government.kif 1250-1256
No TPTP formula. May not be expressible in strict first order. Government.kif 1258-1265
No TPTP formula. May not be expressible in strict first order. Government.kif 1052-1060
No TPTP formula. May not be expressible in strict first order. Government.kif 1040-1050
No TPTP formula. May not be expressible in strict first order. Government.kif 980-988
No TPTP formula. May not be expressible in strict first order. Government.kif 968-978

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1132-1152
No TPTP formula. May not be expressible in strict first order. Government.kif 1176-1189
No TPTP formula. May not be expressible in strict first order. Government.kif 1211-1231
No TPTP formula. May not be expressible in strict first order. Government.kif 1267-1273
No TPTP formula. May not be expressible in strict first order. Government.kif 1120-1130
No TPTP formula. May not be expressible in strict first order. Government.kif 1191-1209
No TPTP formula. May not be expressible in strict first order. Government.kif 1106-1118

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1241-1248 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 923-931 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 1092-1103 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 1160-1174 For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE 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 3.0 is open source software produced by Articulate Software and its partners