| 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 1014-1018 | |
| (externalImage ElementalSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 84/ Periodic_table.svg") | pictureList.kif 1747-1747 | |
| (subclass ElementalSubstance PureSubstance) | Merge.kif 1012-1012 |
| appearance as argument number 2 |
|
|
| (subclass Actinium ElementalSubstance) | Mid-level-ontology.kif 26987-26987 | |
| (subclass Aluminum ElementalSubstance) | Mid-level-ontology.kif 25729-25729 | |
| (subclass Americium ElementalSubstance) | Mid-level-ontology.kif 27087-27087 | |
| (subclass Antimony ElementalSubstance) | Mid-level-ontology.kif 26325-26325 | |
| (subclass Argon ElementalSubstance) | Mid-level-ontology.kif 25807-25807 | |
| (subclass Arsenic ElementalSubstance) | Mid-level-ontology.kif 26040-26040 | |
| (subclass Astatine ElementalSubstance) | Mid-level-ontology.kif 26924-26924 | |
| (subclass Atom ElementalSubstance) | Merge.kif 1027-1027 | |
| (subclass Barium ElementalSubstance) | Mid-level-ontology.kif 26414-26414 | |
| (subclass Berkelium ElementalSubstance) | Mid-level-ontology.kif 27119-27119 | |
| (subclass Beryllium ElementalSubstance) | Mid-level-ontology.kif 25578-25578 | |
| (subclass Bismuth ElementalSubstance) | Mid-level-ontology.kif 26891-26891 | |
| (subclass Boron ElementalSubstance) | Mid-level-ontology.kif 25593-25593 | |
| (subclass Bromine ElementalSubstance) | Mid-level-ontology.kif 26069-26069 | |
| (subclass Cadmium ElementalSubstance) | Mid-level-ontology.kif 26280-26280 | |
| (subclass Caesium ElementalSubstance) | Mid-level-ontology.kif 26389-26389 | |
| (subclass Calcium ElementalSubstance) | Mid-level-ontology.kif 25836-25836 | |
| (subclass Californium ElementalSubstance) | Mid-level-ontology.kif 27135-27135 | |
| (subclass Carbon ElementalSubstance) | Mid-level-ontology.kif 25611-25611 | |
| (subclass Cerium ElementalSubstance) | Mid-level-ontology.kif 26448-26448 | |
| (subclass Chlorine ElementalSubstance) | Mid-level-ontology.kif 25791-25791 | |
| (subclass Chromium ElementalSubstance) | Mid-level-ontology.kif 25906-25906 | |
| (subclass Cobalt ElementalSubstance) | Mid-level-ontology.kif 25949-25949 | |
| (subclass Copper ElementalSubstance) | Mid-level-ontology.kif 25978-25978 | |
| (subclass Curium ElementalSubstance) | Mid-level-ontology.kif 27103-27103 | |
| 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 12731-12731 | |
| (domainSubclass molecularRatio 1 ElementalSubstance) | Cars.kif 1764-1764 | |
| (partition PureSubstance CompoundSubstance ElementalSubstance) | Merge.kif 1004-1004 |
| antecedent |
|
|
| (=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 CompoundSubstance) (instance ?SUBSTANCE2 ElementalSubstance)) (instance ?PROC ChemicalDecomposition)) |
Merge.kif 11606-11612 | |
| (=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 ElementalSubstance) (instance ?SUBSTANCE2 CompoundSubstance)) (instance ?PROC ChemicalSynthesis)) |
Merge.kif 11581-11587 |
| 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 11589-11599 |
|
|
|