| ElementalSubstance(elemental substance)
| | Bh, Db, Ds, Hs, LOX, Mt, Rf, Rg, Sg, Unq, Uub, Uuh, Uup, Uuq, Uut, actinide_series, activated_carbon, activated_charcoal, acyl, acyl_group, alcohol_group, alcohol_radical, aldehyde_group, aldehyde_radical, allotrope, allotropic, allotropical, allotropism, allotropy, alpha_iron, aluminous, amino, amino_group, amyl, antimonic, antimonious, argonon, atomic_number_104, atomic_number_105, atomic_number_106, atomic_number_107, atomic_number_108, atomic_number_109, atomic_number_110, atomic_number_111, atomic_number_112, atomic_number_113, atomic_number_114, atomic_number_115, atomic_number_116... |
| appearance as argument number 1 |
|
|
| (subclass ElementalSubstance PureSubstance) | Merge.kif 1128-1128 | Elemental substance is a subclass of pure substance |
| (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 1130-1134 | Elemental substance is a subclass of pure substance |
| (externalImage ElementalSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 84/ Periodic_table.svg") | pictureList.kif 1745-1745 | Elemental substance is a subclass of pure substance |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (partition PureSubstance CompoundSubstance ElementalSubstance) | Merge.kif 1120-1120 | Pure substance is exhaustively partitioned into compound substance and elemental substance |
| (domainSubclass atomicNumber 1 ElementalSubstance) | Merge.kif 13947-13947 | The number 1 argument of atomic number is a subclass of elemental substance |
| (domainSubclass molecularRatio 1 ElementalSubstance) | Mid-level-ontology.kif 24099-24099 | The number 1 argument of molecular ratio is a subclass of elemental substance |
| antecedent |
|
|
| 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 12711-12721 | If X is an instance of compound substance, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of elemental substance (3) Z is an instance of elemental substance (4) equal Y (5) Z (6) W is an instance of chemical synthesis (7) Y is a resource for W (8) Z is a resource for W (9) X is a result of W |
|
|
|