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 13796-13798
(domain atomicNumber 2 PositiveInteger) Merge.kif 13795-13795 原子数 的 2 数量 是 正整数instance
(domainSubclass atomicNumber 1 ElementalSubstance) Merge.kif 13794-13794 原子数 的 1 数量 是 元素物质subclass
(instance atomicNumber AsymmetricRelation) Merge.kif 13792-13792 原子数非对称关系instance
(instance atomicNumber BinaryPredicate) Merge.kif 13791-13791 原子数二元谓语instance
(instance atomicNumber PartialValuedRelation) Merge.kif 13793-13793 原子数部分值关系instance

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 13800-13812

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


(atomicNumber Actinium 89) Mid-level-ontology.kif 28798-28798 89 是 atomic 数字
(atomicNumber Aluminum 13) Mid-level-ontology.kif 27464-27464 13 是 atomic 数字
(atomicNumber Americium 95) Mid-level-ontology.kif 28904-28904 95 是 atomic 数字
(atomicNumber Antimony 51) Mid-level-ontology.kif 28098-28098 51 是 atomic 数字
(atomicNumber Argon 18) Mid-level-ontology.kif 27547-27547 18 是 atomic 数字
(atomicNumber Arsenic 33) Mid-level-ontology.kif 27795-27795 33 是 atomic 数字
(atomicNumber Astatine 85) Mid-level-ontology.kif 28731-28731 85 是 atomic 数字
(atomicNumber Barium 56) Mid-level-ontology.kif 28192-28192 56 是 atomic 数字
(atomicNumber Berkelium 97) Mid-level-ontology.kif 28938-28938 97 是 atomic 数字
(atomicNumber Beryllium 4) Mid-level-ontology.kif 27304-27304 4 是 atomic 数字
(atomicNumber Bismuth 83) Mid-level-ontology.kif 28696-28696 83 是 atomic 数字
(atomicNumber Boron 5) Mid-level-ontology.kif 27320-27320 5 是 atomic 数字
(atomicNumber Bromine 35) Mid-level-ontology.kif 27826-27826 35 是 atomic 数字
(atomicNumber Cadmium 48) Mid-level-ontology.kif 28050-28050 48 是 atomic 数字
(atomicNumber Caesium 55) Mid-level-ontology.kif 28166-28166 55 是 atomic 数字
(atomicNumber Calcium 20) Mid-level-ontology.kif 27578-27578 20 是 atomic 数字
(atomicNumber Californium 98) Mid-level-ontology.kif 28955-28955 98 是 atomic 数字
(atomicNumber Carbon 6) Mid-level-ontology.kif 27339-27339 6 是 atomic 数字
(atomicNumber Cerium 58) Mid-level-ontology.kif 28228-28228 58 是 atomic 数字
(atomicNumber Chlorine 17) Mid-level-ontology.kif 27530-27530 17 是 atomic 数字
(atomicNumber Chromium 24) Mid-level-ontology.kif 27652-27652 24 是 atomic 数字
(atomicNumber Cobalt 27) Mid-level-ontology.kif 27698-27698 27 是 atomic 数字
(atomicNumber Copper 29) Mid-level-ontology.kif 27729-27729 29 是 atomic 数字
(atomicNumber Curium 96) Mid-level-ontology.kif 28921-28921 96 是 atomic 数字
(atomicNumber Dysprosium 66) Mid-level-ontology.kif 28376-28376 66 是 atomic 数字

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