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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElementalSubstance

Sigma KEE - ElementalSubstance
ElementalSubstance
alotropía, acilo, grupo acilo, grupo alcohol, radical alcol, radical alcohol, grupo alcol, grupo aldehido, radical aldehido, grupo amino, amino, amil, grupo químico, radical, grupo, bencilo, radical bencilo, grupo bencilo, grupo benzoilo, radical benzoilo, elemento químico, elemento, alótropo, elemento transuránico, gas nobre, gas inerte, grupo de helio, elemento das terras raras, lantánido, serie actínida, serie lantánida, metaloide, transactínido, número atómico 107, Bh, bohrio, radiocarbono, carbono 14, cesio 137, Ds, darmstadtio, número atómico 110, Db, dubnio, número atómico 105, número atómico 108, Hs, hassio, deuterio, hidróxeno pesado, Mt, meitnerio, número atómico 109, LOX, osíxeno líquido, Rg, número atómico 111, roentgenio, rutherfordio, Rf, número atómico 104, Sg, número atómico 106, seaborxio, ununbio, número atómico 112, Uub, Uuh, número atómico 116, ununhexio, número atómico 115, Uup, ununpentio, Uuq, número atómico 114, ununcuadio, ununtrio, Uut, número atómico 113, po de ouro, ferro α, ferrita, ferro ß, ferro γ, ferro δ, xofre nativo, carbón activado, ferro en lingotes, cromóforo, prata da moeda, radical libre, radical, reixa metálica, halóxeno...

appearance as argument number 1
-------------------------


(documentation ElementalSubstance ChineseLanguage "这是PureSubstance Class,它是不能通 过普通的化学(或物理)手段分割成两个或以上 Substance。这不包括核反应。 ElementalSubstance 由单 一一个原子组成。例如:铁 (Fe)、 铜(Cu) 和氧 (O_2)。 ElementalSubstance 是最简单的 PureSubstance。") Merge.kif 1121-1124
(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 1115-1120
(externalImage ElementalSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 84/ Periodic_table.svg") pictureList.kif 1747-1747
(subclass ElementalSubstance PureSubstance) Merge.kif 1114-1114

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


(subclass Actinium ElementalSubstance) Mid-level-ontology.kif 26902-26902
(subclass Aluminum ElementalSubstance) Mid-level-ontology.kif 25644-25644
(subclass Americium ElementalSubstance) Mid-level-ontology.kif 27002-27002
(subclass Antimony ElementalSubstance) Mid-level-ontology.kif 26240-26240
(subclass Argon ElementalSubstance) Mid-level-ontology.kif 25722-25722
(subclass Arsenic ElementalSubstance) Mid-level-ontology.kif 25955-25955
(subclass Astatine ElementalSubstance) Mid-level-ontology.kif 26839-26839
(subclass Atom ElementalSubstance) Merge.kif 1136-1136
(subclass Barium ElementalSubstance) Mid-level-ontology.kif 26329-26329
(subclass Berkelium ElementalSubstance) Mid-level-ontology.kif 27034-27034
(subclass Beryllium ElementalSubstance) Mid-level-ontology.kif 25493-25493
(subclass Bismuth ElementalSubstance) Mid-level-ontology.kif 26806-26806
(subclass Boron ElementalSubstance) Mid-level-ontology.kif 25508-25508
(subclass Bromine ElementalSubstance) Mid-level-ontology.kif 25984-25984
(subclass Cadmium ElementalSubstance) Mid-level-ontology.kif 26195-26195
(subclass Caesium ElementalSubstance) Mid-level-ontology.kif 26304-26304
(subclass Calcium ElementalSubstance) Mid-level-ontology.kif 25751-25751
(subclass Californium ElementalSubstance) Mid-level-ontology.kif 27050-27050
(subclass Carbon ElementalSubstance) Mid-level-ontology.kif 25526-25526
(subclass Cerium ElementalSubstance) Mid-level-ontology.kif 26363-26363
(subclass Chlorine ElementalSubstance) Mid-level-ontology.kif 25706-25706
(subclass Chromium ElementalSubstance) Mid-level-ontology.kif 25821-25821
(subclass Cobalt ElementalSubstance) Mid-level-ontology.kif 25864-25864
(subclass Copper ElementalSubstance) Mid-level-ontology.kif 25893-25893
(subclass Curium ElementalSubstance) Mid-level-ontology.kif 27018-27018

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 13699-13699
(domainSubclass molecularRatio 1 ElementalSubstance) Cars.kif 1763-1763
(partition PureSubstance CompoundSubstance ElementalSubstance) Merge.kif 1103-1103

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


(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))
Merge.kif 12410-12416
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))
Merge.kif 12383-12389

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


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