| appearance as argument number 1 |
|
| (documentation atomicNumber ChineseLanguage "(atomicNumber ?ELEMENT ?NUMBER)的意思是 ElementalSubstance ?ELEMENT 的原子数是 ?NUMBER。原子数是一个 Atom 核子内 Proton 的数目。") | Merge.kif 18134-18135 | |
| (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 18131-18133 | |
| (domain atomicNumber 2 PositiveInteger) | Merge.kif 18130-18130 | |
| (domainSubclass atomicNumber 1 ElementalSubstance) | Merge.kif 18129-18129 | |
| (instance atomicNumber AsymmetricRelation) | Merge.kif 18127-18127 | |
| (instance atomicNumber BinaryPredicate) | Merge.kif 18126-18126 | |
| (instance atomicNumber PartialValuedRelation) | Merge.kif 18128-18128 |
| 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 8959-8959 | |
| (termFormat ChineseTraditionalLanguage atomicNumber "原子數") | domainEnglishFormat.kif 8958-8958 | |
| (termFormat EnglishLanguage atomicNumber "atomic number") | domainEnglishFormat.kif 8957-8957 |
| 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 18137-18149 |
| appearance as argument number 0 |
|
|
| (atomicNumber Actinium 89) | Mid-level-ontology.kif 26986-26986 | |
| (atomicNumber Aluminum 13) | Mid-level-ontology.kif 25728-25728 | |
| (atomicNumber Americium 95) | Mid-level-ontology.kif 27086-27086 | |
| (atomicNumber Antimony 51) | Mid-level-ontology.kif 26324-26324 | |
| (atomicNumber Argon 18) | Mid-level-ontology.kif 25806-25806 | |
| (atomicNumber Arsenic 33) | Mid-level-ontology.kif 26039-26039 | |
| (atomicNumber Astatine 85) | Mid-level-ontology.kif 26923-26923 | |
| (atomicNumber Barium 56) | Mid-level-ontology.kif 26413-26413 | |
| (atomicNumber Berkelium 97) | Mid-level-ontology.kif 27118-27118 | |
| (atomicNumber Beryllium 4) | Mid-level-ontology.kif 25577-25577 | |
| (atomicNumber Bismuth 83) | Mid-level-ontology.kif 26890-26890 | |
| (atomicNumber Boron 5) | Mid-level-ontology.kif 25592-25592 | |
| (atomicNumber Bromine 35) | Mid-level-ontology.kif 26068-26068 | |
| (atomicNumber Cadmium 48) | Mid-level-ontology.kif 26279-26279 | |
| (atomicNumber Caesium 55) | Mid-level-ontology.kif 26388-26388 | |
| (atomicNumber Calcium 20) | Mid-level-ontology.kif 25835-25835 | |
| (atomicNumber Californium 98) | Mid-level-ontology.kif 27134-27134 | |
| (atomicNumber Carbon 6) | Mid-level-ontology.kif 25610-25610 | |
| (atomicNumber Cerium 58) | Mid-level-ontology.kif 26447-26447 | |
| (atomicNumber Chlorine 17) | Mid-level-ontology.kif 25790-25790 | |
| (atomicNumber Chromium 24) | Mid-level-ontology.kif 25905-25905 | |
| (atomicNumber Cobalt 27) | Mid-level-ontology.kif 25948-25948 | |
| (atomicNumber Copper 29) | Mid-level-ontology.kif 25977-25977 | |
| (atomicNumber Curium 96) | Mid-level-ontology.kif 27102-27102 | |
| (atomicNumber Dysprosium 66) | Mid-level-ontology.kif 26587-26587 | |
| 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners