VotingFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1696-1697 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1693-1693 | The number 1 argument of voting is an instance of election |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1692-1692 | Voting is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1694-1694 | 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 61991-61991 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61990-61990 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61989-61989 |
antecedent |
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 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 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 |
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1205-1212 | For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 887-895 | For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1056-1067 | For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1124-1138 | For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
|