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

Formal Language: 



KB Term:  Term intersection
English Word: 

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。") Merge.kif 1133-1136
(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 1127-1132
(externalImage ElementalSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 84/ Periodic_table.svg") pictureList.kif 1747-1747 "http://upload.wikimedia.org/wikipedia/commons/8/84/ Periodic_table.svg" is a URL depicting elemental substance
(subclass ElementalSubstance PureSubstance) Merge.kif 1126-1126 Elemental substance is a subclass of pure substance

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


(subclass Actinium ElementalSubstance) Mid-level-ontology.kif 26982-26982 Actinium is a subclass of elemental substance
(subclass Aluminum ElementalSubstance) Mid-level-ontology.kif 25724-25724 Aluminum is a subclass of elemental substance
(subclass Americium ElementalSubstance) Mid-level-ontology.kif 27082-27082 Americium is a subclass of elemental substance
(subclass Antimony ElementalSubstance) Mid-level-ontology.kif 26320-26320 Antimony is a subclass of elemental substance
(subclass Argon ElementalSubstance) Mid-level-ontology.kif 25802-25802 Argon is a subclass of elemental substance
(subclass Arsenic ElementalSubstance) Mid-level-ontology.kif 26035-26035 Arsenic is a subclass of elemental substance
(subclass Astatine ElementalSubstance) Mid-level-ontology.kif 26919-26919 Astatine is a subclass of elemental substance
(subclass Atom ElementalSubstance) Merge.kif 1148-1148 Atom is a subclass of elemental substance
(subclass Barium ElementalSubstance) Mid-level-ontology.kif 26409-26409 Barium is a subclass of elemental substance
(subclass Berkelium ElementalSubstance) Mid-level-ontology.kif 27114-27114 Berkelium is a subclass of elemental substance
(subclass Beryllium ElementalSubstance) Mid-level-ontology.kif 25573-25573 Beryllium is a subclass of elemental substance
(subclass Bismuth ElementalSubstance) Mid-level-ontology.kif 26886-26886 Bismuth is a subclass of elemental substance
(subclass Boron ElementalSubstance) Mid-level-ontology.kif 25588-25588 Boron is a subclass of elemental substance
(subclass Bromine ElementalSubstance) Mid-level-ontology.kif 26064-26064 Bromine is a subclass of elemental substance
(subclass Cadmium ElementalSubstance) Mid-level-ontology.kif 26275-26275 Cadmium is a subclass of elemental substance
(subclass Caesium ElementalSubstance) Mid-level-ontology.kif 26384-26384 Caesium is a subclass of elemental substance
(subclass Calcium ElementalSubstance) Mid-level-ontology.kif 25831-25831 Calcium is a subclass of elemental substance
(subclass Californium ElementalSubstance) Mid-level-ontology.kif 27130-27130 Californium is a subclass of elemental substance
(subclass Carbon ElementalSubstance) Mid-level-ontology.kif 25606-25606 Carbon is a subclass of elemental substance
(subclass Cerium ElementalSubstance) Mid-level-ontology.kif 26443-26443 Cerium is a subclass of elemental substance
(subclass Chlorine ElementalSubstance) Mid-level-ontology.kif 25786-25786 Chlorine is a subclass of elemental substance
(subclass Chromium ElementalSubstance) Mid-level-ontology.kif 25901-25901 Chromium is a subclass of elemental substance
(subclass Cobalt ElementalSubstance) Mid-level-ontology.kif 25944-25944 Cobalt is a subclass of elemental substance
(subclass Copper ElementalSubstance) Mid-level-ontology.kif 25973-25973 Copper is a subclass of elemental substance
(subclass Curium ElementalSubstance) Mid-level-ontology.kif 27098-27098 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 13757-13757 The number 1 argument of atomic number is a subclass of elemental substance
(domainSubclass molecularRatio 1 ElementalSubstance) Cars.kif 1763-1763 The number 1 argument of molecularRatio is a subclass of elemental substance
(partition PureSubstance CompoundSubstance ElementalSubstance) Merge.kif 1115-1115 Pure substance is exhaustively partitioned into compound substance and elemental substance

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


(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))
Merge.kif 12468-12474
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))
Merge.kif 12441-12447

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 12449-12459 An entity is an instance of compound substance if and only if there exist an object, another object and a process such that the object is an instance of elemental substance and the other object is an instance of elemental substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process


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