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
seatsInOrganizationCount
Sigma KEE - seatsInOrganizationCount
seatsInOrganizationCount
appearance as argument number 1
(
documentation
seatsInOrganizationCount
EnglishLanguage
"(
seatsInOrganizationCount
?ORG ?NUMBER) means that there is a total ?NUMBER of seats in the
Organization
?ORG.")
Government.kif 2034-2036
(
domain
seatsInOrganizationCount
1
Organization
)
Government.kif 2031-2031
(
domain
seatsInOrganizationCount
2
Integer
)
Government.kif 2032-2032
(
instance
seatsInOrganizationCount
BinaryPredicate
)
Government.kif 2030-2030
appearance as argument number 2
(
format
ChineseLanguage
seatsInOrganizationCount
"%2 %n 是 %1 在组织 的数量 seats ")
domainEnglishFormat.kif 2211-2211
(
format
ChineseTraditionalLanguage
seatsInOrganizationCount
"%2 %n 是 %1 在組織 的數量 seats ")
domainEnglishFormat.kif 2210-2210
(
format
EnglishLanguage
seatsInOrganizationCount
"%2 is %n a seats in organization count of %1")
domainEnglishFormat.kif 2209-2209
(
termFormat
ChineseLanguage
seatsInOrganizationCount
"组织席位数")
domainEnglishFormat.kif 51755-51755
(
termFormat
ChineseTraditionalLanguage
seatsInOrganizationCount
"組織席位數")
domainEnglishFormat.kif 51754-51754
(
termFormat
EnglishLanguage
seatsInOrganizationCount
"seats in organization count")
domainEnglishFormat.kif 51753-51753
antecedent
(=>
(
and
(
seatsInOrganizationCount
?ORG ?SEATS)
(
memberCount
?ORG ?MEMBERS))
(
greaterThanOrEqualTo
?SEATS ?MEMBERS))
Government.kif 2038-2042
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