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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ElementalSubstance
ElementalSubstance(substance �l�mentaire)

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 1105-1109
(documentation ElementalSubstance JapaneseLanguage "PureSubstanceClass は、通常の 化学的手段によって2つ以上の Substances (または物理的)に分離されない。 これには核反応は含まれ ない。 ElementalSubstances は、1種類の原子のみで構成されている。例:鉄(Fe)、銅(Cu)、 および酸素(O_2)。 ElementalSubstances は最も単純な PureSubstance である。") japanese_format.kif 178-181
(documentation ElementalSubstance 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
(externalImage ElementalSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 84/ Periodic_table.svg") pictureList.kif 1745-1745
(subclass ElementalSubstance PureSubstance) Merge.kif 1103-1103 Substance �l�mentaire est une sous-classe de substance pure

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


(subclass Actinium ElementalSubstance) Mid-level-ontology.kif 30726-30726 Actinium est une sous-classe de substance �l�mentaire
(subclass Aluminum ElementalSubstance) Mid-level-ontology.kif 29392-29392 Aluminum est une sous-classe de substance �l�mentaire
(subclass Americium ElementalSubstance) Mid-level-ontology.kif 30832-30832 Americium est une sous-classe de substance �l�mentaire
(subclass Antimony ElementalSubstance) Mid-level-ontology.kif 30026-30026 Antimony est une sous-classe de substance �l�mentaire
(subclass Argon ElementalSubstance) Mid-level-ontology.kif 29475-29475 Argon est une sous-classe de substance �l�mentaire
(subclass Arsenic ElementalSubstance) Mid-level-ontology.kif 29723-29723 Arsenic est une sous-classe de substance �l�mentaire
(subclass Astatine ElementalSubstance) Mid-level-ontology.kif 30659-30659 Astatine est une sous-classe de substance �l�mentaire
(subclass Atom ElementalSubstance) Merge.kif 1118-1118 Atome est une sous-classe de substance �l�mentaire
(subclass Barium ElementalSubstance) Mid-level-ontology.kif 30120-30120 Barium est une sous-classe de substance �l�mentaire
(subclass Berkelium ElementalSubstance) Mid-level-ontology.kif 30866-30866 Berkelium est une sous-classe de substance �l�mentaire
(subclass Beryllium ElementalSubstance) Mid-level-ontology.kif 29232-29232 Beryllium est une sous-classe de substance �l�mentaire
(subclass Bismuth ElementalSubstance) Mid-level-ontology.kif 30624-30624 Bismuth est une sous-classe de substance �l�mentaire
(subclass Boron ElementalSubstance) Mid-level-ontology.kif 29248-29248 Boron est une sous-classe de substance �l�mentaire
(subclass Bromine ElementalSubstance) Mid-level-ontology.kif 29754-29754 Bromine est une sous-classe de substance �l�mentaire
(subclass Cadmium ElementalSubstance) Mid-level-ontology.kif 29978-29978 Cadmium est une sous-classe de substance �l�mentaire
(subclass Caesium ElementalSubstance) Mid-level-ontology.kif 30094-30094 Caesium est une sous-classe de substance �l�mentaire
(subclass Calcium ElementalSubstance) Mid-level-ontology.kif 29506-29506 Calcium est une sous-classe de substance �l�mentaire
(subclass Californium ElementalSubstance) Mid-level-ontology.kif 30883-30883 Californium est une sous-classe de substance �l�mentaire
(subclass Carbon ElementalSubstance) Mid-level-ontology.kif 29267-29267 Carbon est une sous-classe de substance �l�mentaire
(subclass Cerium ElementalSubstance) Mid-level-ontology.kif 30156-30156 Cerium est une sous-classe de substance �l�mentaire
(subclass Chlorine ElementalSubstance) Mid-level-ontology.kif 29458-29458 Chlorine est une sous-classe de substance �l�mentaire
(subclass Chromium ElementalSubstance) Mid-level-ontology.kif 29580-29580 Chromium est une sous-classe de substance �l�mentaire
(subclass Cobalt ElementalSubstance) Mid-level-ontology.kif 29626-29626 Cobalt est une sous-classe de substance �l�mentaire
(subclass Copper ElementalSubstance) Mid-level-ontology.kif 29657-29657 Copper est une sous-classe de substance �l�mentaire
(subclass Curium ElementalSubstance) Mid-level-ontology.kif 30849-30849 Curium est une sous-classe de substance �l�mentaire

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 13925-13925 Le nombre 1 argument de atomicNumber est une sous-classe de substance �l�mentaire
(domainSubclass molecularRatio 1 ElementalSubstance) Mid-level-ontology.kif 23352-23352 Le nombre 1 argument de molecularRatio est une sous-classe de substance �l�mentaire
(partition PureSubstance CompoundSubstance ElementalSubstance) Merge.kif 1095-1095 Substance pure est compl�tement d�compos� en substance compos�e + substance �l�mentaire

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


(=>
    (and
        (instance ?ELEMENT1 ElementalSubstance)
        (instance ?ELEMENT2 ElementalSubstance)
        (not
            (equal ?ELEMENT1 ?ELEMENT2))
        (instance ?PROCESS ChemicalSynthesis)
        (resource ?PROCESS ?ELEMENT1)
        (resource ?PROCESS ?ELEMENT2)
        (result ?PROCESS ?COMPOUND))
    (instance ?COMPOUND CompoundSubstance))
Merge.kif 12701-12710
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))
Merge.kif 12717-12723
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))
Merge.kif 12681-12687

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 12689-12699


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