| 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 | O argumento numero 1 de seatsWonInElection e' uma instancia de Election |
| (domain seatsWonInElection 2 AutonomousAgent) | Government.kif 1868-1868 | O argumento numero 2 de seatsWonInElection e' uma instancia de AutonomousAgent |
| (domain seatsWonInElection 3 Integer) | Government.kif 1869-1869 | O argumento numero 3 de seatsWonInElection e' uma instancia de Numero Inteiro |
| (instance seatsWonInElection TernaryPredicate) | Government.kif 1866-1866 | seatsWonInElection e' uma instancia de Predicado Ternario |
| 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 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