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 13912-13914 | |
(domain atomicNumber 2 PositiveInteger) | Merge.kif 13911-13911 | The number 2 argument of atomic number is an instance of positive integer |
(domainSubclass atomicNumber 1 ElementalSubstance) | Merge.kif 13910-13910 | The number 1 argument of atomic number is a subclass of elemental substance |
(instance atomicNumber BinaryPredicate) | Merge.kif 13908-13908 | atomic number is an instance of binary predicate |
(instance atomicNumber PartialValuedRelation) | Merge.kif 13909-13909 | atomic number is an instance of partial valued relation |
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 13916-13928 |
|
appearance as argument number 0 |
![]() |
(atomicNumber Actinium 89) | Mid-level-ontology.kif 30731-30731 | 89 is an atomic number of actinium |
(atomicNumber Aluminum 13) | Mid-level-ontology.kif 29397-29397 | 13 is an atomic number of aluminum |
(atomicNumber Americium 95) | Mid-level-ontology.kif 30837-30837 | 95 is an atomic number of americium |
(atomicNumber Antimony 51) | Mid-level-ontology.kif 30031-30031 | 51 is an atomic number of antimony |
(atomicNumber Argon 18) | Mid-level-ontology.kif 29480-29480 | 18 is an atomic number of argon |
(atomicNumber Arsenic 33) | Mid-level-ontology.kif 29728-29728 | 33 is an atomic number of arsenic |
(atomicNumber Astatine 85) | Mid-level-ontology.kif 30664-30664 | 85 is an atomic number of astatine |
(atomicNumber Barium 56) | Mid-level-ontology.kif 30125-30125 | 56 is an atomic number of barium |
(atomicNumber Berkelium 97) | Mid-level-ontology.kif 30871-30871 | 97 is an atomic number of berkelium |
(atomicNumber Beryllium 4) | Mid-level-ontology.kif 29237-29237 | 4 is an atomic number of beryllium |
(atomicNumber Bismuth 83) | Mid-level-ontology.kif 30629-30629 | 83 is an atomic number of bismuth |
(atomicNumber Boron 5) | Mid-level-ontology.kif 29253-29253 | 5 is an atomic number of boron |
(atomicNumber Bromine 35) | Mid-level-ontology.kif 29759-29759 | 35 is an atomic number of bromine |
(atomicNumber Cadmium 48) | Mid-level-ontology.kif 29983-29983 | 48 is an atomic number of cadmium |
(atomicNumber Caesium 55) | Mid-level-ontology.kif 30099-30099 | 55 is an atomic number of caesium |
(atomicNumber Calcium 20) | Mid-level-ontology.kif 29511-29511 | 20 is an atomic number of calcium |
(atomicNumber Californium 98) | Mid-level-ontology.kif 30888-30888 | 98 is an atomic number of californium |
(atomicNumber Carbon 6) | Mid-level-ontology.kif 29272-29272 | 6 is an atomic number of carbon |
(atomicNumber Cerium 58) | Mid-level-ontology.kif 30161-30161 | 58 is an atomic number of cerium |
(atomicNumber Chlorine 17) | Mid-level-ontology.kif 29463-29463 | 17 is an atomic number of chlorine |
(atomicNumber Chromium 24) | Mid-level-ontology.kif 29585-29585 | 24 is an atomic number of chromium |
(atomicNumber Cobalt 27) | Mid-level-ontology.kif 29631-29631 | 27 is an atomic number of cobalt |
(atomicNumber Copper 29) | Mid-level-ontology.kif 29662-29662 | 29 is an atomic number of copper |
(atomicNumber Curium 96) | Mid-level-ontology.kif 30854-30854 | 96 is an atomic number of curium |
(atomicNumber Dysprosium 66) | Mid-level-ontology.kif 30309-30309 | 66 is an atomic number of dysprosium |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |