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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Blueberry

 Sigma KEE - candidateForPosition
candidateForPosition

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 Il numero 1 argomenti di candidateForPosition è un istanza di Election
(domain candidateForPosition 2 SocialRole) Government.kif 1803-1803 Il numero 2 argomenti di candidateForPosition è un istanza di RuoloSociale
(domain candidateForPosition 3 AutonomousAgent) Government.kif 1804-1804 Il numero 3 argomenti di candidateForPosition è un istanza di AutonomousAgent
(instance candidateForPosition TernaryPredicate) Government.kif 1801-1801 candidateForPosition è un' istanza di PredicatoTernario

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 electionWinner è una sottorelazione di candidateForPosition
(termFormat ChineseLanguage candidateForPosition "职位候选人") domainEnglishFormat.kif 12943-12943
(termFormat ChineseTraditionalLanguage candidateForPosition "職位候選人") domainEnglishFormat.kif 12942-12942
(termFormat EnglishLanguage candidateForPosition "candidate for position") domainEnglishFormat.kif 12941-12941

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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