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 13704-13705
(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 13701-13703
(domain atomicNumber 2 PositiveInteger) Merge.kif 13700-13700
(domainSubclass atomicNumber 1 ElementalSubstance) Merge.kif 13699-13699
(instance atomicNumber AsymmetricRelation) Merge.kif 13697-13697
(instance atomicNumber BinaryPredicate) Merge.kif 13696-13696
(instance atomicNumber PartialValuedRelation) Merge.kif 13698-13698

appearance as argument number 2
-------------------------


(format EnglishLanguage atomicNumber "%2 is %n an atomic number of %1") domainEnglishFormat.kif 62-62
(termFormat EnglishLanguage atomicNumber "atomic number") domainEnglishFormat.kif 1926-1926

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 13707-13719

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


(atomicNumber Actinium 89) Mid-level-ontology.kif 26905-26905
(atomicNumber Aluminum 13) Mid-level-ontology.kif 25647-25647
(atomicNumber Americium 95) Mid-level-ontology.kif 27005-27005
(atomicNumber Antimony 51) Mid-level-ontology.kif 26243-26243
(atomicNumber Argon 18) Mid-level-ontology.kif 25725-25725
(atomicNumber Arsenic 33) Mid-level-ontology.kif 25958-25958
(atomicNumber Astatine 85) Mid-level-ontology.kif 26842-26842
(atomicNumber Barium 56) Mid-level-ontology.kif 26332-26332
(atomicNumber Berkelium 97) Mid-level-ontology.kif 27037-27037
(atomicNumber Beryllium 4) Mid-level-ontology.kif 25496-25496
(atomicNumber Bismuth 83) Mid-level-ontology.kif 26809-26809
(atomicNumber Boron 5) Mid-level-ontology.kif 25511-25511
(atomicNumber Bromine 35) Mid-level-ontology.kif 25987-25987
(atomicNumber Cadmium 48) Mid-level-ontology.kif 26198-26198
(atomicNumber Caesium 55) Mid-level-ontology.kif 26307-26307
(atomicNumber Calcium 20) Mid-level-ontology.kif 25754-25754
(atomicNumber Californium 98) Mid-level-ontology.kif 27053-27053
(atomicNumber Carbon 6) Mid-level-ontology.kif 25529-25529
(atomicNumber Cerium 58) Mid-level-ontology.kif 26366-26366
(atomicNumber Chlorine 17) Mid-level-ontology.kif 25709-25709
(atomicNumber Chromium 24) Mid-level-ontology.kif 25824-25824
(atomicNumber Cobalt 27) Mid-level-ontology.kif 25867-25867
(atomicNumber Copper 29) Mid-level-ontology.kif 25896-25896
(atomicNumber Curium 96) Mid-level-ontology.kif 27021-27021
(atomicNumber Dysprosium 66) Mid-level-ontology.kif 26506-26506

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