Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - atomicNumber
atomicNumber

appearance as argument number 1
-------------------------


(documentation atomicNumber ChineseLanguage "(atomicNumber ?ELEMENT ?NUMBER)的意思是 ElementalSubstance ?ELEMENT 的原子数是 ?NUMBER。原子数是一个 Atom 核子内 Proton 的数目。") Merge.kif 18134-18135
(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 18131-18133
(domain atomicNumber 2 PositiveInteger) Merge.kif 18130-18130
(domainSubclass atomicNumber 1 ElementalSubstance) Merge.kif 18129-18129
(instance atomicNumber AsymmetricRelation) Merge.kif 18127-18127
(instance atomicNumber BinaryPredicate) Merge.kif 18126-18126
(instance atomicNumber PartialValuedRelation) Merge.kif 18128-18128

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 8959-8959
(termFormat ChineseTraditionalLanguage atomicNumber "原子數") domainEnglishFormat.kif 8958-8958
(termFormat EnglishLanguage atomicNumber "atomic number") domainEnglishFormat.kif 8957-8957

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 18137-18149

appearance as argument number 0
-------------------------


(atomicNumber Actinium 89) Mid-level-ontology.kif 26986-26986
(atomicNumber Aluminum 13) Mid-level-ontology.kif 25728-25728
(atomicNumber Americium 95) Mid-level-ontology.kif 27086-27086
(atomicNumber Antimony 51) Mid-level-ontology.kif 26324-26324
(atomicNumber Argon 18) Mid-level-ontology.kif 25806-25806
(atomicNumber Arsenic 33) Mid-level-ontology.kif 26039-26039
(atomicNumber Astatine 85) Mid-level-ontology.kif 26923-26923
(atomicNumber Barium 56) Mid-level-ontology.kif 26413-26413
(atomicNumber Berkelium 97) Mid-level-ontology.kif 27118-27118
(atomicNumber Beryllium 4) Mid-level-ontology.kif 25577-25577
(atomicNumber Bismuth 83) Mid-level-ontology.kif 26890-26890
(atomicNumber Boron 5) Mid-level-ontology.kif 25592-25592
(atomicNumber Bromine 35) Mid-level-ontology.kif 26068-26068
(atomicNumber Cadmium 48) Mid-level-ontology.kif 26279-26279
(atomicNumber Caesium 55) Mid-level-ontology.kif 26388-26388
(atomicNumber Calcium 20) Mid-level-ontology.kif 25835-25835
(atomicNumber Californium 98) Mid-level-ontology.kif 27134-27134
(atomicNumber Carbon 6) Mid-level-ontology.kif 25610-25610
(atomicNumber Cerium 58) Mid-level-ontology.kif 26447-26447
(atomicNumber Chlorine 17) Mid-level-ontology.kif 25790-25790
(atomicNumber Chromium 24) Mid-level-ontology.kif 25905-25905
(atomicNumber Cobalt 27) Mid-level-ontology.kif 25948-25948
(atomicNumber Copper 29) Mid-level-ontology.kif 25977-25977
(atomicNumber Curium 96) Mid-level-ontology.kif 27102-27102
(atomicNumber Dysprosium 66) Mid-level-ontology.kif 26587-26587

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners