| appearance as argument number 1 |
|
| (documentation candidateForPosition EnglishLanguage "(candidateForPosition ?ELECTION ?POSITION ?CONTENDER) means that in the Election ?ELECTION for ?POSITION, the AutonomousAgent ?CONTENDER was one of the candidates.") | Government.kif 1806-1808 | |
| (domain candidateForPosition 1 Election) | Government.kif 1802-1802 | The number 1 argument of candidate for position is an instance of election |
| (domain candidateForPosition 2 SocialRole) | Government.kif 1803-1803 | The number 2 argument of candidate for position is an instance of social role |
| (domain candidateForPosition 3 AutonomousAgent) | Government.kif 1804-1804 | The number 3 argument of candidate for position is an instance of agent |
| (instance candidateForPosition TernaryPredicate) | Government.kif 1801-1801 | candidate for position is an instance of ternary predicate |
| 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 1839-1839 | election winner is a subrelation of candidate for position |
| (termFormat ChineseLanguage candidateForPosition "职位候选人") | domainEnglishFormat.kif 12959-12959 | election winner is a subrelation of candidate for position |
| (termFormat ChineseTraditionalLanguage candidateForPosition "職位候選人") | domainEnglishFormat.kif 12958-12958 | election winner is a subrelation of candidate for position |
| (termFormat EnglishLanguage candidateForPosition "candidate for position") | domainEnglishFormat.kif 12957-12957 | election winner is a subrelation of candidate for position |
| antecedent |
|
|
| (=> (and (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) (agent ?ELECTION ?AGENT)) (desires ?CONTENDER (occupiesPosition ?CONTENDER ?POSITION ?AGENT))) |
Government.kif 1814-1818 |
|
| (=> (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) (electionForPosition ?ELECTION ?POSITION)) |
Government.kif 1810-1812 |
|
| consequent |
|
|
| (=> (electionForPosition ?ELECTION ?ROLE) (exists (?CANDIDATE) (and (instance ?CANDIDATE Human) (candidateForPosition ?ELECTION ?ROLE ?CANDIDATE)))) |
Government.kif 1717-1722 |
|
| (=> (voteFractionReceived ?ELECTION ?POSITION ?CONTENDER ?FRACTION) (candidateForPosition ?ELECTION ?POSITION ?CONTENDER)) |
Government.kif 1831-1833 |
|
|
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