FreshWater
|
|
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 1095-1099 | |
(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 1746-1746 | |
(subclass ElementalSubstance PureSubstance) | Merge.kif 1093-1093 | 単体 は 純物質 の subclass では %n |
appearance as argument number 2 |
(subclass Actinium ElementalSubstance) | Mid-level-ontology.kif 28795-28795 | Actinium は 単体 の subclass では %n |
(subclass Aluminum ElementalSubstance) | Mid-level-ontology.kif 27461-27461 | Aluminum は 単体 の subclass では %n |
(subclass Americium ElementalSubstance) | Mid-level-ontology.kif 28901-28901 | Americium は 単体 の subclass では %n |
(subclass Antimony ElementalSubstance) | Mid-level-ontology.kif 28095-28095 | Antimony は 単体 の subclass では %n |
(subclass Argon ElementalSubstance) | Mid-level-ontology.kif 27544-27544 | Argon は 単体 の subclass では %n |
(subclass Arsenic ElementalSubstance) | Mid-level-ontology.kif 27792-27792 | Arsenic は 単体 の subclass では %n |
(subclass Astatine ElementalSubstance) | Mid-level-ontology.kif 28728-28728 | Astatine は 単体 の subclass では %n |
(subclass Atom ElementalSubstance) | Merge.kif 1108-1108 | 原子 は 単体 の subclass では %n |
(subclass Barium ElementalSubstance) | Mid-level-ontology.kif 28189-28189 | Barium は 単体 の subclass では %n |
(subclass Berkelium ElementalSubstance) | Mid-level-ontology.kif 28935-28935 | Berkelium は 単体 の subclass では %n |
(subclass Beryllium ElementalSubstance) | Mid-level-ontology.kif 27301-27301 | Beryllium は 単体 の subclass では %n |
(subclass Bismuth ElementalSubstance) | Mid-level-ontology.kif 28693-28693 | Bismuth は 単体 の subclass では %n |
(subclass Boron ElementalSubstance) | Mid-level-ontology.kif 27317-27317 | Boron は 単体 の subclass では %n |
(subclass Bromine ElementalSubstance) | Mid-level-ontology.kif 27823-27823 | Bromine は 単体 の subclass では %n |
(subclass Cadmium ElementalSubstance) | Mid-level-ontology.kif 28047-28047 | Cadmium は 単体 の subclass では %n |
(subclass Caesium ElementalSubstance) | Mid-level-ontology.kif 28163-28163 | Caesium は 単体 の subclass では %n |
(subclass Calcium ElementalSubstance) | Mid-level-ontology.kif 27575-27575 | Calcium は 単体 の subclass では %n |
(subclass Californium ElementalSubstance) | Mid-level-ontology.kif 28952-28952 | Californium は 単体 の subclass では %n |
(subclass Carbon ElementalSubstance) | Mid-level-ontology.kif 27336-27336 | Carbon は 単体 の subclass では %n |
(subclass Cerium ElementalSubstance) | Mid-level-ontology.kif 28225-28225 | Cerium は 単体 の subclass では %n |
(subclass Chlorine ElementalSubstance) | Mid-level-ontology.kif 27527-27527 | Chlorine は 単体 の subclass では %n |
(subclass Chromium ElementalSubstance) | Mid-level-ontology.kif 27649-27649 | Chromium は 単体 の subclass では %n |
(subclass Cobalt ElementalSubstance) | Mid-level-ontology.kif 27695-27695 | Cobalt は 単体 の subclass では %n |
(subclass Copper ElementalSubstance) | Mid-level-ontology.kif 27726-27726 | Copper は 単体 の subclass では %n |
(subclass Curium ElementalSubstance) | Mid-level-ontology.kif 28918-28918 | Curium は 単体 の subclass では %n |
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 13794-13794 | atomicNumber の数値 1 引数は 単体 のsubclass では %n |
(domainSubclass molecularRatio 1 ElementalSubstance) | Cars.kif 1774-1774 | molecularRatio の数値 1 引数は 単体 のsubclass では %n |
(partition PureSubstance CompoundSubstance ElementalSubstance) | Merge.kif 1085-1085 | 純物質 は 合成物質 + 単体 に exhaustively partitioned %n |
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 12569-12578 | |
(=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 CompoundSubstance) (instance ?SUBSTANCE2 ElementalSubstance)) (instance ?PROC ChemicalDecomposition)) |
Merge.kif 12585-12591 | |
(=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 ElementalSubstance) (instance ?SUBSTANCE2 CompoundSubstance)) (instance ?PROC ChemicalSynthesis)) |
Merge.kif 12549-12555 |
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 12557-12567 |