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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CompulsorySuffrageLaw

Sigma KEE - CompulsorySuffrageLaw
CompulsorySuffrageLaw(compulsory suffrage law)

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


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
No TPTP formula. May not be expressible in strict first order. Government.kif 1156-1158
No TPTP formula. May not be expressible in strict first order. Government.kif 1154-1154 Compulsory suffrage law is an instance of suffrage law

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16236-16236
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16235-16235
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16234-16234

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


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 1191-1209


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