electionWinner |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1839-1842 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1834-1834 | 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 1835-1835 | 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 1836-1836 | 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 1833-1833 | election winner is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1837-1837 | 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 21447-21447 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21446-21446 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21445-21445 |
antecedent |
![]() |
![]() |
![]() |