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 13820-13822 | |
(domain atomicNumber 2 PositiveInteger) | Merge.kif 13819-13819 | 原子数 的 2 数量 是 正整数 的 instance |
(domainSubclass atomicNumber 1 ElementalSubstance) | Merge.kif 13818-13818 | 原子数 的 1 数量 是 元素物质 的 subclass |
(instance atomicNumber AsymmetricRelation) | Merge.kif 13816-13816 | 原子数 是 非对称关系 的 instance |
(instance atomicNumber BinaryPredicate) | Merge.kif 13815-13815 | 原子数 是 二元谓语 的 instance |
(instance atomicNumber PartialValuedRelation) | Merge.kif 13817-13817 | 原子数 是 部分值关系 的 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 13824-13836 |
appearance as argument number 0 |
(atomicNumber Actinium 89) | Mid-level-ontology.kif 28861-28861 | 89 是 锕 的 atomic 数字 |
(atomicNumber Aluminum 13) | Mid-level-ontology.kif 27527-27527 | 13 是 铝 的 atomic 数字 |
(atomicNumber Americium 95) | Mid-level-ontology.kif 28967-28967 | 95 是 銤 的 atomic 数字 |
(atomicNumber Antimony 51) | Mid-level-ontology.kif 28161-28161 | 51 是 锑 的 atomic 数字 |
(atomicNumber Argon 18) | Mid-level-ontology.kif 27610-27610 | 18 是 氩 的 atomic 数字 |
(atomicNumber Arsenic 33) | Mid-level-ontology.kif 27858-27858 | 33 是 砷 的 atomic 数字 |
(atomicNumber Astatine 85) | Mid-level-ontology.kif 28794-28794 | 85 是 砹 的 atomic 数字 |
(atomicNumber Barium 56) | Mid-level-ontology.kif 28255-28255 | 56 是 钡 的 atomic 数字 |
(atomicNumber Berkelium 97) | Mid-level-ontology.kif 29001-29001 | 97 是 锫 的 atomic 数字 |
(atomicNumber Beryllium 4) | Mid-level-ontology.kif 27367-27367 | 4 是 铍 的 atomic 数字 |
(atomicNumber Bismuth 83) | Mid-level-ontology.kif 28759-28759 | 83 是 铋 的 atomic 数字 |
(atomicNumber Boron 5) | Mid-level-ontology.kif 27383-27383 | 5 是 硼 的 atomic 数字 |
(atomicNumber Bromine 35) | Mid-level-ontology.kif 27889-27889 | 35 是 溴 的 atomic 数字 |
(atomicNumber Cadmium 48) | Mid-level-ontology.kif 28113-28113 | 48 是 镉 的 atomic 数字 |
(atomicNumber Caesium 55) | Mid-level-ontology.kif 28229-28229 | 55 是 铯 的 atomic 数字 |
(atomicNumber Calcium 20) | Mid-level-ontology.kif 27641-27641 | 20 是 钙 的 atomic 数字 |
(atomicNumber Californium 98) | Mid-level-ontology.kif 29018-29018 | 98 是 锎 的 atomic 数字 |
(atomicNumber Carbon 6) | Mid-level-ontology.kif 27402-27402 | 6 是 碳 的 atomic 数字 |
(atomicNumber Cerium 58) | Mid-level-ontology.kif 28291-28291 | 58 是 铈 的 atomic 数字 |
(atomicNumber Chlorine 17) | Mid-level-ontology.kif 27593-27593 | 17 是 氯 的 atomic 数字 |
(atomicNumber Chromium 24) | Mid-level-ontology.kif 27715-27715 | 24 是 铬 的 atomic 数字 |
(atomicNumber Cobalt 27) | Mid-level-ontology.kif 27761-27761 | 27 是 钴 的 atomic 数字 |
(atomicNumber Copper 29) | Mid-level-ontology.kif 27792-27792 | 29 是 铜 的 atomic 数字 |
(atomicNumber Curium 96) | Mid-level-ontology.kif 28984-28984 | 96 是 锔 的 atomic 数字 |
(atomicNumber Dysprosium 66) | Mid-level-ontology.kif 28439-28439 | 66 是 镝 的 atomic 数字 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |