Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 13927-13929
(
domain
atomicNumber
2
PositiveInteger
)
Merge.kif 13926-13926
The number 2 argument of
atomic number
is an
instance
of
positive integer
(
domainSubclass
atomicNumber
1
ElementalSubstance
)
Merge.kif 13925-13925
The number 1 argument of
atomic number
is a
subclass
of
elemental substance
(
instance
atomicNumber
BinaryPredicate
)
Merge.kif 13923-13923
atomic number
is an
instance
of
binary predicate
(
instance
atomicNumber
PartialValuedRelation
)
Merge.kif 13924-13924
atomic number
is an
instance
of
partial valued relation
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 8947-8947
(
termFormat
ChineseTraditionalLanguage
atomicNumber
"原子數")
domainEnglishFormat.kif 8946-8946
(
termFormat
EnglishLanguage
atomicNumber
"atomic number")
domainEnglishFormat.kif 8945-8945
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 13931-13943
If
a positive integer
is an
atomic
number of
a kind of elemental substance
,
then
if
an object
is an
instance
of
a kind of elemental substance
and
another object
is a
part
of
the object
and
the other object
is an
instance
of
atom
,
then
equal
the positive integer
and the number of
instances
in the
class
described by
a symbolic string
appearance as argument number 0
(
atomicNumber
Actinium
89)
Mid-level-ontology.kif 30729-30729
89 is an
atomic
number of
actinium
(
atomicNumber
Aluminum
13)
Mid-level-ontology.kif 29395-29395
13 is an
atomic
number of
aluminum
(
atomicNumber
Americium
95)
Mid-level-ontology.kif 30835-30835
95 is an
atomic
number of
americium
(
atomicNumber
Antimony
51)
Mid-level-ontology.kif 30029-30029
51 is an
atomic
number of
antimony
(
atomicNumber
Argon
18)
Mid-level-ontology.kif 29478-29478
18 is an
atomic
number of
argon
(
atomicNumber
Arsenic
33)
Mid-level-ontology.kif 29726-29726
33 is an
atomic
number of
arsenic
(
atomicNumber
Astatine
85)
Mid-level-ontology.kif 30662-30662
85 is an
atomic
number of
astatine
(
atomicNumber
Barium
56)
Mid-level-ontology.kif 30123-30123
56 is an
atomic
number of
barium
(
atomicNumber
Berkelium
97)
Mid-level-ontology.kif 30869-30869
97 is an
atomic
number of
berkelium
(
atomicNumber
Beryllium
4)
Mid-level-ontology.kif 29235-29235
4 is an
atomic
number of
beryllium
(
atomicNumber
Bismuth
83)
Mid-level-ontology.kif 30627-30627
83 is an
atomic
number of
bismuth
(
atomicNumber
Boron
5)
Mid-level-ontology.kif 29251-29251
5 is an
atomic
number of
boron
(
atomicNumber
Bromine
35)
Mid-level-ontology.kif 29757-29757
35 is an
atomic
number of
bromine
(
atomicNumber
Cadmium
48)
Mid-level-ontology.kif 29981-29981
48 is an
atomic
number of
cadmium
(
atomicNumber
Caesium
55)
Mid-level-ontology.kif 30097-30097
55 is an
atomic
number of
caesium
(
atomicNumber
Calcium
20)
Mid-level-ontology.kif 29509-29509
20 is an
atomic
number of
calcium
(
atomicNumber
Californium
98)
Mid-level-ontology.kif 30886-30886
98 is an
atomic
number of
californium
(
atomicNumber
Carbon
6)
Mid-level-ontology.kif 29270-29270
6 is an
atomic
number of
carbon
(
atomicNumber
Cerium
58)
Mid-level-ontology.kif 30159-30159
58 is an
atomic
number of
cerium
(
atomicNumber
Chlorine
17)
Mid-level-ontology.kif 29461-29461
17 is an
atomic
number of
chlorine
(
atomicNumber
Chromium
24)
Mid-level-ontology.kif 29583-29583
24 is an
atomic
number of
chromium
(
atomicNumber
Cobalt
27)
Mid-level-ontology.kif 29629-29629
27 is an
atomic
number of
cobalt
(
atomicNumber
Copper
29)
Mid-level-ontology.kif 29660-29660
29 is an
atomic
number of
copper
(
atomicNumber
Curium
96)
Mid-level-ontology.kif 30852-30852
96 is an
atomic
number of
curium
(
atomicNumber
Dysprosium
66)
Mid-level-ontology.kif 30307-30307
66 is an
atomic
number of
dysprosium
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