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


(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 1090-1094
(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 1088-1088 Elemental substance is a subclass of pure substance

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


(subclass Actinium ElementalSubstance) Mid-level-ontology.kif 30728-30728 Actinium is a subclass of elemental substance
(subclass Aluminum ElementalSubstance) Mid-level-ontology.kif 29394-29394 Aluminum is a subclass of elemental substance
(subclass Americium ElementalSubstance) Mid-level-ontology.kif 30834-30834 Americium is a subclass of elemental substance
(subclass Antimony ElementalSubstance) Mid-level-ontology.kif 30028-30028 Antimony is a subclass of elemental substance
(subclass Argon ElementalSubstance) Mid-level-ontology.kif 29477-29477 Argon is a subclass of elemental substance
(subclass Arsenic ElementalSubstance) Mid-level-ontology.kif 29725-29725 Arsenic is a subclass of elemental substance
(subclass Astatine ElementalSubstance) Mid-level-ontology.kif 30661-30661 Astatine is a subclass of elemental substance
(subclass Atom ElementalSubstance) Merge.kif 1103-1103 Atom is a subclass of elemental substance
(subclass Barium ElementalSubstance) Mid-level-ontology.kif 30122-30122 Barium is a subclass of elemental substance
(subclass Berkelium ElementalSubstance) Mid-level-ontology.kif 30868-30868 Berkelium is a subclass of elemental substance
(subclass Beryllium ElementalSubstance) Mid-level-ontology.kif 29234-29234 Beryllium is a subclass of elemental substance
(subclass Bismuth ElementalSubstance) Mid-level-ontology.kif 30626-30626 Bismuth is a subclass of elemental substance
(subclass Boron ElementalSubstance) Mid-level-ontology.kif 29250-29250 Boron is a subclass of elemental substance
(subclass Bromine ElementalSubstance) Mid-level-ontology.kif 29756-29756 Bromine is a subclass of elemental substance
(subclass Cadmium ElementalSubstance) Mid-level-ontology.kif 29980-29980 Cadmium is a subclass of elemental substance
(subclass Caesium ElementalSubstance) Mid-level-ontology.kif 30096-30096 Caesium is a subclass of elemental substance
(subclass Calcium ElementalSubstance) Mid-level-ontology.kif 29508-29508 Calcium is a subclass of elemental substance
(subclass Californium ElementalSubstance) Mid-level-ontology.kif 30885-30885 Californium is a subclass of elemental substance
(subclass Carbon ElementalSubstance) Mid-level-ontology.kif 29269-29269 Carbon is a subclass of elemental substance
(subclass Cerium ElementalSubstance) Mid-level-ontology.kif 30158-30158 Cerium is a subclass of elemental substance
(subclass Chlorine ElementalSubstance) Mid-level-ontology.kif 29460-29460 Chlorine is a subclass of elemental substance
(subclass Chromium ElementalSubstance) Mid-level-ontology.kif 29582-29582 Chromium is a subclass of elemental substance
(subclass Cobalt ElementalSubstance) Mid-level-ontology.kif 29628-29628 Cobalt is a subclass of elemental substance
(subclass Copper ElementalSubstance) Mid-level-ontology.kif 29659-29659 Copper is a subclass of elemental substance
(subclass Curium ElementalSubstance) Mid-level-ontology.kif 30851-30851 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
-------------------------


(domainSubclass atomicNumber 1 ElementalSubstance) Merge.kif 13910-13910 The number 1 argument of atomic number is a subclass of elemental substance
(domainSubclass molecularRatio 1 ElementalSubstance) Mid-level-ontology.kif 23352-23352 The number 1 argument of molecular ratio is a subclass of elemental substance
(partition PureSubstance CompoundSubstance ElementalSubstance) Merge.kif 1080-1080 Pure substance is exhaustively partitioned into compound substance and elemental substance

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 12686-12695
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))
Merge.kif 12702-12708
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))
Merge.kif 12666-12672

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 12674-12684


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