| appearance as argument number 1 |
|
| 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 8946-8946 | |
| (termFormat ChineseTraditionalLanguage atomicNumber "原子數") | domainEnglishFormat.kif 8945-8945 | |
| (termFormat EnglishLanguage atomicNumber "atomic number") | domainEnglishFormat.kif 8944-8944 |
| 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 13824-13836 |
|
| appearance as argument number 0 |
|
|
| (atomicNumber Actinium 89) | Mid-level-ontology.kif 28861-28861 | 89 is an atomic number of actinium |
| (atomicNumber Aluminum 13) | Mid-level-ontology.kif 27527-27527 | 13 is an atomic number of aluminum |
| (atomicNumber Americium 95) | Mid-level-ontology.kif 28967-28967 | 95 is an atomic number of americium |
| (atomicNumber Antimony 51) | Mid-level-ontology.kif 28161-28161 | 51 is an atomic number of antimony |
| (atomicNumber Argon 18) | Mid-level-ontology.kif 27610-27610 | 18 is an atomic number of argon |
| (atomicNumber Arsenic 33) | Mid-level-ontology.kif 27858-27858 | 33 is an atomic number of arsenic |
| (atomicNumber Astatine 85) | Mid-level-ontology.kif 28794-28794 | 85 is an atomic number of astatine |
| (atomicNumber Barium 56) | Mid-level-ontology.kif 28255-28255 | 56 is an atomic number of barium |
| (atomicNumber Berkelium 97) | Mid-level-ontology.kif 29001-29001 | 97 is an atomic number of berkelium |
| (atomicNumber Beryllium 4) | Mid-level-ontology.kif 27367-27367 | 4 is an atomic number of beryllium |
| (atomicNumber Bismuth 83) | Mid-level-ontology.kif 28759-28759 | 83 is an atomic number of bismuth |
| (atomicNumber Boron 5) | Mid-level-ontology.kif 27383-27383 | 5 is an atomic number of boron |
| (atomicNumber Bromine 35) | Mid-level-ontology.kif 27889-27889 | 35 is an atomic number of bromine |
| (atomicNumber Cadmium 48) | Mid-level-ontology.kif 28113-28113 | 48 is an atomic number of cadmium |
| (atomicNumber Caesium 55) | Mid-level-ontology.kif 28229-28229 | 55 is an atomic number of caesium |
| (atomicNumber Calcium 20) | Mid-level-ontology.kif 27641-27641 | 20 is an atomic number of calcium |
| (atomicNumber Californium 98) | Mid-level-ontology.kif 29018-29018 | 98 is an atomic number of californium |
| (atomicNumber Carbon 6) | Mid-level-ontology.kif 27402-27402 | 6 is an atomic number of carbon |
| (atomicNumber Cerium 58) | Mid-level-ontology.kif 28291-28291 | 58 is an atomic number of cerium |
| (atomicNumber Chlorine 17) | Mid-level-ontology.kif 27593-27593 | 17 is an atomic number of chlorine |
| (atomicNumber Chromium 24) | Mid-level-ontology.kif 27715-27715 | 24 is an atomic number of chromium |
| (atomicNumber Cobalt 27) | Mid-level-ontology.kif 27761-27761 | 27 is an atomic number of cobalt |
| (atomicNumber Copper 29) | Mid-level-ontology.kif 27792-27792 | 29 is an atomic number of copper |
| (atomicNumber Curium 96) | Mid-level-ontology.kif 28984-28984 | 96 is an atomic number of curium |
| (atomicNumber Dysprosium 66) | Mid-level-ontology.kif 28439-28439 | 66 is an atomic number of dysprosium |
| 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