| 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 1869-1871 | |
| (domain seatsWonInElection 1 Election) | Government.kif 1865-1865 | The number 1 argument of seats won in election is an instance of election |
| (domain seatsWonInElection 2 AutonomousAgent) | Government.kif 1866-1866 | The number 2 argument of seats won in election is an instance of agent |
| (domain seatsWonInElection 3 Integer) | Government.kif 1867-1867 | The number 3 argument of seats won in election is an instance of integer |
| (instance seatsWonInElection TernaryPredicate) | Government.kif 1864-1864 | 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 2219-2219 | |
| (format ChineseTraditionalLanguage seatsWonInElection "%1 %n 是 %3 在 選舉 %2 裡贏的 seats ") | domainEnglishFormat.kif 2218-2218 | |
| (format EnglishLanguage seatsWonInElection "%1 is %n seats won in election %2 for %3") | domainEnglishFormat.kif 2217-2217 | |
| (termFormat ChineseLanguage seatsWonInElection "席位在选举中获胜") | domainEnglishFormat.kif 51792-51792 | |
| (termFormat ChineseTraditionalLanguage seatsWonInElection "席位在選舉中獲勝") | domainEnglishFormat.kif 51791-51791 | |
| (termFormat EnglishLanguage seatsWonInElection "seats won in election") | domainEnglishFormat.kif 51790-51790 |
|
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