| appearance as argument number 1 |
|
| (documentation candidateForPosition EnglishLanguage "(candidateForPosition ?ELECTION ?POSITION ?CONTENDER) means that in the Election ?ELECTION for ?POSITION, the Agent ?CONTENDER was one of the candidates.") | Government.kif 1839-1841 | |
| (domain candidateForPosition 1 Election) | Government.kif 1835-1835 | |
| (domain candidateForPosition 2 SocialRole) | Government.kif 1836-1836 | |
| (domain candidateForPosition 3 Agent) | Government.kif 1837-1837 | |
| (instance candidateForPosition TernaryPredicate) | Government.kif 1834-1834 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage candidateForPosition "%1 %n{不是} 对于职位 %2 的 candidate 对于 %3 ") | domainEnglishFormat.kif 344-344 | |
| (format ChineseTraditionalLanguage candidateForPosition "%1 %n{不是} 對於職位 %2 的 candidate 對於 %3 ") | domainEnglishFormat.kif 343-343 | |
| (format EnglishLanguage candidateForPosition "%1 %n{doesn't} candidate for position %2 for %3") | domainEnglishFormat.kif 342-342 | |
| (subrelation electionWinner candidateForPosition) | Government.kif 1872-1872 | |
| (termFormat ChineseLanguage candidateForPosition "职位候选人") | domainEnglishFormat.kif 12946-12946 | |
| (termFormat ChineseTraditionalLanguage candidateForPosition "職位候選人") | domainEnglishFormat.kif 12945-12945 | |
| (termFormat EnglishLanguage candidateForPosition "candidate for position") | domainEnglishFormat.kif 12944-12944 |
| antecedent |
|
|
| (=> (and (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) (agent ?ELECTION ?AGENT)) (desires ?CONTENDER (occupiesPosition ?CONTENDER ?POSITION ?AGENT))) |
Government.kif 1847-1851 | |
| (=> (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) (electionForPosition ?ELECTION ?POSITION)) |
Government.kif 1843-1845 |
| consequent |
|
|
| (=> (electionForPosition ?ELECTION ?ROLE) (exists (?CANDIDATE) (and (instance ?CANDIDATE Human) (candidateForPosition ?ELECTION ?ROLE ?CANDIDATE)))) |
Government.kif 1750-1755 | |
| (=> (voteFractionReceived ?ELECTION ?POSITION ?CONTENDER ?FRACTION) (candidateForPosition ?ELECTION ?POSITION ?CONTENDER)) |
Government.kif 1864-1866 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners