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

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


(subclass Actinium ElementalSubstance) Mid-level-ontology.kif 28723-28723
(subclass Aluminum ElementalSubstance) Mid-level-ontology.kif 27389-27389
(subclass Americium ElementalSubstance) Mid-level-ontology.kif 28829-28829
(subclass Antimony ElementalSubstance) Mid-level-ontology.kif 28023-28023
(subclass Argon ElementalSubstance) Mid-level-ontology.kif 27472-27472
(subclass Arsenic ElementalSubstance) Mid-level-ontology.kif 27720-27720
(subclass Astatine ElementalSubstance) Mid-level-ontology.kif 28656-28656
(subclass Atom ElementalSubstance) Merge.kif 1097-1097
(subclass Barium ElementalSubstance) Mid-level-ontology.kif 28117-28117
(subclass Berkelium ElementalSubstance) Mid-level-ontology.kif 28863-28863
(subclass Beryllium ElementalSubstance) Mid-level-ontology.kif 27229-27229
(subclass Bismuth ElementalSubstance) Mid-level-ontology.kif 28621-28621
(subclass Boron ElementalSubstance) Mid-level-ontology.kif 27245-27245
(subclass Bromine ElementalSubstance) Mid-level-ontology.kif 27751-27751
(subclass Cadmium ElementalSubstance) Mid-level-ontology.kif 27975-27975
(subclass Caesium ElementalSubstance) Mid-level-ontology.kif 28091-28091
(subclass Calcium ElementalSubstance) Mid-level-ontology.kif 27503-27503
(subclass Californium ElementalSubstance) Mid-level-ontology.kif 28880-28880
(subclass Carbon ElementalSubstance) Mid-level-ontology.kif 27264-27264
(subclass Cerium ElementalSubstance) Mid-level-ontology.kif 28153-28153
(subclass Chlorine ElementalSubstance) Mid-level-ontology.kif 27455-27455
(subclass Chromium ElementalSubstance) Mid-level-ontology.kif 27577-27577
(subclass Cobalt ElementalSubstance) Mid-level-ontology.kif 27623-27623
(subclass Copper ElementalSubstance) Mid-level-ontology.kif 27654-27654
(subclass Curium ElementalSubstance) Mid-level-ontology.kif 28846-28846

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

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 12406-12415
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))
Merge.kif 12422-12428
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))
Merge.kif 12386-12392

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 12394-12404


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