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 的数目。") 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 13927-13929
(domain atomicNumber 2 PositiveInteger) Merge.kif 13926-13926 Le nombre 2 argument de atomicNumber est une instance de nombre entier positif
(domainSubclass atomicNumber 1 ElementalSubstance) Merge.kif 13925-13925 Le nombre 1 argument de atomicNumber est une sous-classe de substance �l�mentaire
(instance atomicNumber BinaryPredicate) Merge.kif 13923-13923 atomicNumber est une instance de pr�dicat binaire
(instance atomicNumber PartialValuedRelation) Merge.kif 13924-13924 atomicNumber est une instance de relation partielle

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 8947-8947
(termFormat ChineseTraditionalLanguage atomicNumber "原子數") domainEnglishFormat.kif 8946-8946
(termFormat EnglishLanguage atomicNumber "atomic number") domainEnglishFormat.kif 8945-8945

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 13931-13943

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


(atomicNumber Actinium 89) Mid-level-ontology.kif 30729-30729 atomicNumber Actinium and 89
(atomicNumber Aluminum 13) Mid-level-ontology.kif 29395-29395 atomicNumber Aluminum and 13
(atomicNumber Americium 95) Mid-level-ontology.kif 30835-30835 atomicNumber Americium and 95
(atomicNumber Antimony 51) Mid-level-ontology.kif 30029-30029 atomicNumber Antimony and 51
(atomicNumber Argon 18) Mid-level-ontology.kif 29478-29478 atomicNumber Argon and 18
(atomicNumber Arsenic 33) Mid-level-ontology.kif 29726-29726 atomicNumber Arsenic and 33
(atomicNumber Astatine 85) Mid-level-ontology.kif 30662-30662 atomicNumber Astatine and 85
(atomicNumber Barium 56) Mid-level-ontology.kif 30123-30123 atomicNumber Barium and 56
(atomicNumber Berkelium 97) Mid-level-ontology.kif 30869-30869 atomicNumber Berkelium and 97
(atomicNumber Beryllium 4) Mid-level-ontology.kif 29235-29235 atomicNumber Beryllium and 4
(atomicNumber Bismuth 83) Mid-level-ontology.kif 30627-30627 atomicNumber Bismuth and 83
(atomicNumber Boron 5) Mid-level-ontology.kif 29251-29251 atomicNumber Boron and 5
(atomicNumber Bromine 35) Mid-level-ontology.kif 29757-29757 atomicNumber Bromine and 35
(atomicNumber Cadmium 48) Mid-level-ontology.kif 29981-29981 atomicNumber Cadmium and 48
(atomicNumber Caesium 55) Mid-level-ontology.kif 30097-30097 atomicNumber Caesium and 55
(atomicNumber Calcium 20) Mid-level-ontology.kif 29509-29509 atomicNumber Calcium and 20
(atomicNumber Californium 98) Mid-level-ontology.kif 30886-30886 atomicNumber Californium and 98
(atomicNumber Carbon 6) Mid-level-ontology.kif 29270-29270 atomicNumber Carbon and 6
(atomicNumber Cerium 58) Mid-level-ontology.kif 30159-30159 atomicNumber Cerium and 58
(atomicNumber Chlorine 17) Mid-level-ontology.kif 29461-29461 atomicNumber Chlorine and 17
(atomicNumber Chromium 24) Mid-level-ontology.kif 29583-29583 atomicNumber Chromium and 24
(atomicNumber Cobalt 27) Mid-level-ontology.kif 29629-29629 atomicNumber Cobalt and 27
(atomicNumber Copper 29) Mid-level-ontology.kif 29660-29660 atomicNumber Copper and 29
(atomicNumber Curium 96) Mid-level-ontology.kif 30852-30852 atomicNumber Curium and 96
(atomicNumber Dysprosium 66) Mid-level-ontology.kif 30307-30307 atomicNumber Dysprosium and 66

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 3.0 is open source software produced by Articulate Software and its partners