electionWinner |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1877-1880 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1872-1872 | The number 1 argument of election winner is an instance of election |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1873-1873 | The number 2 argument of election winner is an instance of social role |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1874-1874 | The number 3 argument of election winner is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1871-1871 | election winner is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1875-1875 | election winner is a subrelation of candidate for position |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 856-856 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 855-855 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 854-854 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21438-21438 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21437-21437 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21436-21436 |
antecedent |