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
atomicNumber
Sigma KEE - atomicNumber
atomicNumber
appearance as argument number 1
(
documentation
atomicNumber
ChineseLanguage
"(
atomicNumber
?ELEMENT ?NUMBER)的意思是
ElementalSubstance
?ELEMENT 的原子数是 ?NUMBER。原子数是一个
Atom
核子内
Proton
的数目。")
chinese_format.kif 3337-3338
(
documentation
atomicNumber
EnglishLanguage
"(
atomicNumber
?ELEMENT ?NUMBER) means that the
ElementalSubstance
?ELEMENT has the atomic number ?NUMBER. The atomic number is the number of
Proton
s in the nucleus of an
Atom
.")
Merge.kif 13796-13798
(
domain
atomicNumber
2
PositiveInteger
)
Merge.kif 13795-13795
原子数
的 2 数量 是
正整数
的
instance
(
domainSubclass
atomicNumber
1
ElementalSubstance
)
Merge.kif 13794-13794
原子数
的 1 数量 是
元素物质
的
subclass
(
instance
atomicNumber
AsymmetricRelation
)
Merge.kif 13792-13792
原子数
是
非对称关系
的
instance
(
instance
atomicNumber
BinaryPredicate
)
Merge.kif 13791-13791
原子数
是
二元谓语
的
instance
(
instance
atomicNumber
PartialValuedRelation
)
Merge.kif 13793-13793
原子数
是
部分值关系
的
instance
appearance as argument number 2
(
format
ChineseLanguage
atomicNumber
"%2 %n 是 %1 的 atomic 数字")
domainEnglishFormat.kif 212-212
(
format
ChineseTraditionalLanguage
atomicNumber
"%2 %n 是 %1 的 atomic 數字")
domainEnglishFormat.kif 211-211
(
format
EnglishLanguage
atomicNumber
"%2 is %n an atomic number of %1")
domainEnglishFormat.kif 210-210
(
termFormat
ChineseLanguage
atomicNumber
"原子数")
domainEnglishFormat.kif 8946-8946
(
termFormat
ChineseTraditionalLanguage
atomicNumber
"原子數")
domainEnglishFormat.kif 8945-8945
(
termFormat
EnglishLanguage
atomicNumber
"atomic number")
domainEnglishFormat.kif 8944-8944
antecedent
(=>
(
atomicNumber
?TYPE ?NUMBER)
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
part
?ATOM ?SUBSTANCE)
(
instance
?ATOM
Atom
))
(
equal
?NUMBER
(
CardinalityFn
(
KappaFn
?PROTON
(
and
(
part
?PROTON ?ATOM)
(
instance
?PROTON
Proton
)))))))
Merge.kif 13800-13812
如果
正整数
是
有点 元素物质
的
atomic
数字,
然后
如果
客体
是
有点 元素物质
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
原子
的
instance
,
然后
那个 正整数
equal
符号串
所描述的类别
instance
的数量
appearance as argument number 0
(
atomicNumber
Actinium
89)
Mid-level-ontology.kif 28798-28798
89 是
锕
的
atomic
数字
(
atomicNumber
Aluminum
13)
Mid-level-ontology.kif 27464-27464
13 是
铝
的
atomic
数字
(
atomicNumber
Americium
95)
Mid-level-ontology.kif 28904-28904
95 是
銤
的
atomic
数字
(
atomicNumber
Antimony
51)
Mid-level-ontology.kif 28098-28098
51 是
锑
的
atomic
数字
(
atomicNumber
Argon
18)
Mid-level-ontology.kif 27547-27547
18 是
氩
的
atomic
数字
(
atomicNumber
Arsenic
33)
Mid-level-ontology.kif 27795-27795
33 是
砷
的
atomic
数字
(
atomicNumber
Astatine
85)
Mid-level-ontology.kif 28731-28731
85 是
砹
的
atomic
数字
(
atomicNumber
Barium
56)
Mid-level-ontology.kif 28192-28192
56 是
钡
的
atomic
数字
(
atomicNumber
Berkelium
97)
Mid-level-ontology.kif 28938-28938
97 是
锫
的
atomic
数字
(
atomicNumber
Beryllium
4)
Mid-level-ontology.kif 27304-27304
4 是
铍
的
atomic
数字
(
atomicNumber
Bismuth
83)
Mid-level-ontology.kif 28696-28696
83 是
铋
的
atomic
数字
(
atomicNumber
Boron
5)
Mid-level-ontology.kif 27320-27320
5 是
硼
的
atomic
数字
(
atomicNumber
Bromine
35)
Mid-level-ontology.kif 27826-27826
35 是
溴
的
atomic
数字
(
atomicNumber
Cadmium
48)
Mid-level-ontology.kif 28050-28050
48 是
镉
的
atomic
数字
(
atomicNumber
Caesium
55)
Mid-level-ontology.kif 28166-28166
55 是
铯
的
atomic
数字
(
atomicNumber
Calcium
20)
Mid-level-ontology.kif 27578-27578
20 是
钙
的
atomic
数字
(
atomicNumber
Californium
98)
Mid-level-ontology.kif 28955-28955
98 是
锎
的
atomic
数字
(
atomicNumber
Carbon
6)
Mid-level-ontology.kif 27339-27339
6 是
碳
的
atomic
数字
(
atomicNumber
Cerium
58)
Mid-level-ontology.kif 28228-28228
58 是
铈
的
atomic
数字
(
atomicNumber
Chlorine
17)
Mid-level-ontology.kif 27530-27530
17 是
氯
的
atomic
数字
(
atomicNumber
Chromium
24)
Mid-level-ontology.kif 27652-27652
24 是
铬
的
atomic
数字
(
atomicNumber
Cobalt
27)
Mid-level-ontology.kif 27698-27698
27 是
钴
的
atomic
数字
(
atomicNumber
Copper
29)
Mid-level-ontology.kif 27729-27729
29 是
铜
的
atomic
数字
(
atomicNumber
Curium
96)
Mid-level-ontology.kif 28921-28921
96 是
锔
的
atomic
数字
(
atomicNumber
Dysprosium
66)
Mid-level-ontology.kif 28376-28376
66 是
镝
的
atomic
数字
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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