Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 2032-2034
(
domain
seatsInOrganizationCount
1
Organization
)
Government.kif 2029-2029
The number 1 argument of
seats in organization count
is an
instance
of
organization
(
domain
seatsInOrganizationCount
2
Integer
)
Government.kif 2030-2030
The number 2 argument of
seats in organization count
is an
instance
of
integer
(
instance
seatsInOrganizationCount
BinaryPredicate
)
Government.kif 2028-2028
seats in organization count
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
seatsInOrganizationCount
"%2 %n 是 %1 在组织 的数量 seats ")
domainEnglishFormat.kif 2215-2215
(
format
ChineseTraditionalLanguage
seatsInOrganizationCount
"%2 %n 是 %1 在組織 的數量 seats ")
domainEnglishFormat.kif 2214-2214
(
format
EnglishLanguage
seatsInOrganizationCount
"%2 is %n a seats in organization count of %1")
domainEnglishFormat.kif 2213-2213
(
termFormat
ChineseLanguage
seatsInOrganizationCount
"组织席位数")
domainEnglishFormat.kif 51757-51757
(
termFormat
ChineseTraditionalLanguage
seatsInOrganizationCount
"組織席位數")
domainEnglishFormat.kif 51756-51756
(
termFormat
EnglishLanguage
seatsInOrganizationCount
"seats in organization count")
domainEnglishFormat.kif 51755-51755
antecedent
(=>
(
and
(
seatsInOrganizationCount
?ORG ?SEATS)
(
memberCount
?ORG ?MEMBERS))
(
greaterThanOrEqualTo
?SEATS ?MEMBERS))
Government.kif 2036-2040
If
an integer
is a
seats
in organization count of
an organization
and
another integer
is a
member
count of
the organization
,
then
the integer
is
greater
than or equal to
the other integer
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