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	Il numero 2 argomenti di atomicNumber è un istanza di NumeroInteroPositivo
(domainSubclass atomicNumber 1 ElementalSubstance)	Merge.kif 13818-13818	Il numero 1 argomento atomicNumber è una sottoclasse diSostanzaElementare
(instance atomicNumber AsymmetricRelation)	Merge.kif 13816-13816	atomicNumber è un' istanza di RelazioneAsimmetrica
(instance atomicNumber BinaryPredicate)	Merge.kif 13815-13815	atomicNumber è un' istanza di PredicatoBinario
(instance atomicNumber PartialValuedRelation)	Merge.kif 13817-13817	atomicNumber è un' istanza di RelazioneAValoreParziale

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 SostanzaElementare and NumeroInteroPositivo
- Oggetto è un' istanza di SostanzaElementare Oggetto è una parte di Oggetto Oggetto è un' istanza di Atomo
- NumeroInteroPositivo is uguale a il numero di istanzia in la classe descritta da Stringa

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 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: