atomicNumber - Sigma Knowledge base Browser

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 Protons in the nucleus of an Atom.")	Merge.kif 13820-13822
(domain atomicNumber 2 PositiveInteger)	Merge.kif 13819-13819	The number 2 argument of atomic number is an instance of positive integer
(domainSubclass atomicNumber 1 ElementalSubstance)	Merge.kif 13818-13818	The number 1 argument of atomic number is a subclass of elemental substance
(instance atomicNumber AsymmetricRelation)	Merge.kif 13816-13816	atomic number is an instance of asymmetric relation
(instance atomicNumber BinaryPredicate)	Merge.kif 13815-13815	atomic number is an instance of binary predicate
(instance atomicNumber PartialValuedRelation)	Merge.kif 13817-13817	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 8954-8954
(termFormat ChineseTraditionalLanguage atomicNumber "原子數")	domainEnglishFormat.kif 8953-8953
(termFormat EnglishLanguage atomicNumber "atomic number")	domainEnglishFormat.kif 8952-8952

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

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 the positive integer is equal to the number of instances in the class described by a symbolic string

appearance as argument number 0

(atomicNumber Actinium 89)	Mid-level-ontology.kif 29094-29094	89 is an atomic number of actinium
(atomicNumber Aluminum 13)	Mid-level-ontology.kif 27760-27760	13 is an atomic number of aluminum
(atomicNumber Americium 95)	Mid-level-ontology.kif 29200-29200	95 is an atomic number of americium
(atomicNumber Antimony 51)	Mid-level-ontology.kif 28394-28394	51 is an atomic number of antimony
(atomicNumber Argon 18)	Mid-level-ontology.kif 27843-27843	18 is an atomic number of argon
(atomicNumber Arsenic 33)	Mid-level-ontology.kif 28091-28091	33 is an atomic number of arsenic
(atomicNumber Astatine 85)	Mid-level-ontology.kif 29027-29027	85 is an atomic number of astatine
(atomicNumber Barium 56)	Mid-level-ontology.kif 28488-28488	56 is an atomic number of barium
(atomicNumber Berkelium 97)	Mid-level-ontology.kif 29234-29234	97 is an atomic number of berkelium
(atomicNumber Beryllium 4)	Mid-level-ontology.kif 27600-27600	4 is an atomic number of beryllium
(atomicNumber Bismuth 83)	Mid-level-ontology.kif 28992-28992	83 is an atomic number of bismuth
(atomicNumber Boron 5)	Mid-level-ontology.kif 27616-27616	5 is an atomic number of boron
(atomicNumber Bromine 35)	Mid-level-ontology.kif 28122-28122	35 is an atomic number of bromine
(atomicNumber Cadmium 48)	Mid-level-ontology.kif 28346-28346	48 is an atomic number of cadmium
(atomicNumber Caesium 55)	Mid-level-ontology.kif 28462-28462	55 is an atomic number of caesium
(atomicNumber Calcium 20)	Mid-level-ontology.kif 27874-27874	20 is an atomic number of calcium
(atomicNumber Californium 98)	Mid-level-ontology.kif 29251-29251	98 is an atomic number of californium
(atomicNumber Carbon 6)	Mid-level-ontology.kif 27635-27635	6 is an atomic number of carbon
(atomicNumber Cerium 58)	Mid-level-ontology.kif 28524-28524	58 is an atomic number of cerium
(atomicNumber Chlorine 17)	Mid-level-ontology.kif 27826-27826	17 is an atomic number of chlorine
(atomicNumber Chromium 24)	Mid-level-ontology.kif 27948-27948	24 is an atomic number of chromium
(atomicNumber Cobalt 27)	Mid-level-ontology.kif 27994-27994	27 is an atomic number of cobalt
(atomicNumber Copper 29)	Mid-level-ontology.kif 28025-28025	29 is an atomic number of copper
(atomicNumber Curium 96)	Mid-level-ontology.kif 29217-29217	96 is an atomic number of curium
(atomicNumber Dysprosium 66)	Mid-level-ontology.kif 28672-28672	66 is an atomic number of dysprosium

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: