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 的数目。") Merge.kif 13762-13763
(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 13759-13761
(domain atomicNumber 2 PositiveInteger) Merge.kif 13758-13758
(domainSubclass atomicNumber 1 ElementalSubstance) Merge.kif 13757-13757
(instance atomicNumber AsymmetricRelation) Merge.kif 13755-13755
(instance atomicNumber BinaryPredicate) Merge.kif 13754-13754
(instance atomicNumber PartialValuedRelation) Merge.kif 13756-13756

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 13765-13777

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


(atomicNumber Actinium 89) Mid-level-ontology.kif 26985-26985
(atomicNumber Aluminum 13) Mid-level-ontology.kif 25727-25727
(atomicNumber Americium 95) Mid-level-ontology.kif 27085-27085
(atomicNumber Antimony 51) Mid-level-ontology.kif 26323-26323
(atomicNumber Argon 18) Mid-level-ontology.kif 25805-25805
(atomicNumber Arsenic 33) Mid-level-ontology.kif 26038-26038
(atomicNumber Astatine 85) Mid-level-ontology.kif 26922-26922
(atomicNumber Barium 56) Mid-level-ontology.kif 26412-26412
(atomicNumber Berkelium 97) Mid-level-ontology.kif 27117-27117
(atomicNumber Beryllium 4) Mid-level-ontology.kif 25576-25576
(atomicNumber Bismuth 83) Mid-level-ontology.kif 26889-26889
(atomicNumber Boron 5) Mid-level-ontology.kif 25591-25591
(atomicNumber Bromine 35) Mid-level-ontology.kif 26067-26067
(atomicNumber Cadmium 48) Mid-level-ontology.kif 26278-26278
(atomicNumber Caesium 55) Mid-level-ontology.kif 26387-26387
(atomicNumber Calcium 20) Mid-level-ontology.kif 25834-25834
(atomicNumber Californium 98) Mid-level-ontology.kif 27133-27133
(atomicNumber Carbon 6) Mid-level-ontology.kif 25609-25609
(atomicNumber Cerium 58) Mid-level-ontology.kif 26446-26446
(atomicNumber Chlorine 17) Mid-level-ontology.kif 25789-25789
(atomicNumber Chromium 24) Mid-level-ontology.kif 25904-25904
(atomicNumber Cobalt 27) Mid-level-ontology.kif 25947-25947
(atomicNumber Copper 29) Mid-level-ontology.kif 25976-25976
(atomicNumber Curium 96) Mid-level-ontology.kif 27101-27101
(atomicNumber Dysprosium 66) Mid-level-ontology.kif 26586-26586

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