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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElementalSubstance
ElementalSubstance(Substancia Elementar)

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 1095-1099
(documentation ElementalSubstance JapaneseLanguage "PureSubstance の Class は、通常の 化学的手段によって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 1746-1746
(subclass ElementalSubstance PureSubstance) Merge.kif 1093-1093 Substancia Elementar e' uma sub-classe de Substancia Pura

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


(subclass Actinium ElementalSubstance) Mid-level-ontology.kif 28807-28807 Actinium e' uma sub-classe de Substancia Elementar
(subclass Aluminum ElementalSubstance) Mid-level-ontology.kif 27473-27473 Aluminum e' uma sub-classe de Substancia Elementar
(subclass Americium ElementalSubstance) Mid-level-ontology.kif 28913-28913 Americium e' uma sub-classe de Substancia Elementar
(subclass Antimony ElementalSubstance) Mid-level-ontology.kif 28107-28107 Antimony e' uma sub-classe de Substancia Elementar
(subclass Argon ElementalSubstance) Mid-level-ontology.kif 27556-27556 Argon e' uma sub-classe de Substancia Elementar
(subclass Arsenic ElementalSubstance) Mid-level-ontology.kif 27804-27804 Arsenic e' uma sub-classe de Substancia Elementar
(subclass Astatine ElementalSubstance) Mid-level-ontology.kif 28740-28740 Astatine e' uma sub-classe de Substancia Elementar
(subclass Atom ElementalSubstance) Merge.kif 1108-1108 Atomo e' uma sub-classe de Substancia Elementar
(subclass Barium ElementalSubstance) Mid-level-ontology.kif 28201-28201 Barium e' uma sub-classe de Substancia Elementar
(subclass Berkelium ElementalSubstance) Mid-level-ontology.kif 28947-28947 Berkelium e' uma sub-classe de Substancia Elementar
(subclass Beryllium ElementalSubstance) Mid-level-ontology.kif 27313-27313 Beryllium e' uma sub-classe de Substancia Elementar
(subclass Bismuth ElementalSubstance) Mid-level-ontology.kif 28705-28705 Bismuth e' uma sub-classe de Substancia Elementar
(subclass Boron ElementalSubstance) Mid-level-ontology.kif 27329-27329 Boron e' uma sub-classe de Substancia Elementar
(subclass Bromine ElementalSubstance) Mid-level-ontology.kif 27835-27835 Bromine e' uma sub-classe de Substancia Elementar
(subclass Cadmium ElementalSubstance) Mid-level-ontology.kif 28059-28059 Cadmium e' uma sub-classe de Substancia Elementar
(subclass Caesium ElementalSubstance) Mid-level-ontology.kif 28175-28175 Caesium e' uma sub-classe de Substancia Elementar
(subclass Calcium ElementalSubstance) Mid-level-ontology.kif 27587-27587 Calcium e' uma sub-classe de Substancia Elementar
(subclass Californium ElementalSubstance) Mid-level-ontology.kif 28964-28964 Californium e' uma sub-classe de Substancia Elementar
(subclass Carbon ElementalSubstance) Mid-level-ontology.kif 27348-27348 Carbon e' uma sub-classe de Substancia Elementar
(subclass Cerium ElementalSubstance) Mid-level-ontology.kif 28237-28237 Cerium e' uma sub-classe de Substancia Elementar
(subclass Chlorine ElementalSubstance) Mid-level-ontology.kif 27539-27539 Chlorine e' uma sub-classe de Substancia Elementar
(subclass Chromium ElementalSubstance) Mid-level-ontology.kif 27661-27661 Chromium e' uma sub-classe de Substancia Elementar
(subclass Cobalt ElementalSubstance) Mid-level-ontology.kif 27707-27707 Cobalt e' uma sub-classe de Substancia Elementar
(subclass Copper ElementalSubstance) Mid-level-ontology.kif 27738-27738 Copper e' uma sub-classe de Substancia Elementar
(subclass Curium ElementalSubstance) Mid-level-ontology.kif 28930-28930 Curium e' uma sub-classe de Substancia Elementar

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 13772-13772 O argumento numero 1 de atomicNumber e' uma sub-classe de Substancia Elementar
(domainSubclass molecularRatio 1 ElementalSubstance) Cars.kif 1768-1768 O argumento numero 1 de molecularRatio e' uma sub-classe de Substancia Elementar
(partition PureSubstance CompoundSubstance ElementalSubstance) Merge.kif 1085-1085 O conceito Substancia Pura e' completamente decomposto em Substancia Composta + Substancia Elementar

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 12547-12556
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))		 Merge.kif 12563-12569
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))		 Merge.kif 12527-12533

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


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