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 13774-13776
(domain atomicNumber 2 PositiveInteger) Merge.kif 13773-13773 The number 2 argument of atomic number is an instance of positive integer
(domainSubclass atomicNumber 1 ElementalSubstance) Merge.kif 13772-13772 The number 1 argument of atomic number is a subclass of elemental substance
(instance atomicNumber AsymmetricRelation) Merge.kif 13770-13770 atomic number is an instance of asymmetric relation
(instance atomicNumber BinaryPredicate) Merge.kif 13769-13769 atomic number is an instance of binary predicate
(instance atomicNumber PartialValuedRelation) Merge.kif 13771-13771 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 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 13778-13790

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


(atomicNumber Actinium 89) Mid-level-ontology.kif 28810-28810 89 is an atomic number of actinium
(atomicNumber Aluminum 13) Mid-level-ontology.kif 27476-27476 13 is an atomic number of aluminum
(atomicNumber Americium 95) Mid-level-ontology.kif 28916-28916 95 is an atomic number of americium
(atomicNumber Antimony 51) Mid-level-ontology.kif 28110-28110 51 is an atomic number of antimony
(atomicNumber Argon 18) Mid-level-ontology.kif 27559-27559 18 is an atomic number of argon
(atomicNumber Arsenic 33) Mid-level-ontology.kif 27807-27807 33 is an atomic number of arsenic
(atomicNumber Astatine 85) Mid-level-ontology.kif 28743-28743 85 is an atomic number of astatine
(atomicNumber Barium 56) Mid-level-ontology.kif 28204-28204 56 is an atomic number of barium
(atomicNumber Berkelium 97) Mid-level-ontology.kif 28950-28950 97 is an atomic number of berkelium
(atomicNumber Beryllium 4) Mid-level-ontology.kif 27316-27316 4 is an atomic number of beryllium
(atomicNumber Bismuth 83) Mid-level-ontology.kif 28708-28708 83 is an atomic number of bismuth
(atomicNumber Boron 5) Mid-level-ontology.kif 27332-27332 5 is an atomic number of boron
(atomicNumber Bromine 35) Mid-level-ontology.kif 27838-27838 35 is an atomic number of bromine
(atomicNumber Cadmium 48) Mid-level-ontology.kif 28062-28062 48 is an atomic number of cadmium
(atomicNumber Caesium 55) Mid-level-ontology.kif 28178-28178 55 is an atomic number of caesium
(atomicNumber Calcium 20) Mid-level-ontology.kif 27590-27590 20 is an atomic number of calcium
(atomicNumber Californium 98) Mid-level-ontology.kif 28967-28967 98 is an atomic number of californium
(atomicNumber Carbon 6) Mid-level-ontology.kif 27351-27351 6 is an atomic number of carbon
(atomicNumber Cerium 58) Mid-level-ontology.kif 28240-28240 58 is an atomic number of cerium
(atomicNumber Chlorine 17) Mid-level-ontology.kif 27542-27542 17 is an atomic number of chlorine
(atomicNumber Chromium 24) Mid-level-ontology.kif 27664-27664 24 is an atomic number of chromium
(atomicNumber Cobalt 27) Mid-level-ontology.kif 27710-27710 27 is an atomic number of cobalt
(atomicNumber Copper 29) Mid-level-ontology.kif 27741-27741 29 is an atomic number of copper
(atomicNumber Curium 96) Mid-level-ontology.kif 28933-28933 96 is an atomic number of curium
(atomicNumber Dysprosium 66) Mid-level-ontology.kif 28388-28388 66 is an atomic number of dysprosium

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