Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
AntarcticTreaty
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 1871-1873
(
domain
seatsWonInElection
1
Election
)
Government.kif 1867-1867
域
席位在選舉中獲勝
, 1 and
選舉
(
domain
seatsWonInElection
2
AutonomousAgent
)
Government.kif 1868-1868
域
席位在選舉中獲勝
, 2 and
AutonomousAgent
(
domain
seatsWonInElection
3
Integer
)
Government.kif 1869-1869
域
席位在選舉中獲勝
, 3 and
Integer
(
instance
seatsWonInElection
TernaryPredicate
)
Government.kif 1866-1866
例
席位在選舉中獲勝
and
TernaryPredicate
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 simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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