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

Formal Language: 



KB Term:  Term intersection
English Word: 

  seatsWonInElection

 Sigma KEE - seatsWonInElection
seatsWonInElection

appearance as argument number 1
-------------------------


(documentation seatsWonInElection EnglishLanguage "(seatsWonInElection ?ELECTION ?AGENT ?NUMBER) means that in the Election ?ELECTION, the PoliticalParty ?AGENT won this ?NUMBER of seats.") Government.kif 1871-1873
(domain seatsWonInElection 1 Election) Government.kif 1867-1867 席位在选举中获胜 的 1 数量 是 选举 的 instance
(domain seatsWonInElection 2 AutonomousAgent) Government.kif 1868-1868 席位在选举中获胜 的 2 数量 是 施事体 的 instance
(domain seatsWonInElection 3 Integer) Government.kif 1869-1869 席位在选举中获胜 的 3 数量 是 整数 的 instance
(instance seatsWonInElection TernaryPredicate) Government.kif 1866-1866 席位在选举中获胜 是 三元谓语 的 instance

appearance as argument number 2
-------------------------


(format ChineseLanguage seatsWonInElection "%1 %n 是 %3 在 选举 %2 里赢的 seats ") domainEnglishFormat.kif 2215-2215
(format ChineseTraditionalLanguage seatsWonInElection "%1 %n 是 %3 在 選舉 %2 裡贏的 seats ") domainEnglishFormat.kif 2214-2214
(format EnglishLanguage seatsWonInElection "%1 is %n seats won in election %2 for %3") domainEnglishFormat.kif 2213-2213
(termFormat ChineseLanguage seatsWonInElection "席位在选举中获胜") domainEnglishFormat.kif 51761-51761
(termFormat ChineseTraditionalLanguage seatsWonInElection "席位在選舉中獲勝") domainEnglishFormat.kif 51760-51760
(termFormat EnglishLanguage seatsWonInElection "seats won in election") domainEnglishFormat.kif 51759-51759


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