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

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


(subclass Actinium ElementalSubstance) Mid-level-ontology.kif 26541-26541
(subclass Aluminum ElementalSubstance) Mid-level-ontology.kif 25283-25283
(subclass Americium ElementalSubstance) Mid-level-ontology.kif 26641-26641
(subclass Antimony ElementalSubstance) Mid-level-ontology.kif 25879-25879
(subclass Argon ElementalSubstance) Mid-level-ontology.kif 25361-25361
(subclass Arsenic ElementalSubstance) Mid-level-ontology.kif 25594-25594
(subclass Astatine ElementalSubstance) Mid-level-ontology.kif 26478-26478
(subclass Atom ElementalSubstance) Merge.kif 1131-1131
(subclass Barium ElementalSubstance) Mid-level-ontology.kif 25968-25968
(subclass Berkelium ElementalSubstance) Mid-level-ontology.kif 26673-26673
(subclass Beryllium ElementalSubstance) Mid-level-ontology.kif 25132-25132
(subclass Bismuth ElementalSubstance) Mid-level-ontology.kif 26445-26445
(subclass Boron ElementalSubstance) Mid-level-ontology.kif 25147-25147
(subclass Bromine ElementalSubstance) Mid-level-ontology.kif 25623-25623
(subclass Cadmium ElementalSubstance) Mid-level-ontology.kif 25834-25834
(subclass Caesium ElementalSubstance) Mid-level-ontology.kif 25943-25943
(subclass Calcium ElementalSubstance) Mid-level-ontology.kif 25390-25390
(subclass Californium ElementalSubstance) Mid-level-ontology.kif 26689-26689
(subclass Carbon ElementalSubstance) Mid-level-ontology.kif 25165-25165
(subclass Cerium ElementalSubstance) Mid-level-ontology.kif 26002-26002
(subclass Chlorine ElementalSubstance) Mid-level-ontology.kif 25345-25345
(subclass Chromium ElementalSubstance) Mid-level-ontology.kif 25460-25460
(subclass Cobalt ElementalSubstance) Mid-level-ontology.kif 25503-25503
(subclass Copper ElementalSubstance) Mid-level-ontology.kif 25532-25532
(subclass Curium ElementalSubstance) Mid-level-ontology.kif 26657-26657

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 13620-13620
(domainSubclass molecularRatio 1 ElementalSubstance) Cars.kif 1804-1804
(partition PureSubstance CompoundSubstance ElementalSubstance) Merge.kif 1098-1098

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


(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))
Merge.kif 12331-12337
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))
Merge.kif 12304-12310

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 12312-12322


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