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
MedialCondyleAndLateralCondyleOfFemur
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 13820-13822
(
domain
atomicNumber
2
PositiveInteger
)
Merge.kif 13819-13819
O argumento numero 2 de
atomicNumber
e' uma
instancia
de
Inteiro positivo
(
domainSubclass
atomicNumber
1
ElementalSubstance
)
Merge.kif 13818-13818
O argumento numero 1 de
atomicNumber
e' uma
sub
-classe de
Substancia Elementar
(
instance
atomicNumber
AsymmetricRelation
)
Merge.kif 13816-13816
atomicNumber
e' uma
instancia
de
Relacao Assimetrica
(
instance
atomicNumber
BinaryPredicate
)
Merge.kif 13815-13815
atomicNumber
e' uma
instancia
de
Predicado Binario
(
instance
atomicNumber
PartialValuedRelation
)
Merge.kif 13817-13817
atomicNumber
e' uma
instancia
de
Relacao Parcial
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 13824-13836
atomicNumber
Substancia Elementar
and
Inteiro positivo
Objeto
e' uma
instancia
de
Substancia Elementar
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Atomo
Inteiro positivo
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
appearance as argument number 0
(
atomicNumber
Actinium
89)
Mid-level-ontology.kif 28861-28861
atomicNumber
Actinium
and 89
(
atomicNumber
Aluminum
13)
Mid-level-ontology.kif 27527-27527
atomicNumber
Aluminum
and 13
(
atomicNumber
Americium
95)
Mid-level-ontology.kif 28967-28967
atomicNumber
Americium
and 95
(
atomicNumber
Antimony
51)
Mid-level-ontology.kif 28161-28161
atomicNumber
Antimony
and 51
(
atomicNumber
Argon
18)
Mid-level-ontology.kif 27610-27610
atomicNumber
Argon
and 18
(
atomicNumber
Arsenic
33)
Mid-level-ontology.kif 27858-27858
atomicNumber
Arsenic
and 33
(
atomicNumber
Astatine
85)
Mid-level-ontology.kif 28794-28794
atomicNumber
Astatine
and 85
(
atomicNumber
Barium
56)
Mid-level-ontology.kif 28255-28255
atomicNumber
Barium
and 56
(
atomicNumber
Berkelium
97)
Mid-level-ontology.kif 29001-29001
atomicNumber
Berkelium
and 97
(
atomicNumber
Beryllium
4)
Mid-level-ontology.kif 27367-27367
atomicNumber
Beryllium
and 4
(
atomicNumber
Bismuth
83)
Mid-level-ontology.kif 28759-28759
atomicNumber
Bismuth
and 83
(
atomicNumber
Boron
5)
Mid-level-ontology.kif 27383-27383
atomicNumber
Boron
and 5
(
atomicNumber
Bromine
35)
Mid-level-ontology.kif 27889-27889
atomicNumber
Bromine
and 35
(
atomicNumber
Cadmium
48)
Mid-level-ontology.kif 28113-28113
atomicNumber
Cadmium
and 48
(
atomicNumber
Caesium
55)
Mid-level-ontology.kif 28229-28229
atomicNumber
Caesium
and 55
(
atomicNumber
Calcium
20)
Mid-level-ontology.kif 27641-27641
atomicNumber
Calcium
and 20
(
atomicNumber
Californium
98)
Mid-level-ontology.kif 29018-29018
atomicNumber
Californium
and 98
(
atomicNumber
Carbon
6)
Mid-level-ontology.kif 27402-27402
atomicNumber
Carbon
and 6
(
atomicNumber
Cerium
58)
Mid-level-ontology.kif 28291-28291
atomicNumber
Cerium
and 58
(
atomicNumber
Chlorine
17)
Mid-level-ontology.kif 27593-27593
atomicNumber
Chlorine
and 17
(
atomicNumber
Chromium
24)
Mid-level-ontology.kif 27715-27715
atomicNumber
Chromium
and 24
(
atomicNumber
Cobalt
27)
Mid-level-ontology.kif 27761-27761
atomicNumber
Cobalt
and 27
(
atomicNumber
Copper
29)
Mid-level-ontology.kif 27792-27792
atomicNumber
Copper
and 29
(
atomicNumber
Curium
96)
Mid-level-ontology.kif 28984-28984
atomicNumber
Curium
and 96
(
atomicNumber
Dysprosium
66)
Mid-level-ontology.kif 28439-28439
atomicNumber
Dysprosium
and 66
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