| 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 | The number 1 argument of seats won in election is an instance of election |
| (domain seatsWonInElection 2 AutonomousAgent) | Government.kif 1868-1868 | The number 2 argument of seats won in election is an instance of agent |
| (domain seatsWonInElection 3 Integer) | Government.kif 1869-1869 | The number 3 argument of seats won in election is an instance of integer |
| (instance seatsWonInElection TernaryPredicate) | Government.kif 1866-1866 | seats won in election is an instance of ternary predicate |
| 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 51799-51799 | |
| (termFormat ChineseTraditionalLanguage seatsWonInElection "席位在選舉中獲勝") | domainEnglishFormat.kif 51798-51798 | |
| (termFormat EnglishLanguage seatsWonInElection "seats won in election") | domainEnglishFormat.kif 51797-51797 |
|
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