| appearance as argument number 1 |
|
| (documentation atomicNumber ChineseLanguage "(atomicNumber ?ELEMENT ?NUMBER)的意思是 ElementalSubstance ?ELEMENT 的原子数是 ?NUMBER。原子数是一个 Atom 核子内 Proton 的数目。") | Merge.kif 13704-13705 | |
| (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 13701-13703 | |
| (domain atomicNumber 2 PositiveInteger) | Merge.kif 13700-13700 | |
| (domainSubclass atomicNumber 1 ElementalSubstance) | Merge.kif 13699-13699 | |
| (instance atomicNumber AsymmetricRelation) | Merge.kif 13697-13697 | |
| (instance atomicNumber BinaryPredicate) | Merge.kif 13696-13696 | |
| (instance atomicNumber PartialValuedRelation) | Merge.kif 13698-13698 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage atomicNumber "%2 is %n an atomic number of %1") | domainEnglishFormat.kif 62-62 | |
| (termFormat EnglishLanguage atomicNumber "atomic number") | domainEnglishFormat.kif 1926-1926 |
| 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 13707-13719 |
| appearance as argument number 0 |
|
|
| (atomicNumber Actinium 89) | Mid-level-ontology.kif 26905-26905 | |
| (atomicNumber Aluminum 13) | Mid-level-ontology.kif 25647-25647 | |
| (atomicNumber Americium 95) | Mid-level-ontology.kif 27005-27005 | |
| (atomicNumber Antimony 51) | Mid-level-ontology.kif 26243-26243 | |
| (atomicNumber Argon 18) | Mid-level-ontology.kif 25725-25725 | |
| (atomicNumber Arsenic 33) | Mid-level-ontology.kif 25958-25958 | |
| (atomicNumber Astatine 85) | Mid-level-ontology.kif 26842-26842 | |
| (atomicNumber Barium 56) | Mid-level-ontology.kif 26332-26332 | |
| (atomicNumber Berkelium 97) | Mid-level-ontology.kif 27037-27037 | |
| (atomicNumber Beryllium 4) | Mid-level-ontology.kif 25496-25496 | |
| (atomicNumber Bismuth 83) | Mid-level-ontology.kif 26809-26809 | |
| (atomicNumber Boron 5) | Mid-level-ontology.kif 25511-25511 | |
| (atomicNumber Bromine 35) | Mid-level-ontology.kif 25987-25987 | |
| (atomicNumber Cadmium 48) | Mid-level-ontology.kif 26198-26198 | |
| (atomicNumber Caesium 55) | Mid-level-ontology.kif 26307-26307 | |
| (atomicNumber Calcium 20) | Mid-level-ontology.kif 25754-25754 | |
| (atomicNumber Californium 98) | Mid-level-ontology.kif 27053-27053 | |
| (atomicNumber Carbon 6) | Mid-level-ontology.kif 25529-25529 | |
| (atomicNumber Cerium 58) | Mid-level-ontology.kif 26366-26366 | |
| (atomicNumber Chlorine 17) | Mid-level-ontology.kif 25709-25709 | |
| (atomicNumber Chromium 24) | Mid-level-ontology.kif 25824-25824 | |
| (atomicNumber Cobalt 27) | Mid-level-ontology.kif 25867-25867 | |
| (atomicNumber Copper 29) | Mid-level-ontology.kif 25896-25896 | |
| (atomicNumber Curium 96) | Mid-level-ontology.kif 27021-27021 | |
| (atomicNumber Dysprosium 66) | Mid-level-ontology.kif 26506-26506 | |
| 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