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

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


(subclass Actinium ElementalSubstance) Mid-level-ontology.kif 26987-26987 subclass Actinium and ElementalSubstance
(subclass Aluminum ElementalSubstance) Mid-level-ontology.kif 25729-25729 subclass Aluminum and ElementalSubstance
(subclass Americium ElementalSubstance) Mid-level-ontology.kif 27087-27087 subclass Americium and ElementalSubstance
(subclass Antimony ElementalSubstance) Mid-level-ontology.kif 26325-26325 subclass Antimony and ElementalSubstance
(subclass Argon ElementalSubstance) Mid-level-ontology.kif 25807-25807 subclass Argon and ElementalSubstance
(subclass Arsenic ElementalSubstance) Mid-level-ontology.kif 26040-26040 subclass Arsenic and ElementalSubstance
(subclass Astatine ElementalSubstance) Mid-level-ontology.kif 26924-26924 subclass Astatine and ElementalSubstance
(subclass Atom ElementalSubstance) Merge.kif 1027-1027 subclass Atom and ElementalSubstance
(subclass Barium ElementalSubstance) Mid-level-ontology.kif 26414-26414 subclass Barium and ElementalSubstance
(subclass Berkelium ElementalSubstance) Mid-level-ontology.kif 27119-27119 subclass Berkelium and ElementalSubstance
(subclass Beryllium ElementalSubstance) Mid-level-ontology.kif 25578-25578 subclass Beryllium and ElementalSubstance
(subclass Bismuth ElementalSubstance) Mid-level-ontology.kif 26891-26891 subclass Bismuth and ElementalSubstance
(subclass Boron ElementalSubstance) Mid-level-ontology.kif 25593-25593 subclass Boron and ElementalSubstance
(subclass Bromine ElementalSubstance) Mid-level-ontology.kif 26069-26069 subclass Bromine and ElementalSubstance
(subclass Cadmium ElementalSubstance) Mid-level-ontology.kif 26280-26280 subclass Cadmium and ElementalSubstance
(subclass Caesium ElementalSubstance) Mid-level-ontology.kif 26389-26389 subclass Caesium and ElementalSubstance
(subclass Calcium ElementalSubstance) Mid-level-ontology.kif 25836-25836 subclass Calcium and ElementalSubstance
(subclass Californium ElementalSubstance) Mid-level-ontology.kif 27135-27135 subclass Californium and ElementalSubstance
(subclass Carbon ElementalSubstance) Mid-level-ontology.kif 25611-25611 subclass Carbon and ElementalSubstance
(subclass Cerium ElementalSubstance) Mid-level-ontology.kif 26448-26448 subclass Cerium and ElementalSubstance
(subclass Chlorine ElementalSubstance) Mid-level-ontology.kif 25791-25791 subclass Chlorine and ElementalSubstance
(subclass Chromium ElementalSubstance) Mid-level-ontology.kif 25906-25906 subclass Chromium and ElementalSubstance
(subclass Cobalt ElementalSubstance) Mid-level-ontology.kif 25949-25949 subclass Cobalt and ElementalSubstance
(subclass Copper ElementalSubstance) Mid-level-ontology.kif 25978-25978 subclass Copper and ElementalSubstance
(subclass Curium ElementalSubstance) Mid-level-ontology.kif 27103-27103 subclass Curium and ElementalSubstance

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 12731-12731 domainSubclass atomicNumber, 1 and ElementalSubstance
(domainSubclass molecularRatio 1 ElementalSubstance) Cars.kif 1764-1764 domainSubclass molecularRatio, 1 and ElementalSubstance
(partition PureSubstance CompoundSubstance ElementalSubstance) Merge.kif 1004-1004 partition PureSubstance, CompoundSubstance and ElementalSubstance

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


(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))
Merge.kif 11606-11612
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))
Merge.kif 11581-11587

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 11589-11599 instance Entity and CompoundSubstance Object Object and Process instance Object and ElementalSubstance instance Object and ElementalSubstance equal Object and Object instance Process and ChemicalSynthesis resource Process and Object resource Process and Object result Process and Entity


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