Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| seatsWonInElection |
| appearance as argument number 1 |
|
| (instance seatsWonInElection TernaryPredicate) | Government.kif 1873-1873 | seats won in election is an instance of ternary predicate |
| (domain seatsWonInElection 1 Election) | Government.kif 1874-1874 | The number 1 argument of seats won in election is an instance of election |
| (domain seatsWonInElection 2 AutonomousAgent) | Government.kif 1875-1875 | The number 2 argument of seats won in election is an instance of agent |
| (domain seatsWonInElection 3 Integer) | Government.kif 1876-1876 | The number 3 argument of seats won in election is an instance of integer |
| (documentation seatsWonInElection EnglishLanguage "(seatsWonInElection ?ELECTION ?AGENT ?NUMBER) means that in the Election ?ELECTION, the PoliticalParty ?AGENT won this ?NUMBER of seats.") | Government.kif 1878-1880 | The number 3 argument of seats won in election is an instance of integer |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage seatsWonInElection "%1 is %n seats won in election %2 for %3") | domainEnglishFormat.kif 2217-2217 | |
| (format ChineseTraditionalLanguage seatsWonInElection "%1 %n 是 %3 在 選舉 %2 裡贏的 seats ") | domainEnglishFormat.kif 2218-2218 | |
| (format ChineseLanguage seatsWonInElection "%1 %n 是 %3 在 选举 %2 里赢的 seats ") | domainEnglishFormat.kif 2219-2219 | |
| (termFormat EnglishLanguage seatsWonInElection "seats won in election") | domainEnglishFormat.kif 51754-51754 | |
| (termFormat ChineseTraditionalLanguage seatsWonInElection "席位在選舉中獲勝") | domainEnglishFormat.kif 51755-51755 | |
| (termFormat ChineseLanguage seatsWonInElection "席位在选举中获胜") | domainEnglishFormat.kif 51756-51756 |
|