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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElementalSubstance
ElementalSubstance(元素物质)

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 1066-1070
(externalImage ElementalSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 84/ Periodic_table.svg") pictureList.kif 1747-1747
(subclass ElementalSubstance PureSubstance) Merge.kif 1064-1064 元素物质純物质subclass

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


(subclass Actinium ElementalSubstance) Mid-level-ontology.kif 28722-28722 元素物质subclass
(subclass Aluminum ElementalSubstance) Mid-level-ontology.kif 27388-27388 元素物质subclass
(subclass Americium ElementalSubstance) Mid-level-ontology.kif 28828-28828 元素物质subclass
(subclass Antimony ElementalSubstance) Mid-level-ontology.kif 28022-28022 元素物质subclass
(subclass Argon ElementalSubstance) Mid-level-ontology.kif 27471-27471 元素物质subclass
(subclass Arsenic ElementalSubstance) Mid-level-ontology.kif 27719-27719 元素物质subclass
(subclass Astatine ElementalSubstance) Mid-level-ontology.kif 28655-28655 元素物质subclass
(subclass Atom ElementalSubstance) Merge.kif 1079-1079 原子元素物质subclass
(subclass Barium ElementalSubstance) Mid-level-ontology.kif 28116-28116 元素物质subclass
(subclass Berkelium ElementalSubstance) Mid-level-ontology.kif 28862-28862 元素物质subclass
(subclass Beryllium ElementalSubstance) Mid-level-ontology.kif 27228-27228 元素物质subclass
(subclass Bismuth ElementalSubstance) Mid-level-ontology.kif 28620-28620 元素物质subclass
(subclass Boron ElementalSubstance) Mid-level-ontology.kif 27244-27244 元素物质subclass
(subclass Bromine ElementalSubstance) Mid-level-ontology.kif 27750-27750 元素物质subclass
(subclass Cadmium ElementalSubstance) Mid-level-ontology.kif 27974-27974 元素物质subclass
(subclass Caesium ElementalSubstance) Mid-level-ontology.kif 28090-28090 元素物质subclass
(subclass Calcium ElementalSubstance) Mid-level-ontology.kif 27502-27502 元素物质subclass
(subclass Californium ElementalSubstance) Mid-level-ontology.kif 28879-28879 元素物质subclass
(subclass Carbon ElementalSubstance) Mid-level-ontology.kif 27263-27263 元素物质subclass
(subclass Cerium ElementalSubstance) Mid-level-ontology.kif 28152-28152 元素物质subclass
(subclass Chlorine ElementalSubstance) Mid-level-ontology.kif 27454-27454 元素物质subclass
(subclass Chromium ElementalSubstance) Mid-level-ontology.kif 27576-27576 元素物质subclass
(subclass Cobalt ElementalSubstance) Mid-level-ontology.kif 27622-27622 元素物质subclass
(subclass Copper ElementalSubstance) Mid-level-ontology.kif 27653-27653 元素物质subclass
(subclass Curium ElementalSubstance) Mid-level-ontology.kif 28845-28845 元素物质subclass

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 13634-13634 原子数 的 1 数量 是 元素物质subclass
(domainSubclass molecularRatio 1 ElementalSubstance) Cars.kif 1768-1768 molecularRatio 的 1 数量 是 元素物质subclass
(partition PureSubstance CompoundSubstance ElementalSubstance) Merge.kif 1056-1056 純物质 详尽无遗地 partition复合物质元素物质

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 12409-12418
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))
Merge.kif 12425-12431
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))
Merge.kif 12389-12395

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


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