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 12642-12644
(domain atomicNumber 2 PositiveInteger) Merge.kif 12641-12641 domain atomicNumber, 2 and PositiveInteger
(domainSubclass atomicNumber 1 ElementalSubstance) Merge.kif 12640-12640 domainSubclass atomicNumber, 1 and ElementalSubstance
(instance atomicNumber AsymmetricRelation) Merge.kif 12638-12638 instance atomicNumber and AsymmetricRelation
(instance atomicNumber BinaryPredicate) Merge.kif 12637-12637 instance atomicNumber and BinaryPredicate
(instance atomicNumber PartialValuedRelation) Merge.kif 12639-12639 instance atomicNumber and PartialValuedRelation

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 8959-8959 termFormat ChineseLanguage, atomicNumber and "原子数"
(termFormat ChineseTraditionalLanguage atomicNumber "原子數") domainEnglishFormat.kif 8958-8958 termFormat ChineseTraditionalLanguage, atomicNumber and "原子數"
(termFormat EnglishLanguage atomicNumber "atomic number") domainEnglishFormat.kif 8957-8957 termFormat EnglishLanguage, atomicNumber and "atomic number"

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 12646-12658

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


(atomicNumber Actinium 89) Mid-level-ontology.kif 26978-26978 atomicNumber Actinium and 89
(atomicNumber Aluminum 13) Mid-level-ontology.kif 25720-25720 atomicNumber Aluminum and 13
(atomicNumber Americium 95) Mid-level-ontology.kif 27078-27078 atomicNumber Americium and 95
(atomicNumber Antimony 51) Mid-level-ontology.kif 26316-26316 atomicNumber Antimony and 51
(atomicNumber Argon 18) Mid-level-ontology.kif 25798-25798 atomicNumber Argon and 18
(atomicNumber Arsenic 33) Mid-level-ontology.kif 26031-26031 atomicNumber Arsenic and 33
(atomicNumber Astatine 85) Mid-level-ontology.kif 26915-26915 atomicNumber Astatine and 85
(atomicNumber Barium 56) Mid-level-ontology.kif 26405-26405 atomicNumber Barium and 56
(atomicNumber Berkelium 97) Mid-level-ontology.kif 27110-27110 atomicNumber Berkelium and 97
(atomicNumber Beryllium 4) Mid-level-ontology.kif 25569-25569 atomicNumber Beryllium and 4
(atomicNumber Bismuth 83) Mid-level-ontology.kif 26882-26882 atomicNumber Bismuth and 83
(atomicNumber Boron 5) Mid-level-ontology.kif 25584-25584 atomicNumber Boron and 5
(atomicNumber Bromine 35) Mid-level-ontology.kif 26060-26060 atomicNumber Bromine and 35
(atomicNumber Cadmium 48) Mid-level-ontology.kif 26271-26271 atomicNumber Cadmium and 48
(atomicNumber Caesium 55) Mid-level-ontology.kif 26380-26380 atomicNumber Caesium and 55
(atomicNumber Calcium 20) Mid-level-ontology.kif 25827-25827 atomicNumber Calcium and 20
(atomicNumber Californium 98) Mid-level-ontology.kif 27126-27126 atomicNumber Californium and 98
(atomicNumber Carbon 6) Mid-level-ontology.kif 25602-25602 atomicNumber Carbon and 6
(atomicNumber Cerium 58) Mid-level-ontology.kif 26439-26439 atomicNumber Cerium and 58
(atomicNumber Chlorine 17) Mid-level-ontology.kif 25782-25782 atomicNumber Chlorine and 17
(atomicNumber Chromium 24) Mid-level-ontology.kif 25897-25897 atomicNumber Chromium and 24
(atomicNumber Cobalt 27) Mid-level-ontology.kif 25940-25940 atomicNumber Cobalt and 27
(atomicNumber Copper 29) Mid-level-ontology.kif 25969-25969 atomicNumber Copper and 29
(atomicNumber Curium 96) Mid-level-ontology.kif 27094-27094 atomicNumber Curium and 96
(atomicNumber Dysprosium 66) Mid-level-ontology.kif 26579-26579 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners