Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  EpithelialTissue

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


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

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


(subclass Metal ElementalSubstance) Merge.kif 1174-1174 Metal is a subclass of elemental substance
(subclass Atom ElementalSubstance) Merge.kif 1181-1181 Atom is a subclass of elemental substance
(subclass SubatomicParticle ElementalSubstance) Merge.kif 1206-1206 Subatomic particle is a subclass of elemental substance
(subclass Hydrogen ElementalSubstance) Mid-level-ontology.kif 29893-29893 Hydrogen is a subclass of elemental substance
(subclass Helium ElementalSubstance) Mid-level-ontology.kif 29909-29909 Helium is a subclass of elemental substance
(subclass Lithium ElementalSubstance) Mid-level-ontology.kif 29925-29925 Lithium is a subclass of elemental substance
(subclass Beryllium ElementalSubstance) Mid-level-ontology.kif 29939-29939 Beryllium is a subclass of elemental substance
(subclass Boron ElementalSubstance) Mid-level-ontology.kif 29955-29955 Boron is a subclass of elemental substance
(subclass Carbon ElementalSubstance) Mid-level-ontology.kif 29974-29974 Carbon is a subclass of elemental substance
(subclass Nitrogen ElementalSubstance) Mid-level-ontology.kif 29992-29992 Nitrogen is a subclass of elemental substance
(subclass Oxygen ElementalSubstance) Mid-level-ontology.kif 30010-30010 Oxygen is a subclass of elemental substance
(subclass Fluorine ElementalSubstance) Mid-level-ontology.kif 30030-30030 Fluorine is a subclass of elemental substance
(subclass Neon ElementalSubstance) Mid-level-ontology.kif 30047-30047 Neon is a subclass of elemental substance
(subclass Sodium ElementalSubstance) Mid-level-ontology.kif 30065-30065 Sodium is a subclass of elemental substance
(subclass Magnesium ElementalSubstance) Mid-level-ontology.kif 30081-30081 Magnesium is a subclass of elemental substance
(subclass Aluminum ElementalSubstance) Mid-level-ontology.kif 30099-30099 Aluminum is a subclass of elemental substance
(subclass Silicon ElementalSubstance) Mid-level-ontology.kif 30117-30117 Silicon is a subclass of elemental substance
(subclass Phosphorus ElementalSubstance) Mid-level-ontology.kif 30134-30134 Phosphorus is a subclass of elemental substance
(subclass Sulphur ElementalSubstance) Mid-level-ontology.kif 30149-30149 Sulphur is a subclass of elemental substance
(subclass Chlorine ElementalSubstance) Mid-level-ontology.kif 30165-30165 Chlorine is a subclass of elemental substance
(subclass Argon ElementalSubstance) Mid-level-ontology.kif 30182-30182 Argon is a subclass of elemental substance
(subclass Potassium ElementalSubstance) Mid-level-ontology.kif 30197-30197 Potassium is a subclass of elemental substance
(subclass Calcium ElementalSubstance) Mid-level-ontology.kif 30213-30213 Calcium is a subclass of elemental substance
(subclass Scandium ElementalSubstance) Mid-level-ontology.kif 30228-30228 Scandium is a subclass of elemental substance
(subclass Titanium ElementalSubstance) Mid-level-ontology.kif 30244-30244 Titanium 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
-------------------------


(partition PureSubstance CompoundSubstance ElementalSubstance) Merge.kif 1158-1158 Pure substance is exhaustively partitioned into compound substance and elemental substance
(domainSubclass atomicNumber 1 ElementalSubstance) Merge.kif 14081-14081 The number 1 argument of atomic number is a subclass of elemental substance
(domainSubclass molecularRatio 1 ElementalSubstance) Mid-level-ontology.kif 24004-24004 The number 1 argument of molecular ratio is a subclass of elemental substance

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


(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))		 Merge.kif 12817-12823 If X is a resource for Y, Z is a result of Y, X is an instance of elemental substance, and Z is an instance of compound substance, then Y is an instance of chemical synthesis
(=>
    (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 12837-12846 If All of the following hold: (1) X is an instance of elemental substance (2) Y is an instance of elemental substance (3) equal X and Y (4) Z is an instance of chemical synthesis (5) X is a resource for Z (6) Y is a resource for Z (7) W is a result of Z, then W is an instance of compound substance
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))		 Merge.kif 12853-12859 If X is a resource for Y, Z is a result of Y, X is an instance of compound substance, and Z is an instance of elemental substance, then Y is an instance of chemical decomposition

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 12825-12835 If X is an instance of compound substance, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of elemental substance (3) Z is an instance of elemental substance (4) equal Y (5) Z (6) W is an instance of chemical synthesis (7) Y is a resource for W (8) Z is a resource for W (9) X is a result of W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners