| ElementalSubstance(elemental substance)
| | Bh, Db, Ds, Hs, LOX, Mt, Rf, Rg, Sg, Unq, Uub, Uuh, Uup, Uuq, Uut, actinide_series, activated_carbon, activated_charcoal, acyl, acyl_group, alcohol_group, alcohol_radical, aldehyde_group, aldehyde_radical, allotrope, allotropic, allotropical, allotropism, allotropy, alpha_iron, aluminous, amino, amino_group, amyl, antimonic, antimonious, argonon, atomic_number_104, atomic_number_105, atomic_number_106, atomic_number_107, atomic_number_108, atomic_number_109, atomic_number_110, atomic_number_111, atomic_number_112, atomic_number_113, atomic_number_114, atomic_number_115, atomic_number_116... |
| appearance as argument number 1 |
|
|
| (documentation ElementalSubstance ChineseLanguage "这是PureSubstance Class，它是不能通 过普通的化学（或物理)手段分割成两个或以上 Substance。这不包括核反应。 ElementalSubstance 由单 一一个原子组成。例如：铁 (Fe)、 铜(Cu) 和氧 (O_2)。 ElementalSubstance 是最简单的 PureSubstance。") | chinese_format.kif 1599-1602 | |
| (documentation ElementalSubstance EnglishLanguage "The Class of PureSubstances that cannot be separated into two or more Substances by ordinary chemical (or physical) means. This excludes nuclear reactions. ElementalSubstances are composed of only one kind of atom. Examples: Iron (Fe), copper (Cu), and oxygen (O_2). ElementalSubstances are the simplest PureSubstances.") | Merge.kif 1105-1109 | |
| (documentation ElementalSubstance JapaneseLanguage "PureSubstance の Class は、通常の 化学的手段によって2つ以上の Substances （または物理的）に分離されない。 これには核反応は含まれ ない。 ElementalSubstances は、1種類の原子のみで構成されている。例：鉄（Fe）、銅（Cu）、 および酸素（O_2）。 ElementalSubstances は最も単純な PureSubstance である。") | japanese_format.kif 178-181 | |
| (documentation ElementalSubstance SpanishLanguage "La Class de PureSubstances que no puede ser separable en dos o más Substances por medios químicos o físicos. Se excluyen los procesos nucleares. ElementalSubstances son compuestos de sólo un tipo de átomo. Por ejemplo, hierro (Fe), cobre (Cu) y oxígeno n (O_2). Las ElementalSubstances son la más sencillas de PureSubstances.") | spanish_format.kif 211-215 | |
| (externalImage ElementalSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 84/ Periodic_table.svg") | pictureList.kif 1745-1745 | |
| (subclass ElementalSubstance PureSubstance) | Merge.kif 1103-1103 | Elemental substance is a subclass of pure substance |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass atomicNumber 1 ElementalSubstance) | Merge.kif 13922-13922 | The number 1 argument of atomic number is a subclass of elemental substance |
| (domainSubclass molecularRatio 1 ElementalSubstance) | Mid-level-ontology.kif 23340-23340 | The number 1 argument of molecular ratio is a subclass of elemental substance |
| (partition PureSubstance CompoundSubstance ElementalSubstance) | Merge.kif 1095-1095 | Pure substance is exhaustively partitioned into compound substance and elemental substance |
| antecedent |
|
|
| consequent |
|
|
| (=> (instance ?COMPOUND CompoundSubstance) (exists (?ELEMENT1 ?ELEMENT2 ?PROCESS) (and (instance ?ELEMENT1 ElementalSubstance) (instance ?ELEMENT2 ElementalSubstance) (not (equal ?ELEMENT1 ?ELEMENT2)) (instance ?PROCESS ChemicalSynthesis) (resource ?PROCESS ?ELEMENT1) (resource ?PROCESS ?ELEMENT2) (result ?PROCESS ?COMPOUND)))) |
Merge.kif 12686-12696 |
|
|
|
|