Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElementalSubstance
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
-------------------------


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 1017-1021
s__externalImage(s__ElementalSubstance,'"http://upload.wikimedia.org/wikipedia/ commons/ 8/ 84/ Periodic_table.svg"')

pictureList.kif 1747-1747
s__instance(s__ElementalSubstance,s__SetOrClass)

s__instance(s__PureSubstance,s__SetOrClass)

s__subclass(s__ElementalSubstance,s__PureSubstance)

Merge.kif 1015-1015 Elemental substance is a subclass of pure substance

appearance as argument number 2
-------------------------


s__instance(s__ElementalSubstance,s__SetOrClass)

s__subclass(s__Actinium,s__ElementalSubstance)

s__instance(s__Actinium,s__SetOrClass)

Mid-level-ontology.kif 26769-26769 Actinium is a subclass of elemental substance
s__instance(s__Aluminum,s__SetOrClass)

s__instance(s__ElementalSubstance,s__SetOrClass)

s__subclass(s__Aluminum,s__ElementalSubstance)

Mid-level-ontology.kif 25435-25435 Aluminum is a subclass of elemental substance
s__subclass(s__Americium,s__ElementalSubstance)

s__instance(s__ElementalSubstance,s__SetOrClass)

s__instance(s__Americium,s__SetOrClass)

Mid-level-ontology.kif 26875-26875 Americium is a subclass of elemental substance
s__instance(s__ElementalSubstance,s__SetOrClass)

s__subclass(s__Antimony,s__ElementalSubstance)

s__instance(s__Antimony,s__SetOrClass)

Mid-level-ontology.kif 26069-26069 Antimony is a subclass of elemental substance
s__instance(s__ElementalSubstance,s__SetOrClass)

s__subclass(s__Argon,s__ElementalSubstance)

s__instance(s__Argon,s__SetOrClass)

Mid-level-ontology.kif 25518-25518 Argon is a subclass of elemental substance
s__instance(s__ElementalSubstance,s__SetOrClass)

s__subclass(s__Arsenic,s__ElementalSubstance)

s__instance(s__Arsenic,s__SetOrClass)

Mid-level-ontology.kif 25766-25766 Arsenic is a subclass of elemental substance
s__instance(s__ElementalSubstance,s__SetOrClass)

s__instance(s__Astatine,s__SetOrClass)

s__subclass(s__Astatine,s__ElementalSubstance)

Mid-level-ontology.kif 26702-26702 Astatine is a subclass of elemental substance
s__instance(s__ElementalSubstance,s__SetOrClass)

s__subclass(s__Atom,s__ElementalSubstance)

s__instance(s__Atom,s__SetOrClass)

Merge.kif 1030-1030 Atom is a subclass of elemental substance
s__instance(s__Barium,s__SetOrClass)

s__instance(s__ElementalSubstance,s__SetOrClass)

s__subclass(s__Barium,s__ElementalSubstance)

Mid-level-ontology.kif 26163-26163 Barium is a subclass of elemental substance
s__instance(s__ElementalSubstance,s__SetOrClass)

s__subclass(s__Berkelium,s__ElementalSubstance)

s__instance(s__Berkelium,s__SetOrClass)

Mid-level-ontology.kif 26909-26909 Berkelium is a subclass of elemental substance
s__instance(s__ElementalSubstance,s__SetOrClass)

s__subclass(s__Beryllium,s__ElementalSubstance)

s__instance(s__Beryllium,s__SetOrClass)

Mid-level-ontology.kif 25275-25275 Beryllium is a subclass of elemental substance
s__instance(s__ElementalSubstance,s__SetOrClass)

s__subclass(s__Bismuth,s__ElementalSubstance)

s__instance(s__Bismuth,s__SetOrClass)

Mid-level-ontology.kif 26667-26667 Bismuth is a subclass of elemental substance
s__instance(s__ElementalSubstance,s__SetOrClass)

s__subclass(s__Boron,s__ElementalSubstance)

s__instance(s__Boron,s__SetOrClass)

Mid-level-ontology.kif 25291-25291 Boron is a subclass of elemental substance
s__instance(s__ElementalSubstance,s__SetOrClass)

s__instance(s__Bromine,s__SetOrClass)

s__subclass(s__Bromine,s__ElementalSubstance)

