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 |
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1241-1248 | ?AGENT ?VOTER, ?ELECTION and ?VOTING
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 923-931 | ?COUNTRY ?ELECTION, ?VOTING and ?VOTER
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1092-1103 | ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1160-1174 | ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
|