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 2070-2072
(
domain
seatsInOrganizationCount
1
Organization
)
Government.kif 2067-2067
The number 1 argument of
seats in organization count
is an
instance
of
organization
(
domain
seatsInOrganizationCount
2
Integer
)
Government.kif 2068-2068
The number 2 argument of
seats in organization count
is an
instance
of
integer
(
instance
seatsInOrganizationCount
BinaryPredicate
)
Government.kif 2066-2066
seats in organization count
is an
instance
of
binary predicate
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 51753-51753
(
termFormat
ChineseTraditionalLanguage
seatsInOrganizationCount
"組織席位數")
domainEnglishFormat.kif 51752-51752
(
termFormat
EnglishLanguage
seatsInOrganizationCount
"seats in organization count")
domainEnglishFormat.kif 51751-51751
antecedent
(=>
(
and
(
seatsInOrganizationCount
?ORG ?SEATS)
(
memberCount
?ORG ?MEMBERS))
(
greaterThanOrEqualTo
?SEATS ?MEMBERS))
Government.kif 2074-2078
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