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 | O argumento numero 1 de VotingFn e' uma instancia de Election |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1728-1728 | VotingFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1730-1730 | Os valores retornados por VotingFn sao as sub-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
|