| ElementalSubstance(単体)
| |
| 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 1090-1094 | |
| (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 1088-1088 | 単体 は 純物質 の subclass では |
| appearance as argument number 2 |
|
|
| (subclass Actinium ElementalSubstance) | Mid-level-ontology.kif 30728-30728 | Actinium は 単体 の subclass では |
| (subclass Aluminum ElementalSubstance) | Mid-level-ontology.kif 29394-29394 | Aluminum は 単体 の subclass では |
| (subclass Americium ElementalSubstance) | Mid-level-ontology.kif 30834-30834 | Americium は 単体 の subclass では |
| (subclass Antimony ElementalSubstance) | Mid-level-ontology.kif 30028-30028 | Antimony は 単体 の subclass では |
| (subclass Argon ElementalSubstance) | Mid-level-ontology.kif 29477-29477 | Argon は 単体 の subclass では |
| (subclass Arsenic ElementalSubstance) | Mid-level-ontology.kif 29725-29725 | Arsenic は 単体 の subclass では |
| (subclass Astatine ElementalSubstance) | Mid-level-ontology.kif 30661-30661 | Astatine は 単体 の subclass では |
| (subclass Atom ElementalSubstance) | Merge.kif 1103-1103 | 原子 は 単体 の subclass では |
| (subclass Barium ElementalSubstance) | Mid-level-ontology.kif 30122-30122 | Barium は 単体 の subclass では |
| (subclass Berkelium ElementalSubstance) | Mid-level-ontology.kif 30868-30868 | Berkelium は 単体 の subclass では |
| (subclass Beryllium ElementalSubstance) | Mid-level-ontology.kif 29234-29234 | Beryllium は 単体 の subclass では |
| (subclass Bismuth ElementalSubstance) | Mid-level-ontology.kif 30626-30626 | Bismuth は 単体 の subclass では |
| (subclass Boron ElementalSubstance) | Mid-level-ontology.kif 29250-29250 | Boron は 単体 の subclass では |
| (subclass Bromine ElementalSubstance) | Mid-level-ontology.kif 29756-29756 | Bromine は 単体 の subclass では |
| (subclass Cadmium ElementalSubstance) | Mid-level-ontology.kif 29980-29980 | Cadmium は 単体 の subclass では |
| (subclass Caesium ElementalSubstance) | Mid-level-ontology.kif 30096-30096 | Caesium は 単体 の subclass では |
| (subclass Calcium ElementalSubstance) | Mid-level-ontology.kif 29508-29508 | Calcium は 単体 の subclass では |
| (subclass Californium ElementalSubstance) | Mid-level-ontology.kif 30885-30885 | Californium は 単体 の subclass では |
| (subclass Carbon ElementalSubstance) | Mid-level-ontology.kif 29269-29269 | Carbon は 単体 の subclass では |
| (subclass Cerium ElementalSubstance) | Mid-level-ontology.kif 30158-30158 | Cerium は 単体 の subclass では |
| (subclass Chlorine ElementalSubstance) | Mid-level-ontology.kif 29460-29460 | Chlorine は 単体 の subclass では |
| (subclass Chromium ElementalSubstance) | Mid-level-ontology.kif 29582-29582 | Chromium は 単体 の subclass では |
| (subclass Cobalt ElementalSubstance) | Mid-level-ontology.kif 29628-29628 | Cobalt は 単体 の subclass では |
| (subclass Copper ElementalSubstance) | Mid-level-ontology.kif 29659-29659 | Copper は 単体 の subclass では |
| (subclass Curium ElementalSubstance) | Mid-level-ontology.kif 30851-30851 | Curium は 単体 の subclass では |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| (domainSubclass atomicNumber 1 ElementalSubstance) | Merge.kif 13910-13910 | atomicNumber の数値 1 引数は 単体 のsubclass では |
| (domainSubclass molecularRatio 1 ElementalSubstance) | Mid-level-ontology.kif 23352-23352 | molecularRatio の数値 1 引数は 単体 のsubclass では |
| (partition PureSubstance CompoundSubstance ElementalSubstance) | Merge.kif 1080-1080 | 純物質 は 合成物質 + 単体 に exhaustively partitioned |
| antecedent |
|
|
| (=> (and (instance ?ELEMENT1 ElementalSubstance) (instance ?ELEMENT2 ElementalSubstance) (not (equal ?ELEMENT1 ?ELEMENT2)) (instance ?PROCESS ChemicalSynthesis) (resource ?PROCESS ?ELEMENT1) (resource ?PROCESS ?ELEMENT2) (result ?PROCESS ?COMPOUND)) (instance ?COMPOUND CompoundSubstance)) |
Merge.kif 12686-12695 | |
| (=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 CompoundSubstance) (instance ?SUBSTANCE2 ElementalSubstance)) (instance ?PROC ChemicalDecomposition)) |
Merge.kif 12702-12708 | |
| (=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 ElementalSubstance) (instance ?SUBSTANCE2 CompoundSubstance)) (instance ?PROC ChemicalSynthesis)) |
Merge.kif 12666-12672 |
| 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 12674-12684 |
|
|
|