| 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 | 域 原子數, 2 and PositiveInteger |
| (domainSubclass atomicNumber 1 ElementalSubstance) | Merge.kif 13925-13925 | 域子類 原子數, 1 and ElementalSubstance |
| (instance atomicNumber BinaryPredicate) | Merge.kif 13923-13923 | 例 原子數 and BinaryPredicate |
| (instance atomicNumber PartialValuedRelation) | Merge.kif 13924-13924 | 例 原子數 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 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 | 89 是 錒 的 atomic 數字 |
| (atomicNumber Aluminum 13) | Mid-level-ontology.kif 29395-29395 | 13 是 鋁 的 atomic 數字 |
| (atomicNumber Americium 95) | Mid-level-ontology.kif 30835-30835 | 95 是 銤 的 atomic 數字 |
| (atomicNumber Antimony 51) | Mid-level-ontology.kif 30029-30029 | 51 是 銻 的 atomic 數字 |
| (atomicNumber Argon 18) | Mid-level-ontology.kif 29478-29478 | 18 是 氬 的 atomic 數字 |
| (atomicNumber Arsenic 33) | Mid-level-ontology.kif 29726-29726 | 33 是 砷 的 atomic 數字 |
| (atomicNumber Astatine 85) | Mid-level-ontology.kif 30662-30662 | 85 是 砹 的 atomic 數字 |
| (atomicNumber Barium 56) | Mid-level-ontology.kif 30123-30123 | 56 是 鋇 的 atomic 數字 |
| (atomicNumber Berkelium 97) | Mid-level-ontology.kif 30869-30869 | 97 是 锫 的 atomic 數字 |
| (atomicNumber Beryllium 4) | Mid-level-ontology.kif 29235-29235 | 4 是 鈹 的 atomic 數字 |
| (atomicNumber Bismuth 83) | Mid-level-ontology.kif 30627-30627 | 83 是 鉍 的 atomic 數字 |
| (atomicNumber Boron 5) | Mid-level-ontology.kif 29251-29251 | 5 是 硼 的 atomic 數字 |
| (atomicNumber Bromine 35) | Mid-level-ontology.kif 29757-29757 | 35 是 溴 的 atomic 數字 |
| (atomicNumber Cadmium 48) | Mid-level-ontology.kif 29981-29981 | 48 是 鎘 的 atomic 數字 |
| (atomicNumber Caesium 55) | Mid-level-ontology.kif 30097-30097 | 55 是 銫 的 atomic 數字 |
| (atomicNumber Calcium 20) | Mid-level-ontology.kif 29509-29509 | 20 是 鈣 的 atomic 數字 |
| (atomicNumber Californium 98) | Mid-level-ontology.kif 30886-30886 | 98 是 锎 的 atomic 數字 |
| (atomicNumber Carbon 6) | Mid-level-ontology.kif 29270-29270 | 6 是 碳 的 atomic 數字 |
| (atomicNumber Cerium 58) | Mid-level-ontology.kif 30159-30159 | 58 是 鈰 的 atomic 數字 |
| (atomicNumber Chlorine 17) | Mid-level-ontology.kif 29461-29461 | 17 是 氯 的 atomic 數字 |
| (atomicNumber Chromium 24) | Mid-level-ontology.kif 29583-29583 | 24 是 鉻 的 atomic 數字 |
| (atomicNumber Cobalt 27) | Mid-level-ontology.kif 29629-29629 | 27 是 鈷 的 atomic 數字 |
| (atomicNumber Copper 29) | Mid-level-ontology.kif 29660-29660 | 29 是 銅 的 atomic 數字 |
| (atomicNumber Curium 96) | Mid-level-ontology.kif 30852-30852 | 96 是 鋦 的 atomic 數字 |
| (atomicNumber Dysprosium 66) | Mid-level-ontology.kif 30307-30307 | 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