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
cardinality
の数値 1 引数は
同じセットまたはクラス
の
instance
では %n
(
domain
cardinality
2
NonnegativeInteger
)
Government.kif 437-437
cardinality
の数値 2 引数は
非負整数
の
instance
では %n
(
instance
cardinality
BinaryPredicate
)
Government.kif 435-435
cardinality
は
2進述語
の
instance
では %n
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
cardinality
同じセットまたはクラス
and
非負整数
同じセットまたはクラス
の
instances
の数 は
非負整数
と
equal
では %n
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
totalFacilityTypeInArea
地理的地域
,
AirportWithPavedRunway
に対する
class
and
非負整数
記号文字列
エンティティー
cardinality
記号文字列
で記述される
class
and
非負整数
(<=>
(
totalFacilityTypeInArea
?AREA ?TYPE ?COUNT)
(
cardinality
(
KappaFn
?ITEM
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA))) ?COUNT))
Transportation.kif 1221-1228
totalFacilityTypeInArea
地理的地域
,
クラス
and
非負整数
cardinality
エンティティー
class
and
非負整数
(=>
(
and
(
instance
?SET
SetOrClass
)
(
equal
(
CardinalityFn
?SET) ?COUNT))
(
cardinality
?SET ?COUNT))
Government.kif 446-450
同じセットまたはクラス
は
同じセットまたはクラス
の
instance
では %n
同じセットまたはクラス
の
instances
の数 は
非負整数
と
equal
では %n
cardinality
同じセットまたはクラス
and
非負整数
appearance as argument number 0
(
cardinality
(
ExtensionFn
DevelopedCountry
) 35)
Economy.kif 144-144
cardinality
DevelopedCountry
に対する
class
and 35
(
cardinality
(
ExtensionFn
DevelopingCountry
) 126)
Economy.kif 613-613
cardinality
DevelopingCountry
に対する
class
and 126
(
cardinality
(
ExtensionFn
LeastDevelopedCountry
) 42)
Economy.kif 405-405
cardinality
LeastDevelopedCountry
に対する
class
and 42
(
cardinality
(
ExtensionFn
LessDevelopedCountry
) 172)
Economy.kif 229-229
cardinality
LessDevelopedCountry
に対する
class
and 172
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