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 |
![]() |
![]() |