TreeView Knowledge Base Browser - ElementalSubstance

appearance as argument number 1

s__documentation(s__ElementalSubstance, s__ChineseLanguage, "这是PureSubstance Class，它是不能通过普通的化学（或物理)手段分割成两个或以上 Substance。这不包括核反应。 ElementalSubstance 由单一一个原子组成。例如：铁 (Fe)、铜(Cu) 和氧 (O_2)。 ElementalSubstance 是最简单的 PureSubstance。")	chinese_format.kif 1599-1602
s__documentation(s__ElementalSubstance, s__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
s__documentation(s__ElementalSubstance, s__JapaneseLanguage, "PureSubstance の Class は、通常の化学的手段によって2つ以上の Substances （または物理的）に分離されない。　これには核反応は含まれない。　ElementalSubstances は、1種類の原子のみで構成されている。例：鉄（Fe）、銅（Cu）、および酸素（O_2）。　ElementalSubstances は最も単純な PureSubstance である。")	japanese_format.kif 178-181
s__documentation(s__ElementalSubstance, s__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_")	spanish_format.kif 211-215
s__externalImage(s__ElementalSubstance, "http://upload_wikimedia_org/wikipedia/commons/8/84/Periodic_table_svg")	pictureList.kif 1745-1745
s__subclass(s__ElementalSubstance, s__PureSubstance)	Merge.kif 1128-1128	Elemental substance is a subclass of pure substance

appearance as argument number 2

s__subclass(s__Actinium, s__ElementalSubstance)	Mid-level-ontology.kif 30712-30712	Actinium is a subclass of elemental substance
s__subclass(s__Aluminum, s__ElementalSubstance)	Mid-level-ontology.kif 29378-29378	Aluminum is a subclass of elemental substance
s__subclass(s__Americium, s__ElementalSubstance)	Mid-level-ontology.kif 30818-30818	Americium is a subclass of elemental substance
s__subclass(s__Antimony, s__ElementalSubstance)	Mid-level-ontology.kif 30012-30012	Antimony is a subclass of elemental substance
s__subclass(s__Argon, s__ElementalSubstance)	Mid-level-ontology.kif 29461-29461	Argon is a subclass of elemental substance
s__subclass(s__Arsenic, s__ElementalSubstance)	Mid-level-ontology.kif 29709-29709	Arsenic is a subclass of elemental substance
s__subclass(s__Astatine, s__ElementalSubstance)	Mid-level-ontology.kif 30645-30645	Astatine is a subclass of elemental substance
s__subclass(s__Atom, s__ElementalSubstance)	Merge.kif 1143-1143	Atom is a subclass of elemental substance
s__subclass(s__Barium, s__ElementalSubstance)	Mid-level-ontology.kif 30106-30106	Barium is a subclass of elemental substance
s__subclass(s__Berkelium, s__ElementalSubstance)	Mid-level-ontology.kif 30852-30852	Berkelium is a subclass of elemental substance
s__subclass(s__Beryllium, s__ElementalSubstance)	Mid-level-ontology.kif 29218-29218	Beryllium is a subclass of elemental substance
s__subclass(s__Bismuth, s__ElementalSubstance)	Mid-level-ontology.kif 30610-30610	Bismuth is a subclass of elemental substance
s__subclass(s__Boron, s__ElementalSubstance)	Mid-level-ontology.kif 29234-29234	Boron is a subclass of elemental substance
s__subclass(s__Bromine, s__ElementalSubstance)	Mid-level-ontology.kif 29740-29740	Bromine is a subclass of elemental substance
s__subclass(s__Cadmium, s__ElementalSubstance)	Mid-level-ontology.kif 29964-29964	Cadmium is a subclass of elemental substance
s__subclass(s__Caesium, s__ElementalSubstance)	Mid-level-ontology.kif 30080-30080	Caesium is a subclass of elemental substance
s__subclass(s__Calcium, s__ElementalSubstance)	Mid-level-ontology.kif 29492-29492	Calcium is a subclass of elemental substance
s__subclass(s__Californium, s__ElementalSubstance)	Mid-level-ontology.kif 30869-30869	Californium is a subclass of elemental substance
s__subclass(s__Carbon, s__ElementalSubstance)	Mid-level-ontology.kif 29253-29253	Carbon is a subclass of elemental substance
s__subclass(s__Cerium, s__ElementalSubstance)	Mid-level-ontology.kif 30142-30142	Cerium is a subclass of elemental substance
s__subclass(s__Chlorine, s__ElementalSubstance)	Mid-level-ontology.kif 29444-29444	Chlorine is a subclass of elemental substance
s__subclass(s__Chromium, s__ElementalSubstance)	Mid-level-ontology.kif 29566-29566	Chromium is a subclass of elemental substance
s__subclass(s__Cobalt, s__ElementalSubstance)	Mid-level-ontology.kif 29612-29612	Cobalt is a subclass of elemental substance
s__subclass(s__Copper, s__ElementalSubstance)	Mid-level-ontology.kif 29643-29643	Copper is a subclass of elemental substance
s__subclass(s__Curium, s__ElementalSubstance)	Mid-level-ontology.kif 30835-30835	Curium is a subclass of elemental substance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

s__domainSubclass(s__atomicNumber__m, 1, s__ElementalSubstance)	Merge.kif 13947-13947	The number 1 argument of atomic number is a subclass of elemental substance
s__domainSubclass(s__molecularRatio__m, 1, s__ElementalSubstance)	Mid-level-ontology.kif 23343-23343	The number 1 argument of molecular ratio is a subclass of elemental substance
s__partition(s__PureSubstance, s__CompoundSubstance, s__ElementalSubstance)	Merge.kif 1120-1120	Pure substance is exhaustively partitioned into compound substance and elemental substance

antecedent

! [V__PROCESS : $i,V__ELEMENT1 : $i,V__ELEMENT2 : $i,V__COMPOUND : $i] : (((s__instance(V__ELEMENT1, s__ElementalSubstance) & s__instance(V__ELEMENT2, s__ElementalSubstance) & ~(V__ELEMENT1 = V__ELEMENT2) & s__instance(V__PROCESS, s__ChemicalSynthesis) & s__resource(V__PROCESS, V__ELEMENT1) & s__resource(V__PROCESS, V__ELEMENT2) & s__result(V__PROCESS, V__COMPOUND)) => s__instance(V__COMPOUND, s__CompoundSubstance)))	Merge.kif 12723-12732	If an object is an instance of elemental substance and another object is an instance of elemental substance and equal the object and the other object and a process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and an entity is a result of the process, then the entity is an instance of compound substance
((s__resource(V__PROC, V__SUBSTANCE1) & s__result(V__PROC, V__SUBSTANCE2) & s__instance(V__SUBSTANCE1, s__CompoundSubstance) & s__instance(V__SUBSTANCE2, s__ElementalSubstance)) => s__instance(V__PROC, s__ChemicalDecomposition))	Merge.kif 12739-12745	If an object is a resource for a process and an entity is a result of the process and the object is an instance of compound substance and the entity is an instance of elemental substance, then the process is an instance of chemical decomposition
! [V__SUBSTANCE1 : $i,V__SUBSTANCE2 : $i,V__PROC : $i] : (((s__resource(V__PROC, V__SUBSTANCE1) & s__result(V__PROC, V__SUBSTANCE2) & s__instance(V__SUBSTANCE1, s__ElementalSubstance) & s__instance(V__SUBSTANCE2, s__CompoundSubstance)) => s__instance(V__PROC, s__ChemicalSynthesis)))	Merge.kif 12703-12709	If an object is a resource for a process and an entity is a result of the process and the object is an instance of elemental substance and the entity is an instance of compound substance, then the process is an instance of chemical synthesis

consequent

! [V__COMPOUND : $i] : ((s__instance(V__COMPOUND, s__CompoundSubstance) => ( ? [V__ELEMENT1:$i, V__ELEMENT2:$i, V__PROCESS:$i] : ((s__instance(V__ELEMENT1, s__ElementalSubstance) & s__instance(V__ELEMENT2, s__ElementalSubstance) & ~(V__ELEMENT1 = V__ELEMENT2) & s__instance(V__PROCESS, s__ChemicalSynthesis) & s__resource(V__PROCESS, V__ELEMENT1) & s__resource(V__PROCESS, V__ELEMENT2) & s__result(V__PROCESS, V__COMPOUND))))))

Merge.kif 12711-12721

If an entity is an instance of compound substance,
then there exist an object, another object and a process such that the object is an instance of elemental substance and the other object is an instance of elemental substance and equal the object and the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: