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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Writing

 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 Le nombre 1 argument de VotingFn est une instance de Election
No TPTP formula. May not be expressible in strict first order. Government.kif 1728-1728 VotingFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order. Government.kif 1730-1730 Les valeurs retourn�es par VotingFn sont des sous-classes de 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 ?AGENT ?VOTER, ?ELECTION and ?VOTING contient information ExclusiveMaleSuffrage
No TPTP formula. May not be expressible in strict first order. Government.kif 923-931 ?COUNTRY ?ELECTION, ?VOTING and ?VOTER contient information VoterCitizenshipRequirement
No TPTP formula. May not be expressible in strict first order. Government.kif 1092-1103 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE contient information UniversalSuffrageLaw
No TPTP formula. May not be expressible in strict first order. Government.kif 1160-1174 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE contient information CompulsorySuffrageLaw


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