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 403-404
(
domain
cardinality
1
SetOrClass
)
Government.kif 400-400
基数
的 1 数量 是
集或类
的
instance
(
domain
cardinality
2
NonnegativeInteger
)
Government.kif 401-401
基数
的 2 数量 是
非负整数
的
instance
(
instance
cardinality
BinaryPredicate
)
Government.kif 399-399
基数
是
二元谓语
的
instance
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 406-408
如果
非负整数
是
集或类
的
cardinality
,
然后
那个 集或类
instance
的数量
equal
那个 非负整数
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
地理区域
是 对于
非负整数
在地区 和
机场有着铺设跑道
对应的
Class
的
total
设施类别 若且唯若 有存在
符号串
和
实体
这样
那个 非负整数
是
那个 符号串
所描述的类别 的
cardinality
(<=>
(
totalFacilityTypeInArea
?AREA ?TYPE ?COUNT)
(
cardinality
(
KappaFn
?ITEM
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA))) ?COUNT))
Transportation.kif 1221-1228
地理区域
是 对于
非负整数
在地区
类
的
total
设施类别 若且唯若
那个 非负整数
是
符号串
所描述的类别 的
cardinality
(=>
(
and
(
instance
?SET
SetOrClass
)
(
equal
(
CardinalityFn
?SET) ?COUNT))
(
cardinality
?SET ?COUNT))
Government.kif 410-414
如果
集或类
是
集或类
的
instance
和
那个 集或类
instance
的数量
equal
非负整数
,
然后
那个 非负整数
是
那个 集或类
的
cardinality
appearance as argument number 0
(
cardinality
(
ExtensionFn
DevelopedCountry
) 35)
Economy.kif 144-144
35 是 和
发达国家
对应的
Class
的
cardinality
(
cardinality
(
ExtensionFn
DevelopingCountry
) 126)
Economy.kif 613-613
126 是 和
发展中国家
对应的
Class
的
cardinality
(
cardinality
(
ExtensionFn
LeastDevelopedCountry
) 42)
Economy.kif 405-405
42 是 和
最不发达国家
对应的
Class
的
cardinality
(
cardinality
(
ExtensionFn
LessDevelopedCountry
) 172)
Economy.kif 229-229
172 是 和
较未发达国家
对应的
Class
的
cardinality
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