| 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 1016-1020 | |
| (externalImage ElementalSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 84/ Periodic_table.svg") | pictureList.kif 1747-1747 | |
| (subclass ElementalSubstance PureSubstance) | Merge.kif 1014-1014 |
| appearance as argument number 2 |
|
|
| (subclass Actinium ElementalSubstance) | Mid-level-ontology.kif 25023-25023 | |
| (subclass Aluminum ElementalSubstance) | Mid-level-ontology.kif 23689-23689 | |
| (subclass Americium ElementalSubstance) | Mid-level-ontology.kif 25129-25129 | |
| (subclass Antimony ElementalSubstance) | Mid-level-ontology.kif 24323-24323 | |
| (subclass Argon ElementalSubstance) | Mid-level-ontology.kif 23772-23772 | |
| (subclass Arsenic ElementalSubstance) | Mid-level-ontology.kif 24020-24020 | |
| (subclass Astatine ElementalSubstance) | Mid-level-ontology.kif 24956-24956 | |
| (subclass Atom ElementalSubstance) | Merge.kif 1029-1029 | |
| (subclass Barium ElementalSubstance) | Mid-level-ontology.kif 24417-24417 | |
| (subclass Berkelium ElementalSubstance) | Mid-level-ontology.kif 25163-25163 | |
| (subclass Beryllium ElementalSubstance) | Mid-level-ontology.kif 23529-23529 | |
| (subclass Bismuth ElementalSubstance) | Mid-level-ontology.kif 24921-24921 | |
| (subclass Boron ElementalSubstance) | Mid-level-ontology.kif 23545-23545 | |
| (subclass Bromine ElementalSubstance) | Mid-level-ontology.kif 24051-24051 | |
| (subclass Cadmium ElementalSubstance) | Mid-level-ontology.kif 24275-24275 | |
| (subclass Caesium ElementalSubstance) | Mid-level-ontology.kif 24391-24391 | |
| (subclass Calcium ElementalSubstance) | Mid-level-ontology.kif 23803-23803 | |
| (subclass Californium ElementalSubstance) | Mid-level-ontology.kif 25180-25180 | |
| (subclass Carbon ElementalSubstance) | Mid-level-ontology.kif 23564-23564 | |
| (subclass Cerium ElementalSubstance) | Mid-level-ontology.kif 24453-24453 | |
| (subclass Chlorine ElementalSubstance) | Mid-level-ontology.kif 23755-23755 | |
| (subclass Chromium ElementalSubstance) | Mid-level-ontology.kif 23877-23877 | |
| (subclass Cobalt ElementalSubstance) | Mid-level-ontology.kif 23923-23923 | |
| (subclass Copper ElementalSubstance) | Mid-level-ontology.kif 23954-23954 | |
| (subclass Curium ElementalSubstance) | Mid-level-ontology.kif 25146-25146 | |
| 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 12793-12793 | |
| (domainSubclass molecularRatio 1 ElementalSubstance) | Cars.kif 1782-1782 | |
| (partition PureSubstance CompoundSubstance ElementalSubstance) | Merge.kif 1006-1006 |
| antecedent |
|
|
| (=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 CompoundSubstance) (instance ?SUBSTANCE2 ElementalSubstance)) (instance ?PROC ChemicalDecomposition)) |
Merge.kif 11671-11677 | |
| (=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 ElementalSubstance) (instance ?SUBSTANCE2 CompoundSubstance)) (instance ?PROC ChemicalSynthesis)) |
Merge.kif 11646-11652 |
| 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 11654-11664 |
|
|
|