Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - candidateForPosition

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 职位候选人 的 1 数量 是 选举instance
(domain candidateForPosition 2 SocialRole) Government.kif 1836-1836 职位候选人 的 2 数量 是 身分instance
(domain candidateForPosition 3 Agent) Government.kif 1837-1837 职位候选人 的 3 数量 是 施事体instance
(instance candidateForPosition TernaryPredicate) Government.kif 1834-1834 职位候选人三元谓语instance

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 选举胜利者职位候选人subrelation
(termFormat ChineseLanguage candidateForPosition "职位候选人") domainEnglishFormat.kif 12946-12946
(termFormat ChineseTraditionalLanguage candidateForPosition "職位候選人") domainEnglishFormat.kif 12945-12945
(termFormat EnglishLanguage candidateForPosition "candidate for position") domainEnglishFormat.kif 12944-12944


        (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


    (electionForPosition ?ELECTION ?ROLE)
    (exists (?CANDIDATE)
            (instance ?CANDIDATE Human)
            (candidateForPosition ?ELECTION ?ROLE ?CANDIDATE))))
Government.kif 1750-1755
    (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