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。") Merge.kif 1133-1136
(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 1127-1132
(externalImage ElementalSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 84/ Periodic_table.svg") pictureList.kif 1747-1747 externalImage 元素物质 and "http://upload.wikimedia.org/wikipedia/commons/8/84/ Periodic_table.svg"
(subclass ElementalSubstance PureSubstance) Merge.kif 1126-1126 元素物质純物质subclass

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


(subclass Actinium ElementalSubstance) Mid-level-ontology.kif 26982-26982 Actinium元素物质subclass
(subclass Aluminum ElementalSubstance) Mid-level-ontology.kif 25724-25724 Aluminum元素物质subclass
(subclass Americium ElementalSubstance) Mid-level-ontology.kif 27082-27082 Americium元素物质subclass
(subclass Antimony ElementalSubstance) Mid-level-ontology.kif 26320-26320 Antimony元素物质subclass
(subclass Argon ElementalSubstance) Mid-level-ontology.kif 25802-25802 Argon元素物质subclass
(subclass Arsenic ElementalSubstance) Mid-level-ontology.kif 26035-26035 Arsenic元素物质subclass
(subclass Astatine ElementalSubstance) Mid-level-ontology.kif 26919-26919 Astatine元素物质subclass
(subclass Atom ElementalSubstance) Merge.kif 1148-1148 原子元素物质subclass
(subclass Barium ElementalSubstance) Mid-level-ontology.kif 26409-26409 Barium元素物质subclass
(subclass Berkelium ElementalSubstance) Mid-level-ontology.kif 27114-27114 Berkelium元素物质subclass
(subclass Beryllium ElementalSubstance) Mid-level-ontology.kif 25573-25573 Beryllium元素物质subclass
(subclass Bismuth ElementalSubstance) Mid-level-ontology.kif 26886-26886 Bismuth元素物质subclass
(subclass Boron ElementalSubstance) Mid-level-ontology.kif 25588-25588 Boron元素物质subclass
(subclass Bromine ElementalSubstance) Mid-level-ontology.kif 26064-26064 Bromine元素物质subclass
(subclass Cadmium ElementalSubstance) Mid-level-ontology.kif 26275-26275 Cadmium元素物质subclass
(subclass Caesium ElementalSubstance) Mid-level-ontology.kif 26384-26384 Caesium元素物质subclass
(subclass Calcium ElementalSubstance) Mid-level-ontology.kif 25831-25831 Calcium元素物质subclass
(subclass Californium ElementalSubstance) Mid-level-ontology.kif 27130-27130 Californium元素物质subclass
(subclass Carbon ElementalSubstance) Mid-level-ontology.kif 25606-25606 Carbon元素物质subclass
(subclass Cerium ElementalSubstance) Mid-level-ontology.kif 26443-26443 Cerium元素物质subclass
(subclass Chlorine ElementalSubstance) Mid-level-ontology.kif 25786-25786 Chlorine元素物质subclass
(subclass Chromium ElementalSubstance) Mid-level-ontology.kif 25901-25901 Chromium元素物质subclass
(subclass Cobalt ElementalSubstance) Mid-level-ontology.kif 25944-25944 Cobalt元素物质subclass
(subclass Copper ElementalSubstance) Mid-level-ontology.kif 25973-25973 Copper元素物质subclass
(subclass Curium ElementalSubstance) Mid-level-ontology.kif 27098-27098 Curium元素物质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 13757-13757 atomicNumber 的 1 数量 是 元素物质subclass
(domainSubclass molecularRatio 1 ElementalSubstance) Cars.kif 1763-1763 molecularRatio 的 1 数量 是 元素物质subclass
(partition PureSubstance CompoundSubstance ElementalSubstance) Merge.kif 1115-1115 純物质 详尽无遗地 partition复合物质元素物质

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


(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))
Merge.kif 12468-12474
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))
Merge.kif 12441-12447

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 12449-12459 实体复合物质instance 若且唯若 有存在 客体另一个 客体, and 和 过程 这样 那个 客体元素物质instance那个 另外 客体元素物质instance那个 客体equal 那个 另外 客体那个 过程化学合成instance那个 客体那个 过程resource那个 另外 客体那个 过程resource那个 实体那个 过程result


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners