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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElementalSubstance

Sigma KEE - ElementalSubstance
ElementalSubstance(elemental substance)
Bh, Db, Ds, Hs, LOX, Mt, Rf, Rg, Sg, Unq, Uub, Uuh, Uup, Uuq, Uut, actinide_series, activated_carbon, activated_charcoal, acyl, acyl_group, alcohol_group, alcohol_radical, aldehyde_group, aldehyde_radical, allotrope, allotropic, allotropical, allotropism, allotropy, alpha_iron, aluminous, amino, amino_group, amyl, antimonic, antimonious, argonon, atomic_number_104, atomic_number_105, atomic_number_106, atomic_number_107, atomic_number_108, atomic_number_109, atomic_number_110, atomic_number_111, atomic_number_112, atomic_number_113, atomic_number_114, atomic_number_115, atomic_number_116...

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 1053-1057
(externalImage ElementalSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 84/ Periodic_table.svg") pictureList.kif 1747-1747
(subclass ElementalSubstance PureSubstance) Merge.kif 1051-1051 Elemental substance is a subclass of pure substance

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


(subclass Actinium ElementalSubstance) Mid-level-ontology.kif 28201-28201 Actinium is a subclass of elemental substance
(subclass Aluminum ElementalSubstance) Mid-level-ontology.kif 26867-26867 Aluminum is a subclass of elemental substance
(subclass Americium ElementalSubstance) Mid-level-ontology.kif 28307-28307 Americium is a subclass of elemental substance
(subclass Antimony ElementalSubstance) Mid-level-ontology.kif 27501-27501 Antimony is a subclass of elemental substance
(subclass Argon ElementalSubstance) Mid-level-ontology.kif 26950-26950 Argon is a subclass of elemental substance
(subclass Arsenic ElementalSubstance) Mid-level-ontology.kif 27198-27198 Arsenic is a subclass of elemental substance
(subclass Astatine ElementalSubstance) Mid-level-ontology.kif 28134-28134 Astatine is a subclass of elemental substance
(subclass Atom ElementalSubstance) Merge.kif 1066-1066 Atom is a subclass of elemental substance
(subclass Barium ElementalSubstance) Mid-level-ontology.kif 27595-27595 Barium is a subclass of elemental substance
(subclass Berkelium ElementalSubstance) Mid-level-ontology.kif 28341-28341 Berkelium is a subclass of elemental substance
(subclass Beryllium ElementalSubstance) Mid-level-ontology.kif 26707-26707 Beryllium is a subclass of elemental substance
(subclass Bismuth ElementalSubstance) Mid-level-ontology.kif 28099-28099 Bismuth is a subclass of elemental substance
(subclass Boron ElementalSubstance) Mid-level-ontology.kif 26723-26723 Boron is a subclass of elemental substance
(subclass Bromine ElementalSubstance) Mid-level-ontology.kif 27229-27229 Bromine is a subclass of elemental substance
(subclass Cadmium ElementalSubstance) Mid-level-ontology.kif 27453-27453 Cadmium is a subclass of elemental substance
(subclass Caesium ElementalSubstance) Mid-level-ontology.kif 27569-27569 Caesium is a subclass of elemental substance
(subclass Calcium ElementalSubstance) Mid-level-ontology.kif 26981-26981 Calcium is a subclass of elemental substance
(subclass Californium ElementalSubstance) Mid-level-ontology.kif 28358-28358 Californium is a subclass of elemental substance
(subclass Carbon ElementalSubstance) Mid-level-ontology.kif 26742-26742 Carbon is a subclass of elemental substance
(subclass Cerium ElementalSubstance) Mid-level-ontology.kif 27631-27631 Cerium is a subclass of elemental substance
(subclass Chlorine ElementalSubstance) Mid-level-ontology.kif 26933-26933 Chlorine is a subclass of elemental substance
(subclass Chromium ElementalSubstance) Mid-level-ontology.kif 27055-27055 Chromium is a subclass of elemental substance
(subclass Cobalt ElementalSubstance) Mid-level-ontology.kif 27101-27101 Cobalt is a subclass of elemental substance
(subclass Copper ElementalSubstance) Mid-level-ontology.kif 27132-27132 Copper is a subclass of elemental substance
(subclass Curium ElementalSubstance) Mid-level-ontology.kif 28324-28324 Curium is a subclass of elemental substance

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 13532-13532 The number 1 argument of atomic number is a subclass of elemental substance
(domainSubclass molecularRatio 1 ElementalSubstance) Cars.kif 1768-1768 The number 1 argument of molecularRatio is a subclass of elemental substance
(partition PureSubstance CompoundSubstance ElementalSubstance) Merge.kif 1043-1043 Pure substance is exhaustively partitioned into compound substance and elemental substance

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 12315-12324
(=>
    (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 12295-12301

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 12303-12313


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 3.0 is open source software produced by Articulate Software and its partners