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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElectionFn
ElectionFn

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1652-1654
No TPTP formula. May not be expressible in strict first order. Government.kif 1649-1649 Le nombre 1 argument de ElectionFn est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Government.kif 1648-1648 ElectionFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order. Government.kif 1650-1650 Les valeurs retourn�es par ElectionFn sont des sous-classes de Election

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 844-844
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 843-843
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 842-842
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21420-21420
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21419-21419
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21418-21418

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1664-1668
No TPTP formula. May not be expressible in strict first order. Government.kif 1656-1662
No TPTP formula. May not be expressible in strict first order. Government.kif 1039-1048
No TPTP formula. May not be expressible in strict first order. Government.kif 1026-1037
No TPTP formula. May not be expressible in strict first order. Government.kif 967-976
No TPTP formula. May not be expressible in strict first order. Government.kif 954-965
No TPTP formula. May not be expressible in strict first order. Government.kif 1140-1153
No TPTP formula. May not be expressible in strict first order. Government.kif 1214-1220
No TPTP formula. May not be expressible in strict first order. Government.kif 1222-1229
No TPTP formula. May not be expressible in strict first order. Government.kif 1084-1094
No TPTP formula. May not be expressible in strict first order. Government.kif 1016-1024
No TPTP formula. May not be expressible in strict first order. Government.kif 1004-1014
No TPTP formula. May not be expressible in strict first order. Government.kif 944-952
No TPTP formula. May not be expressible in strict first order. Government.kif 932-942

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1096-1116
No TPTP formula. May not be expressible in strict first order. Government.kif 1175-1195
No TPTP formula. May not be expressible in strict first order. Government.kif 1155-1173
No TPTP formula. May not be expressible in strict first order. Government.kif 1070-1082

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1205-1212 ?AGENT ?VOTER, ?ELECTION and ?VOTING contient information ExclusiveMaleSuffrage
No TPTP formula. May not be expressible in strict first order. Government.kif 887-895 ?COUNTRY ?ELECTION, ?VOTING and ?VOTER contient information VoterCitizenshipRequirement
No TPTP formula. May not be expressible in strict first order. Government.kif 1056-1067 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE contient information UniversalSuffrageLaw
No TPTP formula. May not be expressible in strict first order. Government.kif 1124-1138 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE contient information CompulsorySuffrageLaw


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 3.0 is open source software produced by Articulate Software and its partners