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
cardinality
Sigma KEE - cardinality
cardinality
appearance as argument number 1
(
documentation
cardinality
EnglishLanguage
"(
cardinality
?SET ?NUMBER) means that there are ?NUMBER of elements in the
SetOrClass
?SET.")
Government.kif 439-440
(
domain
cardinality
1
SetOrClass
)
Government.kif 436-436
The number 1 argument of
cardinality
is an
instance
of
set or class
(
domain
cardinality
2
NonnegativeInteger
)
Government.kif 437-437
The number 2 argument of
cardinality
is an
instance
of
nonnegative integer
(
instance
cardinality
BinaryPredicate
)
Government.kif 435-435
cardinality
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
cardinality
"%2 %n 是 %1 的
cardinality
")
domainEnglishFormat.kif 376-376
(
format
ChineseTraditionalLanguage
cardinality
"%2 %n 是 %1 的
cardinality
")
domainEnglishFormat.kif 375-375
(
format
EnglishLanguage
cardinality
"%2 is %n a
cardinality
of %1")
domainEnglishFormat.kif 374-374
(
termFormat
ChineseLanguage
cardinality
"基数")
domainEnglishFormat.kif 13206-13206
(
termFormat
ChineseTraditionalLanguage
cardinality
"基數")
domainEnglishFormat.kif 13205-13205
(
termFormat
EnglishLanguage
cardinality
"cardinality")
domainEnglishFormat.kif 13204-13204
antecedent
(=>
(
cardinality
?SET ?COUNT)
(
equal
(
CardinalityFn
?SET) ?COUNT))
Government.kif 442-444
If
a nonnegative integer
is a
cardinality
of
a set or class
,
then the number of
instances
in
the set or class
is
equal
to
the nonnegative integer
consequent
(<=>
(
totalFacilityTypeInArea
?AREA
(
ExtensionFn
AirportWithPavedRunway
) ?COUNT)
(
exists
(?AIRPORT ?RUNWAY)
(
cardinality
(
KappaFn
?AIRPORT
(
and
(
instance
?AIRPORT
Airport
)
(
instance
?RUNWAY
PavedRunway
)
(
part
?RUNWAY ?AIRPORT)
(
located
?AIRPORT ?AREA))) ?COUNT)))
Transportation.kif 1277-1287
A geographic area
is
total
facility type in area the
class
corresponding to
airport with paved runway
for
a nonnegative integer
if and only if there exist
a symbolic string
and
an entity
such that
the nonnegative integer
is a
cardinality
of the
class
described by
the symbolic string
(<=>
(
totalFacilityTypeInArea
?AREA ?TYPE ?COUNT)
(
cardinality
(
KappaFn
?ITEM
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA))) ?COUNT))
Transportation.kif 1221-1228
A geographic area
is
total
facility type in area
a class
for
a nonnegative integer
if and only if
the nonnegative integer
is a
cardinality
of the
class
described by
a symbolic string
(=>
(
and
(
instance
?SET
SetOrClass
)
(
equal
(
CardinalityFn
?SET) ?COUNT))
(
cardinality
?SET ?COUNT))
Government.kif 446-450
If
a set or class
is an
instance
of
set or class
and the number of
instances
in
the set or class
is
equal
to
a nonnegative integer
,
then
the nonnegative integer
is a
cardinality
of
the set or class
appearance as argument number 0
(
cardinality
(
ExtensionFn
DevelopedCountry
) 35)
Economy.kif 144-144
35 is a
cardinality
of the
class
corresponding to
developed country
(
cardinality
(
ExtensionFn
DevelopingCountry
) 126)
Economy.kif 613-613
126 is a
cardinality
of the
class
corresponding to
developing country
(
cardinality
(
ExtensionFn
LeastDevelopedCountry
) 42)
Economy.kif 405-405
42 is a
cardinality
of the
class
corresponding to
least developed country
(
cardinality
(
ExtensionFn
LessDevelopedCountry
) 172)
Economy.kif 229-229
172 is a
cardinality
of the
class
corresponding to
less developed country
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