Mid-level-ontology.kif 25797-25797 Bromine is a subclass of elemental substance
s__instance(s__ElementalSubstance,s__SetOrClass)

s__instance(s__Cadmium,s__SetOrClass)

s__subclass(s__Cadmium,s__ElementalSubstance)

Mid-level-ontology.kif 26021-26021 Cadmium is a subclass of elemental substance
s__instance(s__ElementalSubstance,s__SetOrClass)

s__instance(s__Caesium,s__SetOrClass)

s__subclass(s__Caesium,s__ElementalSubstance)

Mid-level-ontology.kif 26137-26137 Caesium is a subclass of elemental substance
s__instance(s__ElementalSubstance,s__SetOrClass)

s__instance(s__Calcium,s__SetOrClass)

s__subclass(s__Calcium,s__ElementalSubstance)

Mid-level-ontology.kif 25549-25549 Calcium is a subclass of elemental substance
s__instance(s__Californium,s__SetOrClass)

s__instance(s__ElementalSubstance,s__SetOrClass)

s__subclass(s__Californium,s__ElementalSubstance)

Mid-level-ontology.kif 26926-26926 Californium is a subclass of elemental substance
s__subclass(s__Carbon,s__ElementalSubstance)

s__instance(s__ElementalSubstance,s__SetOrClass)

s__instance(s__Carbon,s__SetOrClass)

Mid-level-ontology.kif 25310-25310 Carbon is a subclass of elemental substance
s__instance(s__ElementalSubstance,s__SetOrClass)

s__instance(s__Cerium,s__SetOrClass)

s__subclass(s__Cerium,s__ElementalSubstance)

Mid-level-ontology.kif 26199-26199 Cerium is a subclass of elemental substance
s__instance(s__ElementalSubstance,s__SetOrClass)

s__instance(s__Chlorine,s__SetOrClass)

s__subclass(s__Chlorine,s__ElementalSubstance)

Mid-level-ontology.kif 25501-25501 Chlorine is a subclass of elemental substance
s__subclass(s__Chromium,s__ElementalSubstance)

s__instance(s__ElementalSubstance,s__SetOrClass)

s__instance(s__Chromium,s__SetOrClass)

Mid-level-ontology.kif 25623-25623 Chromium is a subclass of elemental substance
s__instance(s__ElementalSubstance,s__SetOrClass)

s__instance(s__Cobalt,s__SetOrClass)

s__subclass(s__Cobalt,s__ElementalSubstance)

Mid-level-ontology.kif 25669-25669 Cobalt is a subclass of elemental substance
s__instance(s__ElementalSubstance,s__SetOrClass)

s__subclass(s__Copper,s__ElementalSubstance)

s__instance(s__Copper,s__SetOrClass)

Mid-level-ontology.kif 25700-25700 Copper is a subclass of elemental substance
s__instance(s__ElementalSubstance,s__SetOrClass)

s__subclass(s__Curium,s__ElementalSubstance)

s__instance(s__Curium,s__SetOrClass)

Mid-level-ontology.kif 26892-26892 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,n__1,s__ElementalSubstance)

Merge.kif 13108-13108 The number 1 argument of atomic number is a subclass of elemental substance
s__domainSubclass(s__molecularRatio__m,n__1,s__ElementalSubstance)

Cars.kif 1782-1782 The number 1 argument of molecularRatio is a subclass of elemental substance
s__partition__3(s__PureSubstance,s__CompoundSubstance,s__ElementalSubstance)

Merge.kif 1007-1007 Pure substance is exhaustively partitioned into compound substance and elemental substance

antecedent
-------------------------


( ! [V__SUBSTANCE1,V__SUBSTANCE2,V__PROC] :
   ((s__instance(V__PROC,s__Process) =>
       (((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 11930-11936
( ! [V__SUBSTANCE1,V__SUBSTANCE2,V__PROC] :
   ((s__instance(V__PROC,s__Process) =>
       (((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 11905-11911

consequent
-------------------------


( ! [V__COMPOUND] :
   (((s__instance(V__COMPOUND,s__CompoundSubstance) =>
         ( ? [V__ELEMENT1, V__ELEMENT2, V__PROCESS] :
           ((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)))))
&
(( ? [V__ELEMENT1, V__ELEMENT2, V__PROCESS] :
     ((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 11913-11923 An entity is an instance of compound substance if and only if 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 the object is not equal to 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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