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

Formal Language: 



KB Term:  Term intersection
English Word: 

  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 Protons in the nucleus of an Atom.") Merge.kif 13192-13194
(domain atomicNumber 2 PositiveInteger) Merge.kif 13191-13191
(domainSubclass atomicNumber 1 ElementalSubstance) Merge.kif 13190-13190
(instance atomicNumber AsymmetricRelation) Merge.kif 13188-13188
(instance atomicNumber BinaryPredicate) Merge.kif 13187-13187
(instance atomicNumber PartialValuedRelation) Merge.kif 13189-13189

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 8955-8955
(termFormat ChineseTraditionalLanguage atomicNumber "原子數") domainEnglishFormat.kif 8954-8954
(termFormat EnglishLanguage atomicNumber "atomic number") domainEnglishFormat.kif 8953-8953

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 13196-13208

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


(atomicNumber Actinium 89) Mid-level-ontology.kif 28152-28152
(atomicNumber Aluminum 13) Mid-level-ontology.kif 26818-26818
(atomicNumber Americium 95) Mid-level-ontology.kif 28258-28258
(atomicNumber Antimony 51) Mid-level-ontology.kif 27452-27452
(atomicNumber Argon 18) Mid-level-ontology.kif 26901-26901
(atomicNumber Arsenic 33) Mid-level-ontology.kif 27149-27149
(atomicNumber Astatine 85) Mid-level-ontology.kif 28085-28085
(atomicNumber Barium 56) Mid-level-ontology.kif 27546-27546
(atomicNumber Berkelium 97) Mid-level-ontology.kif 28292-28292
(atomicNumber Beryllium 4) Mid-level-ontology.kif 26658-26658
(atomicNumber Bismuth 83) Mid-level-ontology.kif 28050-28050
(atomicNumber Boron 5) Mid-level-ontology.kif 26674-26674
(atomicNumber Bromine 35) Mid-level-ontology.kif 27180-27180
(atomicNumber Cadmium 48) Mid-level-ontology.kif 27404-27404
(atomicNumber Caesium 55) Mid-level-ontology.kif 27520-27520
(atomicNumber Calcium 20) Mid-level-ontology.kif 26932-26932
(atomicNumber Californium 98) Mid-level-ontology.kif 28309-28309
(atomicNumber Carbon 6) Mid-level-ontology.kif 26693-26693
(atomicNumber Cerium 58) Mid-level-ontology.kif 27582-27582
(atomicNumber Chlorine 17) Mid-level-ontology.kif 26884-26884
(atomicNumber Chromium 24) Mid-level-ontology.kif 27006-27006
(atomicNumber Cobalt 27) Mid-level-ontology.kif 27052-27052
(atomicNumber Copper 29) Mid-level-ontology.kif 27083-27083
(atomicNumber Curium 96) Mid-level-ontology.kif 28275-28275
(atomicNumber Dysprosium 66) Mid-level-ontology.kif 27730-27730

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