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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElementalSubstance

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 1017-1021
(externalImage ElementalSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 84/ Periodic_table.svg") pictureList.kif 1747-1747
(subclass ElementalSubstance PureSubstance) Merge.kif 1015-1015

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


(subclass Actinium ElementalSubstance) Mid-level-ontology.kif 28032-28032
(subclass Aluminum ElementalSubstance) Mid-level-ontology.kif 26698-26698
(subclass Americium ElementalSubstance) Mid-level-ontology.kif 28138-28138
(subclass Antimony ElementalSubstance) Mid-level-ontology.kif 27332-27332
(subclass Argon ElementalSubstance) Mid-level-ontology.kif 26781-26781
(subclass Arsenic ElementalSubstance) Mid-level-ontology.kif 27029-27029
(subclass Astatine ElementalSubstance) Mid-level-ontology.kif 27965-27965
(subclass Atom ElementalSubstance) Merge.kif 1030-1030
(subclass Barium ElementalSubstance) Mid-level-ontology.kif 27426-27426
(subclass Berkelium ElementalSubstance) Mid-level-ontology.kif 28172-28172
(subclass Beryllium ElementalSubstance) Mid-level-ontology.kif 26538-26538
(subclass Bismuth ElementalSubstance) Mid-level-ontology.kif 27930-27930
(subclass Boron ElementalSubstance) Mid-level-ontology.kif 26554-26554
(subclass Bromine ElementalSubstance) Mid-level-ontology.kif 27060-27060
(subclass Cadmium ElementalSubstance) Mid-level-ontology.kif 27284-27284
(subclass Caesium ElementalSubstance) Mid-level-ontology.kif 27400-27400
(subclass Calcium ElementalSubstance) Mid-level-ontology.kif 26812-26812
(subclass Californium ElementalSubstance) Mid-level-ontology.kif 28189-28189
(subclass Carbon ElementalSubstance) Mid-level-ontology.kif 26573-26573
(subclass Cerium ElementalSubstance) Mid-level-ontology.kif 27462-27462
(subclass Chlorine ElementalSubstance) Mid-level-ontology.kif 26764-26764
(subclass Chromium ElementalSubstance) Mid-level-ontology.kif 26886-26886
(subclass Cobalt ElementalSubstance) Mid-level-ontology.kif 26932-26932
(subclass Copper ElementalSubstance) Mid-level-ontology.kif 26963-26963
(subclass Curium ElementalSubstance) Mid-level-ontology.kif 28155-28155

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 13153-13153
(domainSubclass molecularRatio 1 ElementalSubstance) Cars.kif 1768-1768
(partition PureSubstance CompoundSubstance ElementalSubstance) Merge.kif 1007-1007

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


(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))
Merge.kif 11974-11980
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))
Merge.kif 11949-11955

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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