| 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 1019-1023 | |
| (externalImage ElementalSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 84/ Periodic_table.svg") | pictureList.kif 1747-1747 | externalImage ElementalSubstance and "http://upload.wikimedia.org/wikipedia/commons/8/84/ Periodic_table.svg" |
| (subclass ElementalSubstance PureSubstance) | Merge.kif 1017-1017 | subclass ElementalSubstance and PureSubstance |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass atomicNumber 1 ElementalSubstance) | Merge.kif 12640-12640 | domainSubclass atomicNumber, 1 and ElementalSubstance |
| (domainSubclass molecularRatio 1 ElementalSubstance) | Cars.kif 1763-1763 | domainSubclass molecularRatio, 1 and ElementalSubstance |
| (partition PureSubstance CompoundSubstance ElementalSubstance) | Merge.kif 1009-1009 | partition PureSubstance, CompoundSubstance and ElementalSubstance |
| antecedent |
|
|
| (=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 CompoundSubstance) (instance ?SUBSTANCE2 ElementalSubstance)) (instance ?PROC ChemicalDecomposition)) |
Merge.kif 11515-11521 | |
| (=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 ElementalSubstance) (instance ?SUBSTANCE2 CompoundSubstance)) (instance ?PROC ChemicalSynthesis)) |
Merge.kif 11490-11496 |
|
| 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 11498-11508 | instance Entity and CompoundSubstance Object Object and Process instance Object and ElementalSubstance instance Object and ElementalSubstance equal Object and Object instance Process and ChemicalSynthesis resource Process and Object resource Process and Object result Process and Entity |
|
|
|