| ElementalSubstance
| |
| appearance as argument number 1 |
|
|
| (documentation ElementalSubstance ChineseLanguage "这是PureSubstance Class，它是不能通 过普通的化学（或物理)手段分割成两个或以上 Substance。这不包括核反应。 ElementalSubstance 由单 一一个原子组成。例如：铁 (Fe)、 铜(Cu) 和氧 (O_2)。 ElementalSubstance 是最简单的 PureSubstance。") | Merge.kif 1688-1691 | |
| (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 1682-1686 | |
| (documentation ElementalSubstance JapaneseLanguage "PureSubstance の Class は、通常の 化学的手段によって2つ以上の Substances （または物理的）に分離されない。 これには核反応は含まれ ない。 ElementalSubstances は、1種類の原子のみで構成されている。例：鉄（Fe）、銅（Cu）、 および酸素（O_2）。 ElementalSubstances は最も単純な PureSubstance である。") | Merge.kif 1693-1696 | |
| (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.") | Merge.kif 1698-1702 | |
| (externalImage ElementalSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 84/ Periodic_table.svg") | pictureList.kif 1747-1747 | |
| (subclass ElementalSubstance PureSubstance) | Merge.kif 1680-1680 |
| appearance as argument number 2 |
|
|
| (subclass Actinium ElementalSubstance) | Mid-level-ontology.kif 26983-26983 | |
| (subclass Aluminum ElementalSubstance) | Mid-level-ontology.kif 25725-25725 | |
| (subclass Americium ElementalSubstance) | Mid-level-ontology.kif 27083-27083 | |
| (subclass Antimony ElementalSubstance) | Mid-level-ontology.kif 26321-26321 | |
| (subclass Argon ElementalSubstance) | Mid-level-ontology.kif 25803-25803 | |
| (subclass Arsenic ElementalSubstance) | Mid-level-ontology.kif 26036-26036 | |
| (subclass Astatine ElementalSubstance) | Mid-level-ontology.kif 26920-26920 | |
| (subclass Atom ElementalSubstance) | Merge.kif 1724-1724 | |
| (subclass Barium ElementalSubstance) | Mid-level-ontology.kif 26410-26410 | |
| (subclass Berkelium ElementalSubstance) | Mid-level-ontology.kif 27115-27115 | |
| (subclass Beryllium ElementalSubstance) | Mid-level-ontology.kif 25574-25574 | |
| (subclass Bismuth ElementalSubstance) | Mid-level-ontology.kif 26887-26887 | |
| (subclass Boron ElementalSubstance) | Mid-level-ontology.kif 25589-25589 | |
| (subclass Bromine ElementalSubstance) | Mid-level-ontology.kif 26065-26065 | |
| (subclass Cadmium ElementalSubstance) | Mid-level-ontology.kif 26276-26276 | |
| (subclass Caesium ElementalSubstance) | Mid-level-ontology.kif 26385-26385 | |
| (subclass Calcium ElementalSubstance) | Mid-level-ontology.kif 25832-25832 | |
| (subclass Californium ElementalSubstance) | Mid-level-ontology.kif 27131-27131 | |
| (subclass Carbon ElementalSubstance) | Mid-level-ontology.kif 25607-25607 | |
| (subclass Cerium ElementalSubstance) | Mid-level-ontology.kif 26444-26444 | |
| (subclass Chlorine ElementalSubstance) | Mid-level-ontology.kif 25787-25787 | |
| (subclass Chromium ElementalSubstance) | Mid-level-ontology.kif 25902-25902 | |
| (subclass Cobalt ElementalSubstance) | Mid-level-ontology.kif 25945-25945 | |
| (subclass Copper ElementalSubstance) | Mid-level-ontology.kif 25974-25974 | |
| (subclass Curium ElementalSubstance) | Mid-level-ontology.kif 27099-27099 | |
| 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 18129-18129 | |
| (domainSubclass molecularRatio 1 ElementalSubstance) | Cars.kif 1763-1763 | |
| (partition PureSubstance CompoundSubstance ElementalSubstance) | Merge.kif 1655-1655 |
| antecedent |
|
|
| (=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 CompoundSubstance) (instance ?SUBSTANCE2 ElementalSubstance)) (instance ?PROC ChemicalDecomposition)) |
Merge.kif 16839-16845 | |
| (=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 ElementalSubstance) (instance ?SUBSTANCE2 CompoundSubstance)) (instance ?PROC ChemicalSynthesis)) |
Merge.kif 16812-16818 |
| 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 16820-16830 |
|
|
|