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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1907-1909
(domain seatsWonInElection 1 Election) Government.kif 1903-1903 seatsWonInElection の数値 1 引数は Electioninstance では %n
(domain seatsWonInElection 2 AutonomousAgent) Government.kif 1904-1904 seatsWonInElection の数値 2 引数は AutonomousAgentinstance では %n
(domain seatsWonInElection 3 Integer) Government.kif 1905-1905 seatsWonInElection の数値 3 引数は 整数instance では %n
(instance seatsWonInElection TernaryPredicate) Government.kif 1902-1902 seatsWonInElection3進述語instance では %n

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 51759-51759
(termFormat ChineseTraditionalLanguage seatsWonInElection "席位在選舉中獲勝") domainEnglishFormat.kif 51758-51758
(termFormat EnglishLanguage seatsWonInElection "seats won in election") domainEnglishFormat.kif 51757-51757


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